Release: June 12 2007
6/25/07
These tutorials and
M.Bergmann, J.Moor, J.Nelson, [2004] The Logic Book (Fourth Edition) ISBN: 978-0-07-240189-9
would work well together.
Checking your computer is configured properly
Glossary [under construction]
Tutorial 1 Introduction, sketch of course, and symbolizing atomic sentences
Supplementary: Why do logic?
Help with Tutorial 1, if you need itTutorial 2 Symbolizing compound sentences
Supplementary: History of Logic
Help with Tutorial 2, if you need itTutorial 3 Sentences 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 Sentential 'Games'
Help with Remaining Sentential 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
Help with Reductio ad absurdum
More help with Reductio ad absurdum
Quiz 6 [Tutorial 8]Tutorial 9 The remaining sentential rules of Inference
Help with Or Elimination and Bi-Conditional Introduction
Example of a harder sentential proof
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]
Tree Tutorial 2 Sentential tree rules
Tree Tutorial 3 Using Trees to test for Satisfiability and Invalidity
Tutorial 11 Sketch of the second part of the course, and symbolizing sentences using predicate logic
Tutorial 12 Symbolizing sentences 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 Universal Elimination.
Tutorial 19 Universal Introduction.
Tutorial 20 Existential Introduction.
Tutorial 21 Existential Elimination.
Tutorial 22 Symbolizing Relations.
Tutorial 23 The Semantics of Relations.
Q7 Help, first few tabs
Q7 Help, consistency
Q7 Help, invalidity
Tree Tutorial 4 Predicate Logic Rules
Fast Start for Instructors [Generic]
The Drawing Panel [Generic]
The Proof Panel [Generic]
Rules for System 3 [Roughly Gentzen-Fitch Introlim Rules with 'arbitrary' constants; eg The Logic Book]
Rewrite Rules
Tactics for System 3
Using Tactics [Generic]
Intelligent Editing [Generic]
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)