Considere a sentença “Se a bola é branca e a caixa não é azul, então a ficha é vermelha”.

Uma sentença logicamente equivalente à sentença dada é