introduction to symbolic logic 4
Introduction to Symbolic Logic questions
sample question:
Construct a derivation for each of the those four arguments: 【X ⊃ Y 】/【 (~Y) ⊃ (~X)】
The following is my symbolization of a simplified version of Hume’s argument for inductive skepticism