EASY DERIVER [Copi]
Martin Frické

Release: Aug 10 2006

Privacy

Checking your computer is configured correctly

Glossary

Contents

1.Introduction

Propositional Logic: 10 Tutorials

Tutorial 1 Introduction, sketch of course, and symbolizing atomic propositions

Supplementary: Why do logic?
Help with Tutorial 1, if you need it

Tutorial 2 Symbolizing compound propositions

Supplementary: History of Logic
Help with Tutorial 2, if you need it

Review

Tutorial 3 Propositions and truth

Supplementary: The Paradoxes of Material Implication
Help with Tutorial 3, if you need it

Tutorial 4 Arguments and searching for a counter-example

Supplementary: Alternative Symbols
Help with the First Three Propositional 'Games'
Help with Remaining Propositional Games

Tutorial 5 Valid arguments, searching for a proof

Supplementary: Alternative Indicator Words
Help with starting on Derivations

Review 2

Tutorial 6 Propositional Rules of Inference I

Tutorial 7 Propositional Rules of Inference II. Tactics: how experts do derivations

Review of the 9 Basic Propositional Rules of Inference

Tutorial 8 Conditional Proof

Tutorial 9 Common inference patterns and replacement

Tutorial 10 Drawing it all together

Propositional Logic Quizzes

Under revision
Quiz 2 [Tutorial 4]
Quiz 3 [Tutorial 5]
Quiz 4 [Tutorial 6]
Quiz 5 [Tutorial 7]
Quiz 6 [Tutorial 8]

Predicate Logic: 15 Tutorials

Tutorial 11 Sketch of the second part of the course, and symbolizing propositions using predicate logic

Tutorial 12 Symbolizing propositions using predicate logic(continued)

Review of new material

Tutorial 13 An introduction to truth in predicate logic

Help with Introductory Semantics

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

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.

Review of the Quantificational Rules.

Tutorial 25 ...

Predicate Logic Quizzes

Quiz 7 [Tutorial 17]

Documentation

Under revision

Fast Start for Instructors

The Drawing Panel
The Proof Panel
Rules for System II
Rewrite Rules
Tactics for System 1
Using Tactics
Intelligent Editing

 

Easy Deriver Documentation ©1991-2008 Martin Frické, SoftOption™ Ltd (NZ). Easy Deriver is formed out of Deriver(Generic) Program Units. Deriver(Generic) Program Units ©1987-2008 Martin Frické, SoftOption™ Ltd (NZ). Licenced to SoftOption™ Ltd (NZ).

Should you find any bugs in Easy Deriver, please tell us about them.  (Try to reproduce them, then note their exact symptoms. Send the information to support(at)SoftOption.Us)

NO WARRANTY OR REPRESENTATION IS MADE, EITHER EXPRESSED OR IMPLIED, WITH RESPECT TO THIS SOFTWARE AND DOCUMENTATION, THEIR QUALITY, THEIR PERFORMANCE, THEIR MERCHANTABILITY, OR THEIR FITNESS FOR A PARTICULAR PURPOSE, AS A RESULT, THIS SOFTWARE IS SOLD OR OFFERED 'AS IS' AND YOU THE PURCHASER OR USER ARE ASSUMING THE ENTIRE RISK AS TO THEIR QUALITY AND TO THE SOFTWARE'S PERFORMANCE.