Questão número 39116

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".

• A.

  P → (Q V R).

• B.

  (P → Q)V R.

• C.

  (P V Q) → (R  S).

• D.

  P V (Q → (R  S)).