logic
Contradiction and the negation rules
taught
Derive a contradiction with negation elimination, use it for negation introduction, and use explosion.
Taught in
-
Contradiction and the negation rules
Introduction to Logic
Requires
Required by
- Indirect proof in a formal system 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.