Quantificadores universal e existencial

Cebraspe· TRT 1· 2008

Considere que todas as proposições listadas abaixo são V. I Existe uma mulher desembargadora ou existe uma mulher juíza. II Se existe uma mulher juíza então existe uma mulher que estabelece punições ou existe uma mulher…

Cesgranrio· REFAP· 2007

Considere verdadeira a declaração abaixo. “Todo ser humano é vaidoso.” Com base na declaração, é correto concluir que:

FCC· MPU· 2007

Considere que as seguintes afirmações são verdadeiras: – Todo motorista que não obedece às leis de trânsito é multado. – Existem pessoas idôneas que são multadas. Com base nessas afirmações é verdade que

Cebraspe· PETROBRAS· 2007

Se as variáveis x e y pertencem ao conjunto A = {2, 3, 4} e o predicado P(x, y) é interpretado como x² ≤ y + 2, então a proposição funcional (∃x)(∀y)P(x, y) é avaliada como verdadeira.

Cebraspe· PETROBRAS· 2007

Se as variáveis x e y pertencem ao conjunto A = {2, 3, 4} e o predicado P(x, y) é interpretado como x2 # y + 2, então a proposição funcional (›x)(œy)P(x, y) é avaliada como verdadeira.

FCC· METRO SP· 2007

Considere que as afirmações seguintes são verdadeiras: − Todo usuário do Metrô é inteligente. − Toda pessoa que não tem condução própria é usuária do Metrô. Com base nessas afirmações, é correto concluir que:

Cebraspe· PETROBRAS· 2007

Admitindo-se que as proposições funcionais Nenhuma mulher é piloto de fórmula 1 e Alguma mulher é presidente sejam ambas V, então é correto concluir que a proposição funcional Existe presidente que não é piloto de fórmu…

Cebraspe· BB· 2007

No grupo de amigos havia menos de 8 moradores do bairro onde fica o cinema e a cada um deles coube uma despesa superior a R$ 70,00.

Cebraspe· CPCRC· 2007

A lógica de primeira ordem permite tratar de proposições que incluem propriedades dos objetos do discurso e dos relacionamentos entre eles. Por exemplo, quando se coloca a proposição “Existe um número x tal que x 2 = 16…

FGV· FNDE· 2007

Considere a afirmação: “Todo corintiano é feliz.” A partir dessa afirmação, pode-se concluir que:

Cebraspe· PETROBRAS· 2007

Alguns cariocas são ricos, são empregados da PETROBRAS e são alegres.

FCC· TRE MS· 2007

Considere que as seguintes afirmações são verdadeiras: “Alguma mulher é vaidosa.” “Toda mulher é inteligente.” Assim sendo, qual das afirmações seguintes é certamente verdadeira?

Cebraspe· MPE TO· 2006

A proposição “para cada x, (x + 2) > 7” é interpretada como V para x pertencente ao conjunto {6, 7, 8, 9}.

Cebraspe· PRODEST· 2006

Mais de 4 desses funcionários não atuam em nenhuma das áreas citadas.

Cesgranrio· EPE· 2006

Considerando como universo o conjunto dos reais maiores que ou iguais a zero, analise os itens a seguir. I - x, ∃y: x < y II - y, ∃x: x < y III - ∃x, y: x < y Está(ão) correto(s) o(s) item(ns):

Cebraspe· IPAJM· 2006

A empresa contratou mais de 3 profissionais de nível superior.

IPAD· PC PE· 2006

Sabe-se que alguns artistas não são pessoas geniais e que alguns atletas são pessoas geniais. Tomando por base apenas essas informações, podemos, com certeza, concluir que:

Cebraspe· Pref Limeira (SP)· 2006

A quantidade de açougues é igual a um quarto da quantidade de bares e padarias.

Cebraspe· MPE TO· 2006

A proposição “Nenhum pavão é misterioso” está corretamente simbolizada por ¬(∃x)(P(x)∧M(x)), se P(x) representa “x é um pavão” e M(x) representa “x é misterioso”.

Cebraspe· MPE TO· 2006

Se x pertence ao conjunto {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, então a proposição “existe x, (x + 6) < 4” é V.