Considere a sentença:


“Se João gosta de goiaba, então gosta de abacate.”


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