 Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2015/logic-and-proof/3/a/b/solution

The property of loving at least one person is the antecedent:

\forall x [(\exists y L (x, y)) \to L (x, ℓ)] .

\forall x \forall y [L (x, y) \to L (x, ℓ)]

. The person loved in the antecedent need not be Lucy; the conclusion concerns Lucy specifically.

 New to topics? Read the docs here!