|
For each of the following strings, say whether it is a syntactically legal operation definition.
| a. |
a(X) :: p(X,Y) ==> q(Y,X) |
|
|
| b. |
a(X) :: p(X,Y) & a(Y) ==> q(Y,X) |
|
|
| c. |
a(X) :: p(X,Y) ==> q(Y,X) & a(Y) |
|
|
| d. |
a(X) :: p(X,Y) ==> q(Y,X) & ~a(Y) |
|
|
| e. |
a(X) :: p(Y,Y) ==> q(X,Y) |
|
|
|
