# Older Books of Notes (that use Java applets)

- Easy Deriver [Propositional and Predicate Logic, Gentzen System]
- Propositional Logic: 10 Tutorials
- Tutorial 1 Introduction, sketch of course, and symbolizing atomic...
- Tutorial 2: Symbolizing compound propositions
- Review
- Tutorial 3: Propositions and Truth
- Tutorial 4: Arguments and searching for a counter example
- Help with First Three Propositional Games, if you need it
- Help for Remaining Propositional Games
- Quiz 2
- Review 2
- 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...
- Tutorial 7: Conditional Proof
- 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...
- Tutorial 10: Common Inference Patterns and Rewrite Rules
- Review of Propositional Logic
- Try your own derivations
- Predicate Logic: 15 Tutorials
- Tutorial 11: Sketch of the second part of the course, and...
- Tutorial 12: Symbolizing propositions using predicate logic ...
- Review of New Material
- 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
- Tutorial 18: Simplified Universal Instantiation
- Tutorial 19: Universal Generalization
- Tutorial 20: Simplified Existential Generalization
- Tutorial 21: Existential Instantiation
- Tutorial 22: Symbolizing Relations
- Symbolization Review
- Tutorial 23: The semantics of relations
- Tutorial 24: The restrictions on the quantificational rules
- Tutorial 25 ...
- Help with Tutorial 25abc
- Help with Tutorial 25d
- Help with Tutorial 25e
- Help with Tutorial 25g
- Help with Tutorial 25h
- Try your own derivations
- Some further remarks on symbolization
- Links to older Gentzen Content (outside the Content Management System)
- Easy Deriver [Bergmann, using Java Applets]
- Sentential Logic: 10 Tutorials
- Tutorial 1 Introduction, sketch of course, and symbolizing atomic...
- Tutorial 2: Symbolizing compound sentences
- Review
- Tutorial 3 Sentences and Truth
- Tutorial 4: Arguments and searching for a counter example
- Review 2
- 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]
- Try your own derivations
- Tutorial 6: What is a derivation and what does it prove? How...
- Supplementary: Why are we doing these derivations anyway?
- Tutorial 7: Conditional Proof
- Tutorial 8: Reductio ad Absurdum
- Tutorial 9: The Remaining Sentential Rules of Inference
- Tutorial 10: Common Inference Patterns and Rewrite Rules
- Review of Sentential Logic
- Try your own derivations
- Predicate Logic: 15 Tutorials
- Tutorial 11: Sketch of the second part of the course, and...
- Tutorial 12: Symbolizing sentences using predicate logic (continued)
- Review of New Material
- 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
- Tutorial 18: Universal Elimination
- Tutorial 19: Universal Introduction
- Tutorial 20: Existential Introduction
- Tutorial 21: Existential Elimination
- Tutorial 22: Symbolizing Relations
- Symbolization Review
- Tutorial 23: The semantics of relations
- Tutorial 24: Review of the Quantificational Rules and their...
- Tutorial 25 ...
- Try your own predicate derivations
- Trees [Bergmann]
- Easy Deriver [Copi]
- Easy Deriver [Hausman]
- Sentential Logic: 10 Tutorials
- Tutorial 1 Introduction, sketch of course, and symbolizing atomic...
- Tutorial 2: Symbolizing compound sentences
- Review
- Tutorial 3 Sentences and Truth
- Tutorial 4: Arguments and searching for a counter example
- Help with First Three Sentential Games, if you need it
- Quiz 2
- Help for Remaining Sentential Games
- Supplementary: Alternative Indicator Words
- Review 2
- Tutorial 5: Valid arguments, searching for a proof
- Try your own derivations
- Tutorial 6: Sentential Rules of Inference I
- Tutorial 7: Sentential Rules of Inference II. Tactics
- Review of the 8 Basic Sentential Rules of Inference
- Tutorial 8: Common Inference Patterns and Replacement
- Tutorial 9: Conditional Proof and Indirect Proof
- Tutorial 10: Drawing it all together
- Try your own derivations
- Predicate Logic: 15 Tutorials
- Tutorial 11: Sketch of the second part of the course, and...
- Tutorial 12: Symbolizing sentences using predicate logic (continued)
- Review of New Material
- 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
- Tutorial 18: Simplified Universal Instantiation
- Tutorial 19: Simplified Universal Generalization
- Tutorial 20: Simplified Existential Generalization
- Tutorial 21: Existential Instantiation, and Quantifier Replacement...
- Tutorial 22: Symbolizing Relations
- Symbolization Review
- Tutorial 23: The semantics of relations
- Tutorial 24: The restrictions on the Quantificational Rules
- Review of the Quantificational Rules
- Tutorial 25 ...
- Try your own predicate derivations
- Trees [Hausman]
- Tree Tutorial 1: Sentential Logic Truth Trees: Introduction
- Tree Tutorial 2: More Sentential Tree Rules
- Review of Tree Sentential Rules
- Tree Tutorial 3: Using Trees to Test for Satisfiability and Invalidity
- Sentential Tree Exercises: Roll your own
- Tree Tutorial 4: Predicate Logic Trees
- Review of Tree Predicate Rules
- Tree Tutorial 5: Identity Rules
- Predicate Tree Exercises: Roll your own
- Non-Classical Logic [under construction]
- [Older] Tree Tutorials [Propositional, Predicate, Identity, and...