Definition:Conjunction/Truth Table/Matrix Form

Definition

The characteristic truth table of the logical conjunction operator $p \land q$ can be presented in matrix form as follows:

$\begin{array}{c|cc} \land & \T & \F \\ \hline \T & \T & \F \\ \F & \F & \F \\ \end{array}$

Sources

• 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $3$ Truth-Tables