Please read Chapters 1-2 in your textbook.
Please do the following problems from the book:
2.2.7 (transitive closure) full natural language proof required
Using the following definition of ``greater than''
judgment gt: n > n ------- gt-one s n > n n1 > n2 --------- gt-more s n1 > n2
Prove the following theorems in SASyLF:
Turn in the natural language proof on paper at the beginning of
lecture. The SASyLF proofs should be placed in the file
homework1/homework1.slf of your AFS volume.