logic
The truth-table test for validity
taught
An argument is valid when no row makes every premise true and the conclusion false.
Taught in
-
The truth table test
Introduction to Logic
Requires
- symbolize-whole-arguments required
- build-complete-truth-table required
Required by
- Counterexamples and countermodels required
- Inconsistent premises and tautological conclusions required
- Why 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.