Considere o argumento seguinte:

Se choveu, o trânsito estará difícil. Se o trânsito estiver difícil, eu estarei atrasado, a menos que eu saia antes. De fato, choveu. Portanto, eu devo sair antes para evitar atraso.

Escreva o argumento simbolicamente, usando as seguintes proposições básicas:

P: Choveu

Q: O trânsito estará difícil

R: Estarei atrasado

S: Saio antes