gentzen

Example of a Harder Sentential Proof admin Sat, 01/11/2014 - 01:50
Topic
Logical System

Example of a Harder Propositional Proof

2/27/06

Example

Help with Or Elimination and Bi-conditional Introduction admin Sat, 01/11/2014 - 01:50
Topic
Logical System

Or Elimination and Bi-Conditional Introduction

12/23/05

Or Elimination

Your browser does not support html5 video.

Topic
Logical System

2/24/06

Help with Conditional Proof

Topic
Logical System

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.

Your browser does not support html5 video.

Help with Simple Tactics

Topic
Logical System

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.

Topic
Logical System

Topic
Logical System

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.

Your browser does not support html5 video.

Topic
Logical System

Tutorial 16 Symbolization using the quantifiers.

2013

Skill to be acquired in this tutorial:

To learn how to use the Universal and Existential Quantifiers in symbolizing propositions.

The Tutorial

In Predicate Logic there are two new logical connectives, the Universal Quantifier (∀x) and the Existential Quantifier (∃x). These are used for symbolizing certain English constructions (they also have their own rules of inference and their own semantics, which we will learn about later).

The Proof Widget

Logical System

2013

Some predicate logic proofs or derivations using Gentzen calculus. Try to prove them. Click on a line to select it. Select one or more lines, apply the appropriate rule off the Rules menu. (Click 'Derive It' off the Wizard Menu, if you want help).

If you can see this, your browser does not understand IFRAME.