Definition:Conditional/Truth Table/Matrix Form

Definition
The truth tables of the conditional (implication) operator $p \implies q$ and $p \impliedby q$ and their complements can be presented in matrix form as follows:
 * $\begin{array}{c|cc}

\implies & T & F \\ \hline T & T & F \\ F & T & T \\ \end{array} \qquad \begin{array}{c|cc} \impliedby & T & F \\ \hline T & T & T \\ F & F & T \\ \end{array} \qquad \begin{array}{c|cc} \neg \implies & T & F \\ \hline T & F & T \\ F & F & F \\ \end{array} \qquad \begin{array}{c|cc} \neg \impliedby & T & F \\ \hline T & F & F \\ F & T & F \\ \end{array}$