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