Symbolic Logic A
Final examination: Thursday, 17 December, 11
A.M. –1
P.M. , 311
Social Sciences Building.
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