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 signif

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