Introduction to Logic

Exercise 9.3 - Linked Lists

Say whether each of the following sentences is logically entailed by the sentences in section 9.5.

a. append(nil, nil, nil)
b. append(cons(a, nil), nil, cons(a, nil))
c. append(cons(a, nil), cons(b, nil), cons(a, b))
d. append(cons(cons(a, nil), nil), cons(b, nil), cons(a, cons(b, nil)))