GATE Computer Science (CS) 2017 Shift 1 Solved Paper
© examsiri.com
Question : 12 of 65
Marks:
+1,
-0
Consider the first-order logic sentence F: ∀x (∃ y R(x, y)). Assuming no-empty logical domains, which of the sentence below are implied by F?
- ∃y (∃x R(x, y))
- ∃y (∀x R(x, y))
- ∀y (∃x R(x, y))
- ¬ ∃x (∀y ¬ R(x, y))
Go to Question: