Introduction to Logic
Tools
for
Thought
 

Exercise 11.2 - Peano Arithmetic


Say whether each of the following sentences is logically entailed by the sentences in section 11.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))))