Considere a proposição:
- “Se Davi é médico, então Geraldo é professor e Ana não é psicóloga.”
A única proposição a seguir, logicamente equivalente à anterior, é:
“Se Davi não é médico, então Geraldo não é professor ou Ana é psicóloga.”
“Se Geraldo não é professor ou Ana é psicóloga, então Davi não é médico. ”
“Se Davi não é médico, então Geraldo não é professor e Ana é psicóloga.”
“Se Geraldo não é professor e Ana é psicóloga, então Davi não é médico.”
“Se Geraldo é professor e Ana não é psicóloga, então Davi é médico.”