Considere a sentença: “Se tenho saúde então sou feliz".

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