gentzen

Replacement or Rewrite Rules

6/21/07

Rewrite Rules

This video uses '&' as the logical symbol for 'and'.

2013

Skills to be acquired

Becoming familiar with common inference patterns and being able to use them via rewrite rules. This helps with assessing ordinary everyday reasoning such as that found in the law, in newspapers, in advertisements, etc.

Example of a Harder Propositional Proof: One of De Morgan's Laws

10/23/06

Example

Example of a Harder Propositional Proof

2/27/06

Example

2013

Skills to be acquired:

Learning the Rules Or Elimination and the Introduction of the Biconditional.

The Tutorial:

Or Elimination, in the guise of Dilemma, also is a form of inference dating from antiquity.

The core idea of it that if a conclusion follows from both disjuncts of a disjunction, then the conclusion follows full stop. As an example in English, if either I am going to eat an ice-cream or I am going to eat some cake, and if I eat ice-cream I break my diet, and if I eat cake I break my diet, then ... I break my diet.

Quiz 6 Applet

This contains an applet, so it will be slow loading and likely it will ask you about security.

Reductio ad Absurdum

2/24/06

Absurd Introduction and Simple Reductio

2013

Skills to be acquired:

Learning reductio proof, both as plain Negation Introduction and via (double) Negation Elimination (to prove some formulas that do not have negation as their main connective).

The Tutorial:

Reductio ad Absurdum is the second of the classical forms of inference.