 a

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

H

and

M

for happiness and merriness, a binary predicate

L

with

L (x, y)

meaning that

x

y

ℓ

for Lucy. The domain consists of people. The following four first-order sentences use this same first-order signature.

 New to topics? Read the docs here!