Truth Table/Examples/p implies (q implies r)

From ProofWiki
Jump to navigation Jump to search

Example of Truth Table

The truth table for the WFF of propositional logic:

$p \implies \paren {q \implies r}$:

can be depicted as:

$\begin{array}{c|c|ccc} p & \implies & (q & \implies & r) \\ \hline \F & \T & \F & \T & \F \\ \F & \T & \F & \T & \T \\ \F & \T & \T & \F & \F \\ \F & \T & \T & \T & \T \\ \T & \T & \F & \T & \F \\ \T & \T & \F & \T & \T \\ \T & \F & \T & \F & \F \\ \T & \T & \T & \T & \T \\ \end{array}$


Sources