# GATE | GATE CS 2018 | Question 54

Last Updated : 09 Mar, 2018

Consider the first-order logic sentence

Ï† â‰¡ âˆƒsâˆƒtâˆƒuâˆ€vâˆ€wâˆ€xâˆ€y Ïˆ(s, t, u, v, w, x, y)

where Ïˆ(s, t, u, v, w, x, y) is a quantifier-free first-order logic formula using only predicate symbols, and possibly equality, but no function symbols. Suppose Ï† has a model with a universe containing 7 elements.

Which one of the following statements is necessarily true?

(A) There exists at least one model of Ï† with universe of size less than or equal to 3
(B) There exists no model of Ï† with universe of size less than or equal to 3
(C) There exists no model of Ï† with universe size of greater than 7
(D) Every model of Ï† has a universe of size equal to 7

Explanation: Let’s interpret the problem this way :

âˆ€ are always True and âˆƒ are always False for empty sets.
So there exists at least one model with universe of size 3 (or less than).

Therefore, option (A) is necessarily TRUE.

Quiz of this Question

Previous
Next