GATE | CS | 2013 | Digital Logic | Logic | Question 47

Last Updated :
Discuss
Comments

Which one of the following is NOT logically equivalent to ¬∃x(∀y(α)∧∀z(β))?

∀x(∃z(¬β)->∀y(α))

∀x(∀z(β)->∃y(¬α))

∀x(∀y(α)->∃z(¬β))

∀x(∃y(¬α)->∃z(¬β))

This question is part of this quiz :

GATE CS 2013,Propositional and First Order Logic.,Propositional Logic PYQ Quiz GATE CS,Digital Logic GATE CS PYQ Quiz,Logic Gate in Digital logic PYQ QUIZ GATE CS
Tags:
GATE
Engineering Mathematics Questions
Discrete Mathematics
GATE CS
+1 More
Share your thoughts in the comments