HAVE TO REMEMBER EVERYTHING

RULES OF INFERENCE :

1. modus ponens ( rule of attachment)
2. law of syllogism
3. modus tollens
4. rule of conjunction
5. rule of disjunctive syllogism
6. rule of contradiction
7. rule of conjunctive simplification
8. rule of disjunctive simplification
9. rule of conditional proof
10. rule for proof by cases
11. rule of constructive dilemma
12. rule of destructive dilemma