Considere a afirmação: “Mateus não ganha na loteria ou ele compra aquele carrão”. Uma afirmação equivalente a essa afirmação é:

Mateus ganha na loteria e não compra aquele carrão.

Ou Mateus não compra aquele carrão ou ele não ganha na loteria.

Mateus ganha na loteria ou ele compra aquele carrão.

Se Mateus ganha na loteria, então ele compra aquele carrão.

Se Mateus não ganha na loteria, então ele não compra aquele carrão.