Abaixo, uma tabela com esquemas de estruturas lógicas para quatro tipos diferentes de deduções e uma tabela- verdade. As letras P e Q representam sentenças. Os símbolos ¬ , → e V são conectivos lógicos usuais de negação, implicação e disjunção, respectivamente.



Considerando as informações acima e o cálculo proposicional, assinale a alternativa correta.

Um dos instrumentos mais importantes na avaliação da validade ou não de um argumento é a tabela-verdade. Considere que P e Q sejam proposições e que "Λ", "V" e "→" sejam os conectores lógicos que representam, respectivamente, "e", "ou" e o "conector condicional". Então, o preenchimento correto da última coluna da tabela-verdade acima é