Associe as explicações a seguir às respectivas fórmulas. ...
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 - Infra-Estrutura - 2011 |
Q237766
Raciocínio Lógico
Associe as explicações a seguir às respectivas fórmulas.
I - É uma tautologia
II - É satisfatível, mas não é uma tautologia
III - É insatisfatível
P= ∃x∃yA(x,y)∧¬∃xA(x,y)
Q= ∀x∀yA( x,y)∧¬∀x∀(x,y)
R= ∀x∀yA(x,y)-->∃x∀yA(x,y)
S= ∀x ∀y A(x,y) --> ∃x¬∀yA(x,y)
As associações corretas são:
I - É uma tautologia
II - É satisfatível, mas não é uma tautologia
III - É insatisfatível
P= ∃x∃yA(x,y)∧¬∃xA(x,y)
Q= ∀x∀yA( x,y)∧¬∀x∀(x,y)
R= ∀x∀yA(x,y)-->∃x∀yA(x,y)
S= ∀x ∀y A(x,y) --> ∃x¬∀yA(x,y)
As associações corretas são:
Conheça nossos planos