Raciocínio Lógico — ação direta de inconstitucionalidade genérica adi ou adin

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.