Pular para o conteúdo principal

Questão de Raciocínio Lógico — Quantificadores — CPCON 2025

Raciocínio LógicoQuantificadores
Código
qg436339
Banca
CPCON
Órgão
CREF - 12ª Região (PE)
Ano
2025
Nível
Superior
Cargo
Agente de Orientação e Fiscalização
No Sistema CONFEF/CREF, o CREF-UF registra e fiscaliza profissionais e pessoas jurídicas, zelando pelo Código de Ética (CONFEF, 2025). Sobre este entendimento, considere as seguintes proposições:· P: Apessoa jurídica (academia) está registrada no CREF-UF.· Q: O profissional responsável está registrado no CREF-UF.· R: As atividades estão em conformidade com o Código de Ética.· S: O funcionamento da academia é regular (autorizado).· T: O CREF-UF realizará fiscalização e poderá autuar.A partir das proposições dadas, observe as políticas a seguir.I- O funcionamento é regular se, e somente se a academia e o profissional estão registrados e as atividades seguem o Código de ética.II- Se qualquer dessas condições falhar (falta de registro ou infração ética), então o CREF-UF fiscalizará e poderá autuar.Qual das alternativas formaliza CORRETAMENTE, em linguagem simbólica, as duas políticas?
  1. AS ↔ ((P∧ Q) ∨R) ∧ ((~P∧ ~ Q ∧ ~R) → T)
  2. BS → (P∧ Q ∧R) ∧ (T→ (~P∨ ~ Q ∨ ~ R))
  3. CS ↔ (P∨ Q ∨R) ∧ ((P∧ Q ∧R) → T)
  4. D(S ↔ (P∧ Q ∧R)) ∧ ((~ P∨ ~ Q ∨ ~ R) → T)
  5. E(P∧ Q ∧R) ↔ (S ∨T)
Revelar gabarito e comentário

GabaritoD — (S ↔ (P∧ Q ∧R)) ∧ ((~ P∨ ~ Q ∨ ~ R) → T)

Link permanente: /questoes/qg436339