A proposição “se João ganhou na loteria, então viajou para o Camboja" é logicamente equivalente a:
- A se João não ganhou na loteria, então não viajou para o Camboja
- B se João não viajou para o Camboja, então não ganhou na loteria
- C se João viajou para o Camboja, então ganhou na loteria
- D se João viajou para o Camboja, então não ganhou na loteria