Ou Lógica é fácil, ou Artur não gosta de Lógica. Por outro lado, se Geografia não é difícil, então Lógica é difícil. Daí segue-se que, se Artur gosta de Lógica, então:
Se Geografia é difícil, então Lógica é difícil.
Lógica é fácil e Geografia é difícil.
Lógica é fácil e Geografia é fácil.
Lógica é difícil e Geografia é difícil.
Lógica é difícil ou Geografia é fácil.
