Considere a seguinte proposição: "Se chove ou neva, então o chão fica molhado". Sendo assim, pode-se afirmar que:
Se o chão está molhado, então choveu ou nevou.
Se o chão está molhado, então choveu e nevou.
Se o chão está seco, então choveu ou nevou.
Se o chão está seco, então não choveu ou não nevou.
Se o chão está seco, então não choveu e não nevou.