Considere verdadeira a afirmação: 'Se chove, então a rua fica molhada'. Logicamente equivalente a essa proposição é:
- ASe a rua fica molhada, então chove.
- BSe a rua não fica molhada, então não chove.
- CSe não chove, então a rua não fica molhada.
- DA rua fica molhada e chove.