Considerando como verdadeiras as frase: "Se houver obras na estrada então haverá um enorme engarrafamento." e "Se houver um enorme engarrafamento, ...

Considerando como verdadeiras as frase: "Se houver obras na estrada então haverá um enorme engarrafamento." e "Se houver um enorme engarrafamento, então chegarem atrasado ao serviço." Podemos concluir que:


Houve engarrafamento mas não cheguei atrasado no serviço.
Se não houver obras na estrada não chegarei atrasado ao serviço.
Se houver obras na estrada então chegarei atrasado ao serviço.
Haverá obras na estrada e chegarei atrasado ao serviço.
Não cheguei atrasado ao serviço e não houve obras na estrada.