Questões de Concurso Público Petrobras 2011 para Analista de Sistemas Júnior - Infra-Estrutura, 2011

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:

Uma proposição lógica pode ser classificada como tautologia, contradição ou contingência. Analise as proposições a seguir

I) P v ¬(P ∧q)
II) P--> (P v q)
III)¬P∧(p∧¬q)
IV) (pv¬q)--> (q∧¬p)

São tautologias APENAS as que se apresentam em