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: