Em relação a seus projetos referentes ao ano passado, Miguel fez três afirmativas, todas verdadeiras:

- Se eu for aprovado no vestibular, então vou me mudar e comprar um carro.
- Se eu comprar um carro, então irei viajar.
- Se eu viajar, então irei visitar meus avós.

Considerando as três afirmativas feitas por Miguel, e sabendo que ele não visitou seus avós, pode-se tirar algumas conclusões. Não é possível afirmar que se trata de uma conclusão necessariamente verdadeira: