Difference between revisions of "Natural Deduction"
From Wiki Notes @ WuJiewen.com, by Jiewen Wu
m |
|||
| (15 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | Attached are tutorial materials for Fall 2009, CS245 students @ UWaterloo. They are not | + | 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. |
| − | [[Image:Nd1.jpg|500px]] | + | 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. |
| − | [[Image:Nd2.jpg]] | + | |
| − | [[Image:Nd3.jpg]] | + | ==Updates== |
| + | |||
| + | === Oct. 14th, 2009: Two more slides scanned.=== | ||
| + | |||
| + | === Oct. 14th, 2009: [[Hilbert System]] page is up. === | ||
| + | |||
| + | |||
| + | ===Introduction and Rules=== | ||
| + | <!--[[Image:Nd1.jpg|500px|top]]--> | ||
| + | <!--[[Image:Nd2.jpg|500px]]--> | ||
| + | <!--[[Image:Nd3.jpg|500px]]--> | ||
| + | ===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]]--> | ||
| + | |||
| + | ===Solutions=== | ||
| + | <!--[[Image:Nd5.jpg|500px]]--> | ||
| + | <!--[[Image:Nd6.jpg|500px]]--> | ||
| + | |||
| + | ===More Exercises=== | ||
| + | <!--[[Image:Nd7.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.
