GATEverse Practice, past papers & mock tests
GATE 2018
Engineering MathematicsMathematical LogichardMCQ2 marks
Consider the first-order logic sentence: φ ≡ ∃s∃t∃u ∀v∀w∀x∀y φ(s, t, u, v, w, x, y) where φ is a quantifier-free formula using only predicate symbols and equality, but no function symbols. Suppose φ has a model with a universe containing 7 elements. Which one of the following statements is necessarily true?
Save your progress

Related Engineering Mathematics PYQs