Questão de Raciocínio Lógico — Tautologia, Contradição e Contingência — FUNIVERSA 2016

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

1. AVVVF.
2. BFVVV.
3. CVFFV.
4. DVVFF.
5. EFFVF.