Considere a sentença:
“Se João gosta de goiaba, então gosta de abacate.”
Uma sentença logicamente equivalente à sentença dada é
Considere a sentença:
“Se João gosta de goiaba, então gosta de abacate.”
Uma sentença logicamente equivalente à sentença dada é
