logic
Indirect proof in a formal system
taught
Assume the negation of the goal, derive a contradiction, and conclude the goal; know how this differs from negation introduction.
Taught in
-
Indirect proof
Introduction to Logic
Requires
- negation-rules-and-contradiction required
Required by
- Strategy for formal proofs 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.