Natural Deduction
From Wiki Notes @ WuJiewen.com, by Jiewen Wu
Attached are tutorial materials for Fall 2009, CS245 students @ UWaterloo. They are not complete, but summaries on Natural Deduction presented in the textbook by Huth and Ryan.
As the images were scanned from my handwritten slides, don't expect them to be of high quality (legible though). Read them from left to right, top to bottom.
Contents
Updates
Oct. 14th, 2009: Two more slides scanned.
Oct. 14th, 2009: Hilbert System page is up.
Introduction and Rules
Subproofs
The following two derived rules (PBC and <math>\lor e</math>), together with the deduction theorem (<math>\to i</math>) will use subproofs.
