07. Considerando as proposições p: O triângulo é equilátero e q: o número 2 é primo, a alternativa que representa em linguagem simbólica a proposição: “Se o triângulo é equilátero, então o número 2 é primo” corresponde a:
09. (IMPARH, 2022) Reescrever as proposições envolvidas na linguagem da lógica formal. Sejam P, Q, R e S proposições e que '∧', '∨', '¬', '→' 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
A) P ∨ Q → R ∧ S B) P ∧ Q → R ∨ S C) P ∨ Q → R ∨ S D) P ∧ Q → R ∧ S E) P ∨ Q → ¬R ∧ ¬S