Questões de Concurso Público Petrobras 2011 para Analista de Sistemas Júnior - Processos de Negócios, 2011
Foram encontradas 4 questões
Um resolvente dessas cláusulas é
I - ¬ ( A Λ B ) ↔ ( A → ¬ B)
II - ¬ (A→ ¬ B) → ((A V ¬ B ) Λ (¬ A V B))
III - ((A→ B) → A) → A
IV - ((A V B) Λ (¬ A V C )) → (B V C )
São tautologias as proposições 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