Skip to content
Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

material implication

The equivalence "if A then B" ≡ "not A, or B."

Material implication is the equivalence A → B ≡ ¬A ∨ B. It lets any conditional be rewritten with negation and disjunction.

Examples

  • "If it rains, the game is postponed" ≡ "it doesn't rain, or the game is postponed."

See also

material conditional contrapositive
Read the full section →