|
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)))) |
|
|
|
