Considere a proposição condicional:
“Se bebe leite, não gosta de vinho”.
Tal proposição é logicamente equivalente a