Questão 1374916

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 " ", " ", "¬" e "%u2192" 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".