Difference between revisions of "Natural Deduction"
From Wiki Notes @ WuJiewen.com, by Jiewen Wu
m |
|||
Line 11: | Line 11: | ||
===Introduction and Rules=== | ===Introduction and Rules=== | ||
− | [[Image:Nd1.jpg|500px|top]] | + | <!--[[Image:Nd1.jpg|500px|top]]--> |
− | [[Image:Nd2.jpg|500px]] | + | <!--[[Image:Nd2.jpg|500px]]--> |
− | [[Image:Nd3.jpg|500px]] | + | <!--[[Image:Nd3.jpg|500px]]--> |
===Subproofs=== | ===Subproofs=== | ||
The following two derived rules (PBC and <math>\lor e</math>), together with the deduction theorem (<math>\to i</math>) will use subproofs. | The following two derived rules (PBC and <math>\lor e</math>), together with the deduction theorem (<math>\to i</math>) will use subproofs. | ||
− | [[Image:Nd4.jpg|500px]] | + | <!--[[Image:Nd4.jpg|500px]]--> |
===Solutions=== | ===Solutions=== | ||
− | [[Image:Nd5.jpg|500px]] | + | <!--[[Image:Nd5.jpg|500px]]--> |
− | [[Image:Nd6.jpg|500px]] | + | <!--[[Image:Nd6.jpg|500px]]--> |
===More Exercises=== | ===More Exercises=== | ||
− | [[Image:Nd7.jpg|500px]] | + | <!--[[Image:Nd7.jpg|500px]]--> |
− | [[Image:Nd8.jpg|500px]] | + | <!--[[Image:Nd8.jpg|500px]]--> |
Latest revision as of 20:38, 13 August 2012
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.