gentzen

9/12/06

Conditional Proof

This video shows the techniques for Conditional Proof using the downloadable application Deriver. But the techniques are exactly the same for the Proof applet running in a web page. So, the video may look slightly different to what you are looking at, but the underlying principles and approach are the same.

12/22/05

Introduction to Tactics

This video is set in the context of the downloadable program, but it applies equally well in the setting of a proof applet.

Help for Tutorial 5

2013

Tutorial 5 Example: Doing a derivation

This movie shows the downloadable application being used, but the manipulations are so similar to those of the web page applet that it really covers both.

Review of material presented thus far

Review of new material

There are the truth-tables for the connectives...

Negation

F	∼F
True	False
False	True

Conjunction

Consistent

Invalid

9/16/12

Skills to be acquired in this tutorial:

To learn how to symbolize arguments, and how to judge whether they might be invalid using truth-table methods.

Why this is useful:

We wish to appraise arguments, to do this we have to symbolize them first. Judging the invalidity of arguments by truth-table methods is not particularly important, but it does help to develop skills involving truth and lists of formulas.

8/29/06

Tutorial 3 The Main Connective Applet