| 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 |
Solution:
![Determine the correctness (or otherwise) of the following Assertion [A] and the Reason [R]](https://www.gkseries.com/blog/wp-content/uploads/2023/10/Determine-the-correctness-or-otherwise-of-the-following-Assertion-A-and-the-Reason-R.jpg)
