W3L1.Interpretation Rules
Reference book: Introduction to Logic-P.Suppes
Law of Detachment
Modus Tollendo Tollens
Modus Tollendo Pones
Example
Rule of Absurdity
Solution
Indirect proof
Recommended