Considere os seguintes argumentos: Ou Lucas vai estudar, o...
Ou Lucas vai estudar, ou ele vai à praia; Se Lucas vai à praia, então ele usa o carro; Se Lucas usar o carro, então ele vai precisar abastecer o carro; Se Lucas abastecer o carro, ele não vai economizar; Se Lucas não economizar, ele precisará fazer hora extra no seu trabalho.
Sabendo-se que Lucas NÃO precisou fazer hora-extra no seu trabalho, deduz-se logicamente que
Lucas