Considere as sentenças da lógica de primeira ordem a seguir...
Próximas questões
Com base no mesmo assunto
Ano: 2011
Banca:
CESGRANRIO
Órgão:
Petrobras
Prova:
CESGRANRIO - 2011 - Petrobras - Analista de Sistemas Júnior - Processos de Negócios - 2011 |
Q202389
Raciocínio Lógico
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
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
Conheça nossos planos