Search for question

of all countries, and the domain for z is the collection of all years (A.D., let's say so e.g., 1981). Translate the following into formulas. Be careful to use correct syntax. (a) Peter has traveled to some country in 1999 ('Peter' and '1999' are constants, but 'some country' is NOT use quantifier/variable). (b) Katie traveled to exactly one country in 2004 (so we are saying that in the year 2004, Katie traveled to exactly one country). (c) Mike and John traveled to no common country in 2000 (that is, the collection of countries Mike traveled to in 2000 is disjoint from the collection of countries that John traveled to in 2000). (d) Beth traveled to no countries in 1954.

Fig: 1