Theorems
Anything you can prove from your terms and rules is a theorem in the logic
- Remember (and I’ll say it again) the interpretation of the terms is not part of the logic per se
- The logic and theorem proving is strictly symbolic manipulation
r ? it rained in Seattle yesterday
p ? CSE583 in Winter 2000 is taught on Tuesday evenings