logic
Strategy for formal proofs
taught
Plan a proof by working backward from the goal's main connective and forward from the premises, with indirect proof as the last resort.
Taught in
-
Proof strategy
Introduction to Logic
Requires
- indirect-proof-rule required
- disjunction-rules-nd required
- biconditional-rules-nd required
- conjunction-rules-nd required
Required by
- Derived rules: MT, DS, DNE, and De Morgan required
- Theorems: proofs with no premises required
Local knowledge map
Local knowledge map
Click to expand
Solid arrows are required prerequisites; dashed are recommended or helpful. Lower rows are more foundational. Click any box to jump to that concept.