Para se evitar considerações subjetivas, ao se analisar um argumento, deve-se reescrever as proposições envolvidas na linguagem da lógica formal. Sejam P, Q, R e S proposições e que !$ "∧" !$, !$ "∨" !$, !$ "¬" !$, !$ "\rightarrow" !$ sejam os conectores lógicos que representam, respectivamente, “e”. “ou”, “negação” e o “conector condicional”. Seja a seguinte proposição: Quando José vai viajar de ônibus ou de carro, ele sempre leva um notebook e também o seu celular. Marque a opção que expressa corretamente à proposição acima em linguagem da lógica formal, sabendo que P = “Quando José vai viajar de ônibus”, Q = “Quando José vai viajar de carro”, R = “ele sempre leva um notebook” e S = “ele sempre leva o seu celular”.