Considere a sentença “Se a calça é branca e a camisa é azul, então o sapato é preto”.

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