Predicate logic: Someone visited the same mall every day in September

42 Views Asked by At

The full question is:

Let P(x, y, z) be the predicate "Person x visited y on z", where the domain of x is all the people in the country, the domain of y is all the malls in the country, and the domain of z is all the days in the month of September. Express the following using propositions, predicates, and quantifiers:

  1. Someone visited the same mall every day in September
  2. There are at least two persons who visited Mall A on 30th September

Here are my answers so far:

  1. ∃x∃y∀zP(x, y, z)

  2. Let person 1 be x1 and person 2 be x2

    ∃x∃y∃z(x1 ≠ x2 ∧ P(x1, mall A, 30th September) ∧ P(x2, mall A, 30th September))

My answers were marked partially incorrect, but I'm not sure what's missing.

For part 1, my professor mentioned to include an "AND" condition and another variable q in the domain of malls for part 1, so as to indicate that x does not visit any other mall besides y.

How do I go about solving this?