A sentença:

“Se João é Palmense, então Maria é Tocantinense” é equivalente à: