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