∀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 φ?

$$\,\,\,\,\,\,\,\,$$ $$P:$$ Set of Rational numbers (positive and negative)

$$\,\,\,\,\,\,\,\,$$ $$Q:$$ Set of functions from $$\left\{ {0,1} \right\}$$ to $$N$$

$$\,\,\,\,\,\,\,\,$$ $$R:$$ Set of functions from $$N$$ to $$\left\{ {0,1} \right\}$$

$$\,\,\,\,\,\,\,\,$$ $$S:$$ Set of finite subsets of $$N.$$

Which of the sets above are countable?

$$P:$$ $$R$$ is reflexive

$$Q:$$ $$R$$ is transitive

Which one of the following statements is **TRUE**?

$$\,\,\,\,\,\,\,{\rm I}.\,\,\,\,\,$$ Each compound in $$U \ S$$ reacts with an odd number of compounds.

$$\,\,\,\,\,{\rm I}{\rm I}.\,\,\,\,\,$$ At least one compound in $$U \ S$$ reacts with an odd number of compounds.

$$\,\,\,{\rm I}{\rm I}{\rm I}.\,\,\,\,\,$$ Each compound in $$U \ S$$ reacts with an even number of compounds.

Which one of the above statements is **ALWAYS TRUE**?