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