Home / Logic / Conditional
Truth table
Construct the truth table for the statement
\begin{equation*} P \implies Q \> \equiv \> \lnot P \lor Q. \end{equation*}<<scheme/org-truth-table>>
(org-truth-table (lambda (p q) (or (not p) q))
'("P" "Q" "P \\implies Q"))
| \(P\) | \(Q\) | \(P \implies Q\) |
|---|---|---|
| false | false | true |
| false | true | true |
| true | false | false |
| true | true | true |
(Levin 2021, sec. 0.2; Poole and Mackworth 2017, sec. 5.1)