

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
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:
Contingência.
Tautologia.
Equivalência.
Contradição.