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: