Thursday, March 22, 2001
It is not expressively complete. There are many valid inferences that cannot be expressed using syllogisms. (Lecture).
The arity of a predicate is the number of terms that it applies to, e.g., mother(x,y) has arity two. (Lecture).
A sentence can be true or false, a term refers to an object. (Lecture).
No. ((1+1)+1) or (1+(1+1)) would be terms, since they are built up from the recursive rules for terms. (Lecture).