GATEverse Practice, past papers & mock tests
GATE 2019
Engineering MathematicsDiscrete MathematicshardMCQ2 marks
Consider the first order predicate formula φ: ∀x [ (∀z z|x => ((z = x) ∨ (z = 1))) => ∃w (w > x) ∧ (∀z z|w => ((w = z) ∨ (z = 1))) ] where 'a|b' denotes 'a divides b'. Consider the sets: S1: {1, 2, 3, ..., 100} S2: Set of all positive integers S3: Set of all integers Which of the above sets satisfy φ?
Save your progress

Related Engineering Mathematics PYQs