Cebraspe · TRT7 · 2017 · Analista Judiciário

Questão 27 · Raciocínio Lógico e Matemática: Negação de proposições

Texto associado à questão

Texto CB1A5AAA – Proposição P
A empresa alegou ter pago suas obrigações previdenciárias, mas não apresentou os comprovantes de pagamento; o juiz julgou, pois, procedente a ação movida pelo ex-empregado.

Proposição Q: A empresa alegou ter pago suas obrigações previdenciárias, mas não apresentou os comprovantes de pagamento.
A proposição Q, anteriormente apresentada, está presente na proposição P do texto CB1A5AAA.
A negação da proposição Q pode ser expressa por

  1. A) A empresa não alegou ter pago suas obrigações previdenciárias ou apresentou os comprovantes de pagamento.
  2. B) A empresa alegou ter pago suas obrigações previdenciárias ou não apresentou os comprovantes de pagamento.
  3. C) A empresa alegou ter pago suas obrigações previdenciárias e apresentou os comprovantes de pagamento.
  4. D) A empresa não alegou ter pago suas obrigações previdenciárias nem apresentou os comprovantes de pagamento.

Marque a alternativa correta:

Gabarito: A

Gabarito definitivo divulgado pela banca Cebraspe (TRT7 2017).

Comentário

Gabarito: A.

Sejam p = “a empresa alegou ter pago suas obrigações previdenciárias” e q = “a empresa apresentou os comprovantes de pagamento”. A proposição Q é “p e não q”, ou seja, p ∧ ¬q. Pela lei de De Morgan, a negação de uma conjunção é a disjunção das negações: ¬(p ∧ ¬q) ≡ ¬p ∨ q.

Assim, a negação é “a empresa não alegou ter pago OU apresentou os comprovantes”: alternativa A.

  • A) Correta: é ¬p ∨ q.
  • B) Errada: é p ∨ ¬q, que apenas troca o “e” por “ou” sem negar nenhuma das duas partes; pode ser verdadeira junto com Q (quando a empresa alegou e não apresentou), então não é a negação.
  • C) Errada: é p ∧ q; nega apenas a segunda parte e mantém o “e”. Ela não cobre o caso em que a empresa nem alegou o pagamento, que também torna Q falsa, então não é a negação.
  • D) Errada: é ¬p ∧ ¬q (“não alegou nem apresentou”); nega as duas partes mas mantém a conjunção, e a segunda parte deveria ser “apresentou”, e não “não apresentou”.

Dica: a negação de “A e B” é “não A ou não B”. Aqui, como B já era uma negação (“não apresentou”), negá-la resulta em “apresentou”.

Fundamentos: Leis de De Morgan: ¬(p ∧ q) ≡ ¬p ∨ ¬q · Negação de uma conjunção gera uma disjunção

Comentário gerado pela Cravei IA a partir do enunciado e do gabarito definitivo divulgado pela banca, e conferido por uma verificação automática. A IA pode errar: o gabarito oficial sempre prevalece.

Fonte: prova Cebraspe TRT7 2017 (Analista Judiciário), questão 27, com o gabarito definitivo da banca. Comentário: Equipe Cravei · como fazemos e revisamos.

Concursos abertos que cobram Raciocínio Lógico e Matemática

TCDF 2026 Analista AdministrativoTCE/MA 2026 Analista, Auditor e TécnicoPROCON/AL 2026 Analista e Fiscal de Defesa do Consumidor