gentzen

Review of material presented thus far

Review of new material

There are the truth-tables for the connectives...

Negation

F	∼F
True	False
False	True

Conjunction

Quiz 2.

1/7/13

Your browser is not displaying the Deriver applet. Try downloading Deriver itself by clicking on the link elsewhere on the page.

-->

Consistent

Invalid

9/16/12

Skills to be acquired in this tutorial:

To learn how to symbolize arguments, and how to judge whether they might be invalid using truth-table methods.

Why this is useful:

We wish to appraise arguments, to do this we have to symbolize them first. Judging the invalidity of arguments by truth-table methods is not particularly important, but it does help to develop skills involving truth and lists of formulas.

8/29/06

Tutorial 3 The Main Connective Applet

1/24/06

eg Lander or Suber

The problem or issue here lies with the truth table for the conditional (or material implication) ⊃

9/15/12

Skills to be acquired in this tutorial:

To learn how compound propositions are true or false depending on the truth or falsity of their component propositions.

There is the idea of setting up a code or convention or dictionary between atomic propositions and capital letters.

There are compound propositions, each of which has a main connective which connects its components.

There are five propositional logical connectives:

'∼' which translates back to 'it is not the case that...'

'∧' which translates back to '... and ...'

'∨' which translates back to '... or ...'

'³' which translates back to 'if... then ...'

'≡' which translates back to '... if and only if ...'

9/1/12

Skills to be acquired in this tutorial:

Symbolizing compound propositions. Learning about logical connectives, and the notion of the main connective. Recognizing different constructions in English which have the same underlying logical form. Paraphrasing the English into a standard form.

Why this is useful:

It is the next step in learning how to symbolize. Main connectives are very important-- they are central to symbolization, they are central to the semantics, and they are central to derivations.