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
