A sample screen from the Introduction to
Logic course
|
The course is presented in a series of written explanations of
concepts followed by extensive questions. Students are introduced
to formal reasoning and modes of inference which they use to
construct proofs. The course features a theorem proving
environment which verifies student proofs.
|
