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".
P → (Q V R).
(P → Q)V R.
(P V Q) → (R S).
P V (Q → (R S)).
Quando Paulo vai ao trabalho de ônibus (P) ou (V) de metrô (Q), -> ele sempre leva um guarda-chuva (R) e (^) também dinheiro trocado (S).
Proposoção: (P v Q) -> (R^S)
Navegue em mais questões
{TITLE}
{CONTENT}