Data Structure
Java
Python
HTML
Interview Preparation
- Interview Prep
- Tutorials
- Tracks
GATE | CS | 2015 | Set 2 | Discrete Mathematics | Logic | Question 50
Last Updated :
Discuss
Comments
Which one of the following well formed formulae is a tautology?
∀x∃yR(x,y)<-->∃y∀xR(x,y)
(∀x(∃yR(x,y)->S(x,y)])->∀x∃yS(x,y)
[∀x∃y(P(x,y)->R(x,y)]<->[∀x∃y(~P(x,y)∪R(x,y)]
∀x∃yR(x,y)<-->∀y∀xR(x,y)
This question is part of this quiz :
Propositional and First Order Logic.,GATE-CS-2015 (Set 2),Propositional Logic PYQ Quiz GATE CS,Discrete mathematics PYQ GATE QUIZShare your thoughts in the comments
GeeksforGeeks