#implication
3pages tagged with "implication"
reasoning
- if-then: the promise rule— implication explained simply: an "if… then…" is a promise, and there is exactly one way to break it
- 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