gentzen

7/7/12

Skills to be acquired in this tutorial:

To become familiar with the notions of argument, valid, invalid, premise, and conclusion. To learn how to symbolize atomic propositions.

Tutorial:

The main role of logic is to assess arguments-- to say whether an individual argument is valid or whether it is invalid. In logic, arguments are taken to consist of two components--premises, and a conclusion.

For example,

If it rains, I get wet.
It rains.

Therefore,

I get wet.

Rules for the Gentzen System

11/15/06

8/30/09

Prerequisities

You need to know predicate logic to be able to understand this. Checking through Easy Deriver or Deriver would put would put you about where you need to be.

Skills to be acquired in this section:

To become familiar with type labeled and sorted logic.

Reading

[scan only]