Implication and Biconditional

Mathematical Logic · Axiom Academy

LESSON Implication and Biconditional Understanding conditional statements and logical equivalence in propositional logic The implication operator, denoted p → q , is read as "if p, then q" or "p implies q." Here, p is called the hypothesis (or antecedent) and q is the conclusion (or consequent). The key insight: An implication is a promise . It only breaks its promise (becomes false) when the hypothesis is true but the conclusion is false. 2. Vacuous Truth: When False Implies Anything One of the most counterintuitive aspects of implication is that when the hypothesis is false , the entire implication is true , regardless of the conclusion's truth value. This is called vacuous truth . 3. Converse, Inverse, and Contrapositive Given an implication p → q , we can form three related statements by negating and/or swapping the hypothesis and conclusion. If not p, then not q (negate both) If not q, then not p (swap and negate) Original: "If it's raining, then the ground is wet." Converse: "If the ground is wet, then it's raining." (NOT equivalent — could be a sprinkler!) Inverse: "If it's not raining, then the ground is not wet." (NOT equivalent) Contrapositive: "If the ground is not wet, then it's not raining." (Equivalent to original!) The biconditional , denoted p ↔ q , is read as "p if and only if q" (often abbreviated "p iff q"). It asserts that p and q have the same truth value . The biconditional can be understood as a two-way implication :

This is the written version of the interactive lesson above. See the full Mathematical Logic course.