Symbolic Logic A

Due Dates
The final is in 24 days.

Final examination: Thursday, 17 December, 11 A.M. –1 P.M. , 311 Social Sciences Building.

SymbolicLogicASyllabus UPDATED 08 Nov 2009


Notes

WebSite

PropositionalCalculus

DefinitionofTruth

Code

A zipfile of the code and all libraries needed to run it is attached: mendelson0.0.1.zip. Try it and let me know what you think. I'm sure there are bugs—reports will be appreciated.

PropositionalCalculusEasy

-- ShaughanLavine - 23 Aug 2009