gentzen

Help with Tutorial 25h admin Sat, 01/11/2014 - 01:50
Logical System

4/24/06

Tutorial 25 Exercises h

Help with Tutorial 25g admin Sat, 01/11/2014 - 01:50
Logical System

4/24/06

Tutorial 25 Exercises g

Help with Tutorial 25e admin Sat, 01/11/2014 - 01:50
Logical System

4/24/06

Tutorial 25 Exercises e

Help with Tutorial 25d admin Sat, 01/11/2014 - 01:50
Logical System

4/24/06

Tutorial 25 Exercises d

Help with Tutorial 25abc admin Sat, 01/11/2014 - 01:50
Logical System

4/24/06

Tutorial 24: The restrictions on the quantificational rules admin Sat, 01/11/2014 - 01:50
Logical System
12/25/13

Skill to be acquired:

To understand how the various restrictions on the quantificational rules work to exclude certain kinds of invalid inferences

Reading

Bergmann[2004] The Logic Book Section 10.1

The Tutorial

The Rule of Universal Elimination UE

If a derivation contains a line of the form

n (∀<variable>)<scope> <any justification>

then a line of the form

Help Q7, invalidity

Logical System

Quiz 7 Invalidity

10/30/06 Quiz 7 was formerly known as Quiz 4

Quiz 7 Invalidity

[This has been done in the downloadable application, but the principles apply to the applet version also.]

Your browser does not support html5 video.