Para responder à questão, considere a lista de Símbolos lógicos abaixo, denominados de conetivos:
→ representa o condicional
∧ representa a conjunção
∨ representa a disjunção inclusiva
¬ representa a negação.
A construção da tabela-verdade da formula P∧¬Q→¬P a partir da estrutura abaixo tem como avaliação final a interpretação da alternativa:
