Let P be a set of people, and let T be a set of times. Let friends(x, y) be a predicate denoting…
Let P be a set of people, and let T be a set of times. Let friends(x, y) be a predicate denoting that x ∈ P and y ∈ P are
friends. Let bought(x, t) be a predicate denoting that x ∈ P bought an iPad at time t ∈ T.
1. Formalize this statement in predicate logic: “Everyone who bought an iPad has a friend who bought one previously.”
2. Is the claim from Exercise 3.171 true (in the real world)? Justify your answer
Exercise 3.171
ormalize this statement in predicate logic: “Everyone who bought an iPad has a friend who bought one previously.”
