Questão
ID 572393Disciplina: Raciocínio Lógico
Assunto: Simbologia dos Quantificadores Lógicos
Ano: 2026 Banca: CESPE CEBRASPE - Centro de Seleção e de Promoção de Eventos UnB Órgão: Câmara dos Deputados
No que se refere a lógica de primeira ordem e lógica de argumentação, julgue os seguintes itens.
Considere o conjunto universo dos deputados e os predicados a seguir:
p(x): x é favorável à matéria.
q(x): x vota favorável.
Nesse caso, a frase “Existe deputado que não é favorável à matéria e sua votação não é favorável.” pode ser escrita, em representação simbólica, como \(\exists\) x ¬ (p(x) → q(x)).