gentzen

8/1/26

The program, widgets, or Notes, should be accompanied by a suitable textbook, such as:

M.Bergmann, J.Moor, J.Nelson, The Logic Book
A.Hausman, H.Kahane, P.Tidman, Logic and Philosophy 
W.Hodges, Logic
C.Howson, Logic with Trees 
R.C.Jeffrey, Formal Logic: Its Scope and Limits
H.Leblanc and W.Wisdom, Deductive Logic
B.Mates, Elementary Logic
M.D.Resnick, Elementary Logic

8/10/26

Example of a difficult derivation

6/1/09 [need to check]

4/24/06

Tutorial 25 Exercises h

4/24/06

Tutorial 25 Exercises g

4/24/06

Tutorial 25 Exercises e

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

<<scope>[<constant>/<variable>]> 'n ∀E'

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.]

Quiz 7 Consistency

6/19/09

Quiz 7 Consistent

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

Introduction to Semantics

12/25/06

Introduction to Semantics

This video illustrates use of the downloadable application (and the symbol ∧ for 'and'). But, what it depicts and explains is equally good if you happen to be using the web pages applets (or a different symbol for 'and' eg '.').