wiki #if-then #if-then 1 page tagged with "if-then" reasoning implication (if-then) — logical conditional operator expressing that if the antecedent is true, then the consequent must be true back to wiki