logic
Counterexamples and countermodels
taught
A single row with true premises and a false conclusion is a countermodel, and one is enough to show invalidity.
Taught in
-
Counterexamples and countermodels
Introduction to Logic
Requires
- truth-table-test-for-validity required
Required by
- Checking the named forms by truth table required
- The short method for validity 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.