Na escola Saber Mais, a professora Cláudia estava dando uma aula sobre lógica proposicional. O objetivo da aula era ensinar aos alunos como identificar equivalências lógicas entre proposições e entender os conceitos de tautologia, contingência e contradição. Para ilustrar esses conceitos, a professora decidiu usar um exemplo prático e, em seguida, apresentar uma questão para os alunos resolverem.
A professora Cláudia explicou que duas proposições compostas são ditas equivalentes quando elas têm o mesmo valor lógico em todas as situações possíveis. Para verificar a equivalência, geralmente usamos um bicondicional (↔). Ela então explicou que, se o bicondicional de duas proposições resulta em uma tautologia (sempre verdadeiro), podemos afirmar que essas proposições são equivalentes.

Após a explicação, a professora Cláudia apresentou a seguinte questão para os alunos:
Diz-se que uma proposição composta é equivalente a outra: