Abaixo, uma tabela com esquemas de estruturas lógicas para q...

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.