Questões da Prova CESPE - 2007 - TSE - Técnico Judiciário - Área Administrativa

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 "Λ", "V", "¬" e "→" 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".