Considere a afirmação:
Os degraus da escada estão escorregadios ou não choveu.
Uma afirmação equivalente à afirmação anterior é:
Os degraus da escada estão escorregadios e não choveu.
Se choveu, então os degraus da escada estão escorregadios.
Choveu e os degraus da escada estão escorregadios.
Não choveu e os degraus da escada não estão escorregadios.
Se os degraus da escada estão escorregadios, então choveu.