Introduction to Logic

Exercise 7.1 - Relational Syntax

Say whether each of the following expressions is a syntactically legal sentence of Relational Logic. Assume that jim and molly are object constants; assume that person is a unary relation constant; and assume that parent is a binary relation constant.

a. parent(jim, molly)
b. parent(molly, molly)
c. ¬person(jim)
d. person(jim, molly)
e. parent(molly, z)
f. x.parent(molly, x)
g. y.parent(molly, jim)
h. z.(z(jim, molly) ⇒ z(molly, jim))