Introduction to Logic
 Tools
for
Thought 		 
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))