Questão Anulada

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.