logic
The conditional connective: antecedent and consequent
taught
Symbolize "if P then Q" with the arrow, keeping antecedent and consequent in the right places.
Taught in
-
The conditional
Introduction to Logic
Requires
- symbolization-key required
- modus-ponens-form required
Required by
- "If" versus "only if" required
- The biconditional connective 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.