Relationships in Truth Statements
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.
Exercise
Answers
- Simplification 1
- Simplification 1
- Addition 2
- Addition 3
- Conjunction 4, 5
- Disjunctive syllogism 2, 3
- Modus ponens 1, 4
- Modus tollens 2, 5
- Simplification 3
- Modus tollens 1, 4
- Disjunctive syllogism 2, 5
- Simplification 2
- Hypothetical syllogism 1, 3
- Modus ponens 4, 5
- Simplification 2
- Conjunction 6, 7
- Hypothetical syllogism 3, 4
- Addition 1
- Constructive dilemma 2, 5,
- 6
- Simplification 2
- Modus tollens 1, 4
- Disjunctive syllogism 3, 5
- Simplification 2
- Modus ponens 3, 4
- Simplification 2
- Disjunctive syllogism 5, 6
- Conjunction 4, 7
- Modus ponens 1, 8
- Simplification 2
- Disjunctive syllogism 3, 5
- Simplification 2
- Modus tollens 1, 7
- Disjunctive syllogism 4, 8
- Modus ponens 6, 9
- Addition 10