Um argumento é uma afirmação na qual uma dada sequência finita — p1, p2, ..., pn, n ≥ 1 — de proposições tem como consequência uma proposição final q. A esse respeito, considere o seguinte argumento.
‣ Ou Paulo fica em casa, ou ele vai ao cinema.
‣ Se Paulo fica em casa, então faz o jantar.
‣ Se Paulo faz o jantar, ele vai dormir tarde.
‣ Se Paulo dorme tarde, ele não acorda cedo.
‣ Se Paulo não acorda cedo, ele chega atrasado ao seu trabalho.
_________________________
Sabendo-se que Paulo não chegou atrasado ao seu trabalho, de acordo com as regras de raciocínio lógico, é correto deduzir-se que Paulo
‣ Ou Paulo fica em casa, ou ele vai ao cinema.
‣ Se Paulo fica em casa, então faz o jantar.
‣ Se Paulo faz o jantar, ele vai dormir tarde.
‣ Se Paulo dorme tarde, ele não acorda cedo.
‣ Se Paulo não acorda cedo, ele chega atrasado ao seu trabalho.
_________________________
Sabendo-se que Paulo não chegou atrasado ao seu trabalho, de acordo com as regras de raciocínio lógico, é correto deduzir-se que Paulo
