| P | Q | P→Q |
|---|---|---|
| F | F | T |
| T | F | F |
| F | T | T |
| T | T | T |
Material implication P→Q (if P then Q) is defined as ¬P∨Q in propositional logic. Truth table follows from this definition: implication is false only when antecedent P is true and consequent Q is false. This reflects logical consequence - when premise holds, conclusion must follow. In terms of truth values: T→F = F, while all other combinations yield T. Formula: P→Q ≡ ¬P∨Q demonstrates equivalence between implication and disjunction with negated antecedent.