14.
Law of Disjunctive Inference
Premise:
p q
Premise:
~p
q
Conclusion:
Premise:
p q
Premise:
~q
p
Conclusion:
15. Law of Conjunction
Premise:
p
Premise:
q
p q
Conclusion:
16. Law of Simplification
Premise:
p q
p
Conclusion:
Premise:
p q
q
Conclusion:
17. Law of Disjunctive Addition
Premise:
p
p q
Conclusion:
18.
Chain Rule (Law of Syllogism)
Premise:
p q
q r
Premise:
p r
Conclusion:
19. Law of Double Negation
Premise:
~(~p)
p
Conclusion
20. Logic Proofs
21.
Indirect Proofs