Considere a seguinte proposição: ~p !$ \rightarrow !$ (q !$ \rightarrow !$ p)

Montando-se uma tabela verdade para essa proposição, temos:

Os valores lógicos da última coluna, em ordem, são, respectivamente: