As sentenças a seguir são verdadeiras. (I) Ou correr é fácil, ou Lucas não gosta de correr. (II) Se fazer musculação não é bom, então correr é difícil. Conclui-se que se Lucas gosta de correr, então