Thursday, March 22, 2001
Quiz 7
Name: _______________________________
Barbara.
(Lecture).
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).