Definition:Logical Not/Truth Table

From ProofWiki
Jump to navigation Jump to search

Definition

The characteristic truth table of the negation operator $\neg p$ is as follows:

$\begin{array}{|c||c|} \hline p & \neg p \\ \hline F & T \\ T & F \\ \hline \end{array}$


Sources