Raciocínio Lógico · CESPE / CEBRASPE · 2022 | Questão sqc-ce382253

Raciocínio LógicoEquivalências Lógicas (Inclui Negação de Proposições Compostas)

Código: ce382253
Banca: CESPE / CEBRASPE
Órgão: TRT 8
Ano: 2022

Cargo: TJ TRT8

Considere que as proposições lógicas simples sejam representadas por letras maiúsculas e que os símbolos lógicos usuais sejam representados de acordo com a tabela a seguir.

conectivo	símbolo
conjunção	\wedge
disjunção	\vee
negação	\sim
condicional	$\Rightarrow$
bicondicional	\Leftrightarrow

Nessa situação hipotética, a proposição lógica

$((P \vee Q) \wedge R ) \Rightarrow ( S \vee T)$

é equivalente à proposição lógica

A(((P ˅ Q) ˄ R) ⇒ S) ˅ (((P ˅ Q) ˄ R) ⇒ T).
B((P ˄ Q) ˅ R) ⇒ ~(S ˅ T).
C(~(P ˄ Q) ˅ ~R) ⇒ ~(S ˅ T).
D~(S ˅ T) ⇒ (~P ˅ ~Q) ˄~ R).
E(~S ˄ ~T) ⇒ ~(Q ˄ R) ˄~ (P ˄ R).

Questão de Raciocínio Lógico — Equivalências Lógicas (Inclui Negação de Proposições Compostas) — CESPE / CEBRASPE 2022