Consider the first order predicate formula ๐œ‘ โˆ€๐‘ฅ [(โˆ€๐‘ง ๐‘ง|๐‘ฅ โ‡’ ((๐‘ง = ๐‘ฅ) โˆจ (๐‘ง = 1))) โ‡’

Q. Consider the first order predicate formula ๐œ‘:
โˆ€๐‘ฅ [(โˆ€๐‘ง ๐‘ง|๐‘ฅ โ‡’ ((๐‘ง = ๐‘ฅ) โˆจ (๐‘ง = 1))) โ‡’ โˆƒ๐‘ค (๐‘ค > ๐‘ฅ) ๐–  (โˆ€๐‘ง ๐‘ง|๐‘ค โ‡’ ((๐‘ค = ๐‘ง) โˆจ (๐‘ง = 1)))]
Here โ€˜๐‘Ž|๐‘โ€™ denotes that โ€˜๐‘Ž divides ๐‘โ€™, where ๐‘Ž and ๐‘ are integers. Consider the following sets:
S1.ย ย ย ย ย ย  {1,2,3, โ€ฆ , 100}
S2.ย ย ย ย ย ย  Set of all positive integers
S3.ย ย ย ย ย ย  Set of all integers
Which of the above sets satisfy ๐œ‘?
(A) S1 and S2(B) S1 and S3(C) S2 and S3(D) S1, S2 and S3
Ans: (C) S2 and S3

Solution:

We will be happy to hear your thoughts

Leave a reply

Gkseries.com
Logo
Register New Account