logic
The short method for validity
taught
Assume every premise true and the conclusion false, then work backward to a countermodel or a contradiction.
Taught in
-
The short method
Introduction to Logic
Requires
- countermodels required
- truth-table-shortcuts required
Required by
- From English passage to verdict 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.