Imagem de fundo

Durante uma aula de Lógica Proposicional na escola...

Durante uma aula de Lógica Proposicional na escola Intelecto, o professor Carlos estava ensinando seus alunos sobre diferentes tipos de proposições e como analisar sua validade lógica. Para ajudar os alunos a compreenderem melhor os conceitos de tautologia, contingência e contradição, ele decidiu apresentar um problema que exigia uma análise cuidadosa das proposições.

Ele escreveu no quadro a seguinte questão e pediu aos alunos para discutirem e chegarem à resposta correta.

(p → q) ↔ (~q^p)

Se p e q são proposições e ~p e ~q são suas respectivas negações, então podemos dizer que essa expressão é uma:


A

Contingência.


B

Tautologia.


C

Equivalência.


D

Contradição.