Imagem de fundo

Imagine que você está estudando Lógica Formal em um curso...

Imagine que você está estudando Lógica Formal em um curso de Filosofia. Durante a aula, o professor apresenta uma proposição lógica e pede para que os alunos analisem. A proposição é:


Imagem associada para resolução da questão


Ele desafia a turma a determinar a validade dessa proposição.


Depois de discutir com seus colegas e revisar os conceitos de lógica proposicional, você conclui que a proposição é uma:


A

contradição, ou seja, uma proposição que é falsa em qualquer interpretação possível das variáveis proposicionais p e q.


B

contigência, ou seja, uma proposição que pode ser verdadeira em qualquer interpretação possível das variáveis proposicionais p e q.


C

contigência, ou seja, uma proposição que pode ser falsa ou verdadeira em qualquer interpretação possível das variáveis proposicionais p e q.


D

tautologia, ou seja, uma proposição que é verdadeira em qualquer interpretação possível das variáveis proposicionais p e q.