Introduction to Logic

Exercise 9.2 - Peano Arithmetic

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

a. same(s(0),s(s(s(0))))
b. plus(s(s(0)),s(s(s(0))),s(s(s(s(s(0))))))
c. times(s(s(0)),s(s(s(0))),s(s(s(s(s(0))))))
d. times(s(0),s(s(s(0))),s(s(s(0))))