|
Say whether each of the following sentences is logically entailed by the sentences in section 10.3.
| a. |
app(nil,nil,nil) |
|
|
| b. |
app(cons(a,nil),nil,cons(a,nil)) |
|
|
| c. |
app(cons(a,nil),cons(b,nil),cons(a,b)) |
|
|
| d. |
app(cons(cons(a,nil),nil),cons(b,nil),cons(a,cons(b,nil))) |
|
|
|
