Definition:Truth Table/Larger Tables

From ProofWiki
Jump to navigation Jump to search

Computing Larger Truth Tables

Let $P$ be a formula we want to compute the truth table of.


We will use Peirce's Law as an example:

$P := \paren {\paren {p \implies q} \implies p} \implies p$


For each boolean interpretation for the set of propositional variables, we write its truth value underneath:

$\begin{array}{cc||ccccccc} p & q & ((p & \implies & q) & \implies & p) & \implies & p \\ \hline \F & \F & \F & & \F & & \F & & \F \\ \end{array}$

In the above, we are using the boolean interpretation $v: \set {p, q} \to \set {\T, \F}$ given by:

$\map v p = \F$
$\map v q = \F$


Then we fill in the truth value of each of the WFFs on the parsing sequence of $P$, underneath its main connective:

$\begin{array}{cc||ccccccc} p & q & ((p & \implies & q) & \implies & p) & \implies & p \\ \hline \F & \F & \F & & \F & & \F & & \F \\ & & & \T & & & & & \\ & & & & & \F & & & \\ & & & & & & & \T & \\ \end{array}$

In the above, this has been done on separate lines, so as to clarify the sequence in which this is done for the example.


In practice we write it like this:

$\begin{array}{cc||ccccccc} p & q & ((p & \implies & q) & \implies & p) & \implies & p \\ \hline \F & \F & \F & \T & \F & \F & \F & \T & \F \\ \end{array}$


We repeat this for all other boolean interpretations:

$\begin{array}{cc||ccccccc} p & q & ((p & \implies & q) & \implies & p) & \implies & p \\ \hline \F & \F & \F & \T & \F & \F & \F & \T & \F \\ \F & \T & \F & \T & \T & \F & \F & \T & \F \\ \T & \F & \T & \F & \F & \T & \T & \T & \T \\ \T & \T & \T & \T & \T & \T & \T & \T & \T \\ \end{array}$


Sources