Na análise de um argumento, pode-se evitar considerações subjetivas, por meio da reescrita das proposições envolvidas na linguagem da lógica formal. Considere que P, Q, R e S sejam proposições e que “!$ \land !$”, “!$ \vee !$”, “!$ ¬ !$” e “!$ \rightarrow !$” sejam os conectores lógicos que representam, respectivamente, “e”, “ou”, “negação” e o “conector condicional”. Considere também a proposição a seguir.

Quando Paulo vai ao trabalho de ônibus ou de metrô, ele sempre leva um guarda-chuva e também dinheiro trocado.

Assinale a opção que expressa corretamente a proposição acima em linguagem da lógica formal, assumindo que

P = “Quando Paulo vai ao trabalho de ônibus”,
Q = “Quando Paulo vai ao trabalho de metrô”,
R = “ele sempre leva um guarda-chuva” e
S = “ele sempre leva dinheiro trocado”.