A tabela acima mostra o início da construção ...
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