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...

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.”