///
P | Q | [(¬P→Q)∧Q]→¬P | |||
V | V | ||||
V | F | ||||
F | V | ||||
F | F |
A tabela acima mostra o início da construção da tabela-verdade para a proposição [(¬P→Q)∧Q]→¬P, em que P e Q são proposições simples e — ¬P significa “não P”. Ao se completar a tabela, é correto afirmar que a coluna referente à proposição [(¬P→Q)∧Q]→¬P, de cima para baixo e na ordem em que aparecem, conterá os elementos