wiki #implication #implication 2 pages tagged with "implication" 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 back to wiki