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