

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:
Equivalência.
Contradição.
Contingência.
Tautologia.