#conditional
3pages 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