Reading assignments for HON 112:
<br>
<br>
For Wednesday October 3: Read through page 60
<br>
For Wednesday October 10: Read through page 102
<br>
For Wednesday October 17: Read through page 176
<br>
For Wednesday October 24: Read through page 198
<br>
For Wednesday October 31: Read through page 232
<br>
For Wednesday November 14: Read through page 272, thereby finishing Part I.
<br><br><br>
Here is <a href="prop">the program that reads proofs in the propositional calculus</a>.
You type "prop filename" where 'filename' is the name of a file 
where each line is a step in the proof of the propositional calculus, 
and it checks that the proof is correct, 
inserting the names of the rules that are used to derive each step.
Here are some sample files:
<br>
<a href="double-tilde">The law of the excluded middle</a>
<br>
<a href="contradiction">From a contradiction, anything follows</a>
<br>
<a href="ganto">Ganto's Ax: I will cut off your head</a>
<br>
<a href="either">If P then Q, or if Q then P</a>
<br>
Try running prop on these.
<br><br>
Note that AND, OR, and IMPLIES are rendered as '&', '|', and '?' respectively.