WeBWorK Problems

logic problems

logic problems

by Gavin LaRose -
Number of replies: 1
Hi all,

A faculty member in my department asked about using WeBWorK for a Introduction to Mathematical Logic course—this is an introductory course that focuses on propositional and first-order logic, and is largely concerned with theorems and proofs. It's taught from Enderton, in case that is useful for describing the course.

His thought was that there were a lot of logical proofs that students should be constructing in the course which would be easily tested in WeBWorK. The problems in the OPL for Logic appear generally to be at a much lower level than this. Does anyone know of work on the subject that wouldn't be apparent when browsing the OPL?


In reply to Gavin LaRose

Re: logic problems

by John Travis -
I have these problems locally on my server and will be glad to share them with anyone who might be interested. 

To download this course ready for Fall 2015, use the zipped archive located at


If you decide to use this, please send me a note (travis@mc.edu) just so I can have an idea where it is going.  However this is not a requirement.  Also please consider doing the end-of-term assessment and sharing the results back with me.