Questão 607174

• Banca: CESGRANRIO
• Órgão: Petrobras
• Ano: 2011
• Provas: CESGRANRIO - 2011 - Petrobras - Analista de Sistemas Júnior - Processos de Negócios - 2011
• Disciplina: Raciocínio Lógico
• Assuntos: Fundamentos de Lógica; Proposições Simples e Compostas e Operadores Lógicos

Considere as sentenças da lógica de primeira ordem a seguir.

I - ∃x ∃y A(x,y) Λ ¬ ∃x A(x,x)

II - ∀ x ∀y A (x,y) Λ ¬ ∀ x A (x,x)

III - ∀ x ∀ A ( x, y) → ¬ ∀ xA (x, x)

São insatisfatíveis APENAS as sentenças apresentadas em

• A. I
• B. II
• C. III
• D. I e II
• E. II e III

Gabarito: B

Comentários

• Reconhecer o tipo de uma sentença facilita a sua tradu¸cão para a linguagem da l´ogica de predicados. Veja outros exemplos:

  – “Toda cobra ´e venenosa”: ∀X[cobra(X) → venenosa(X)]

  – “Os rem´edios s˜ao perigosos”: ∀X[remedio(X) → perigoso(X)]

  – “Nenhuma bruxa ´e bela”: ∀X[bruxa(X) → ¬bela(X)] 

  – “Alguns políticos não são honestos”: ∃X[politico(X) ∧ ¬honesto(X)]

• é inglês? kkkk