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.

\( \left(p\rightarrow q\right)\leftrightarrow \) (~ 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: