Read these sections to learn more about relationships among truth statements and using and constructing logical proofs.
These sections review materially equivalent propositions and three other relationships among statements: tautological, contradictory, and contingent relationships. They also review the eight valid forms of inference: modus ponens, modus tollens, hypothetical syllogism, simplification, conjunction, disjunctive syllogism, addition, and constructive dilemma. They show how to construct proofs, including strategies for working forward or backward, depending on which is easier according to your premises. Finally, they summarize everything you have learned about sentential and propositional logic.
Complete the exercises as you study, then check your answers against the key.