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:
- Someone visited the same mall every day in September
- There are at least two persons who visited Mall A on 30th September
Here are my answers so far:
∃x∃y∀zP(x, y, z)
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?