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.


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: