Afirmar que: ´Antônio não é engenheiro ou João é pernambucano’, logicamente, é o mesmo que dizer que:
- A se Antônio é engenheiro, então João é pernambucano.
- B se Antônio não é engenheiro, então João não é pernambucano.
- C se João é pernambucano, então Antônio é engenheiro.
- D se Antônio é engenheiro, então João não é pernambucano.
- E se Antônio não é engenheiro, então João é pernambucano.