Considere a seguinte afirmação:
Jorge se mudará ou Maria não será aprovada no concurso.
Tal afirmação é logicamente equivalente à afirmação:
- A. Se Maria não for aprovada no concurso, então Jorge se mudará.
- B. Se Maria for aprovada no concurso, então Jorge não se mudará.
- C. Se Maria for aprovada no concurso, então Jorge se mudará.
- D. Jorge não se mudará ou Maria será aprovada no concurso.
- E. Jorge se mudará se, e somente se, Maria não for aprovada no concurso.