Release: July 28 2005
Checking your computer is configured properly
Tutorial 1 Introduction, sketch of course, and symbolizing atomic propositions .
Supplementary: Why do logic?
Help with Tutorial 1, if you need itTutorial 2 Symbolizing compound propositions .
Supplementary: History of Logic
Help with Tutorial 2, if you need itTutorial 3 Propositions and truth .
Supplementary: The Paradoxes of Material Implication
Help with Tutorial 3, if you need itTutorial 4 Arguments and searching for a counter-example .
Supplementary: Alternative Symbols
Help with the First Three Propositional 'Games'
Help with Remaining Propositional Games
Quiz 2 [Tutorial 4]Tutorial 5 Valid arguments, searching for a proof
Help with Tutorial 5
Help with Or Introduction and Input Errors
Supplementary: Alternative Indicator Words
Quiz 3 [Tutorial 5]
Tutorial 6 What is a derivation and what does it prove? How experts do derivations
Help with Conditional Proof
Help with Sub Goals or Lemmas
Quiz 5 [Tutorial 7]Tutorial 8 Reductio ad absurdum
Tutorial 9 The remaining propositional rules of Inference
Help with Or Elimination and Bi-Conditional Introduction
Example of a harder propositional proof
Another example of a harder propositional proof: one of De Morgan's Laws
Tutorial 10 Common inference patterns and rewrite rules
Quiz 2 [Tutorial 4]
Quiz 3 [Tutorial 5]
Quiz 4 [Tutorial 6]
Quiz 5 [Tutorial 7]
Quiz 6 [Tutorial 8]
Tutorial 12 Symbolizing propositions using predicate logic(continued)
Tutorial 13 An introduction to truth in predicate logic
Tutorial 14 Some terminology for the semantics of predicate logic.
Tutorial 15 Elementary derivations in predicate logic.
Tutorial 16 Symbolization using the quantifiers.
Tutorial 17 The semantics of quantifiers.
Help with the Semantics of Free Variables
Quiz 7 [Tutorial 17]Q7 Help, first few tabs
Q7 Help, consistency
Q7 Help, invalidityTutorial 18 Simplified Universal Instantiation.
Tutorial 19 Universal Generalization.
Tutorial 20 Simplified Existential Generalization.
Tutorial 21 Existential Instantiation.
Tutorial 22 Symbolizing Relations.
Tutorial 23 The Semantics of Relations.
Tutorial 24 The Restrictions on the Quantificational Rules.
Help with the Tutorial 25 a,b,c
Help with the Tutorial 25 d
Help with the Tutorial 25 e
Help with the Tutorial 25 g
Help with the Tutorial 25 h
Help with the Tutorial 25 h (better proof)
Q7 Help, first few tabs
Q7 Help, consistency
Q7 Help, invalidity
The Drawing Panel
The Proof Panel
Rules for System 1
Rewrite Rules
Tactics for System 1
Using Tactics
Intelligent Editing
The exercises can be done by means of a downloadable program (rather than by the applets in Web Pages). Generally speaking this is a little more awkward (so is not recommended). But if you are temporarily without an Internet connection this would be the way to go; for once the program is downloaded you do not need an Internet connection. Also, the main additional feature that the downloaded application has is that it can save documents and open saved documents. So, for example, if you need to save your derivations, you need to be using the downloaded application.
(alternative approach to Exercises 1 : downloadable program)
(alternative approach to Exercises 2: downloadable program)
(alternative approach to Exercises 3: downloadable program)
(alternative approach to Exercises 4: downloadable program)
(alternative approach to Exercises 5: downloadable program)
(alternative approach to Exercises 6: downloadable program)
(alternative approach to Exercises 7: downloadable program)
(alternative approach to Exercises 8: downloadable program)
(alternative approach to Exercises 9: downloadable program)
(alternative approach to Exercises 10: downloadable program)
(alternative approach to Exercises 11: downloadable program)
(alternative approach to Exercises 12: downloadable program)
(alternative approach to Exercises 13: downloadable program)
(alternative approach to Exercises 14: downloadable program)
(alternative approach to Exercises 15: downloadable program)
(alternative approach to Exercises 16: downloadable program)
(alternative approach to Exercises 17: downloadable program)
(alternative approach to Exercises 18: downloadable program)
(alternative approach to Exercises 19: downloadable program)
(alternative approach to Exercises 20: downloadable program)
(alternative approach to Exercises 21: downloadable program)
(alternative approach to Exercises 22: downloadable program)
(alternative approach to Exercises 23: downloadable program)
(alternative approach to Exercises 24: downloadable program)
(alternative approach to Exercises 25: downloadable program)