Discrete Math › Section B · Logic and proofs › Topic B.3
Truth tables, equivalence, and deduction
Logic cares about the form of a statement, not its subject matter. Truth tables reveal that form completely, and from them come the rules that let you rewrite statements, negate them correctly and decide which arguments are valid.
In this topic
- Building a truth table
- Worked example: a three-letter table
- Tautologies and contradictions
- Logical equivalence
- The key equivalences
- Worked example: negating without a table
- Quantifiers and negation
- Worked example: negating a nested statement
- Deduction rules
- Worked example: testing two argument forms
- Common mistakes to avoid
- Key takeaways
This topic is part of Wuanberri Pro. Checking your access…