[Index] || [Contents] || [Grades] Mon Mar 3 14:43:01 PST 2003

Proofs Assigned work due. #5 in exs1.1 pp5..6 Motivation We can use P->Q to specify requirements Example DiscountsR'Us http://www.csci.csusb.edu/dick/cs656/discounts.html Applying rules to a particular case. Later Proving completeness? Proving consistency? Calculations? Chapter 1.2 Natural Deduction Proofs Exercises 1.2, 1.3, 1.4, 1.5, 1.6 Examples TBA on Board How I write formal documents handout lab: Experiment with my notation and the HuthRyan logic http://www.csci.csusb.edu/dick/cs556/maths.mth http://www.csci.csusb.edu/dick/cs556/maths.html http://www.csci.csusb.edu/dick/cs556/logic.html ~/dick/bin/meth2html FileName.mth Assigned work due next time Ex1.6.2b: Prove not(not p or not q) |- p and q using Natural Deduction (Use book notation or course www site notation). Next: syntax ch 1.3 xbnf handout http://www.csci.csusb.edu/dick/cs656/class/04.html