Consider the first order predicate formula ϕ: ∀x [(∀z z|x ⇒ ((z = x) ∨ (z = 1))) ⇒ ∃w (w > x) ∧ (∀z z|w ⇒ ((w = z) ∨ (z = 1)))] Here ‘a|b’ denotes that ‘a divides b’, where a and b 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 φ?

Consider the first order predicate formula ϕ: ∀x [(∀z z|x ⇒ ((z = x) ∨ (z = 1))) ⇒ ∃w (w > x) ∧ (∀z z|w ⇒ ((w = z) ∨ (z = 1)))] Here ‘a|b’ denotes that ‘a divides b’, where a and b 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 φ? Correct Answer S2 and S3

∀x

Let, X ≡ (∀z z|x ⇒ ((z =x) ∨ (z=1)))

Y ≡ ∃w (w > x)

Z ≡ (∀z z|w ⇒ ((w = z) ∨ (z=1))

∀x

X is true: If x is prime number

Y is true: If there exist a w which is greater than x

Z is true. If w is prime

S1 = {1,2,3, ... , 100}

Let x = 97

z = 97

∴ z|x ⇒ (z = 1) ≡ T ⇒ T ≡ T

prime number greater than 97 is 101

But S1 is not included in set. Hence there doesn’t exist w which is greater than x

T ⇒ F.Z ≡ T ⇒ F ≡ F

Therefore, S1 does not satisfy φ

S2. Set of all positive integers satisfy φ

S3. Set of all integers

If x is negative, X ≡ T

F ⇒ Y.Z ≡ T

Also, set of all positive integers satisfy φ

Therefore, option 3 is correct.

Related Questions

The following are the conditions for selecting list of a suitable candidates to be called for interview after the written test for the recruitment is conducted/ organized for management-level persons of a multi-national company. For providing accounting services and sales the candidates must (a) be holding a graduation in basic science with 65% or above or B. E degree with 55% and above marks (b) have passed the written test with 70% or above marks (c) the age must be in the group 25 to 30 years as on 1/4/18 (d) have experience in an accounting firms for three years and diploma in accounting with 60% or above marks (e) be presently drawing CTC of 6 Lakhs per annum and above In case the applicant who satisfies all other terms above except 1) at (a) above, then be referred as Junior Accountant 2) at (d) & (e) above then be referred as Trainee-Accountant Satisfying all the above with experience of 5 years then be referred as senior-Accountant Satisfying all the above criteria (a-e) with CA/ ICWA / MBA (Finance) then be refereed as manager (Accounts) Read all the above information and answer the following question Shravani has passed H. SC with 72% of marks. She has done diploma in accountancy with 62% of marks. She was working with an organization in the field of accounting in the field of accounting from 4 years and was drawing CTC of 6.5 Lakhs presently. She is 28yrs as on July 2018. She may referred for the position of:
The following are the conditions for selecting list of a suitable candidates to be called for interview after the written test for the recruitment is conducted/ organized for management-level persons of a multi-national company. For providing accounting services and sales the candidate must (a) be holding a graduation in basic science with 65% or above or B.E degree with 55% and above marks (b) have passed the written test with 70% or above marks (c) the age must be in the group 25 to 30 yrs as on 1/4/18 (d) have experience in an accounting firms for three yrs and diploma in accounting with 60% or above marks (e) be presently drawing CTC of 6 Lakhs per annum and above In case the applicant who satisfies all other terms above except 1) at (a) above, then be referred as Junior Accountant 2) at (d) & (e) above then be referred as Trainee-Accountant Satisfying all the above with experience of 5 yrs then be referred as senior-Accountant Satisfying all the above criteria (a-e) with CA/ ICWA/ MBA (Finance) then be refereed as manager (Accounts) Read all the above information and answer the following question: Radha Mohan has done her graduation in physics with 58% of marks. She has passed the written examination with 76% of marks. She is 27 yrs as on June 2018. She has the experience in the accounting company for four years with salary of 7 Lakhs per annum. She also has passed diploma in accounting with 61% of marks. She may be referred for the position of: