Definition:Biconditional/Truth Table/Matrix Form
Jump to navigation
Jump to search
Definition
The characteristic truth table of the biconditional operator $p \iff q$ can be presented in matrix form as follows:
- $\begin{array}{c|cc}
\iff & \T & \F \\ \hline \T & \T & \F \\ \F & \F & \T \\ \end{array}$
Sources
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $3$ Truth-Tables