#conditional
3 pages tagged with "conditional"
reasoning
- hypothetical syllogism — chain rule - transitivity of implication for building logical chains of reasoning
- implication (if-then) — logical conditional operator expressing that if the antecedent is true, then the consequent must be true
- modus ponens — affirming the antecedent - the fundamental inference rule of conditional reasoning