bergmann

Tutorial 6: What is a derivation and what does it prove? How experts do derivations.

Topic
derivations
Logical System
bergmann
1/8/20

Skills to be acquired in this tutorial:

a) Understanding the nature of derivation. b) Learning elementary Tactics.

Why this is useful:

Tactics will help you to do derivations.

Reading

Bergmann[2008] The Logic Book Section 5.1 and 5.4.

The Tutorial:

a)

A derivation or proof consists of a finite list of lines.

Tutorial 5: Valid arguments, searching for a proof

Topic
derivations
propositional
Logical System
bergmann

Tutorial 5. Valid arguments, searching for a proof.

2013

Skills to be acquired in this tutorial:

Proving an argument to be valid by displaying a derivation. Simple propositional derivations using some of the Rules of Inference.

Reading

Bergmann[2004] The Logic Book Section 5.1.

The Tutorial:

If you suspect that an symbolized argument might be valid, you should attempt to give a derivation of it.

A derivation is a proof of validity.

Tutorial 4: Arguments and searching for a counter example

Topic
propositional
Logical System
bergmann

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.

Reading

Bergmann[2004] The Logic Book Section 3.5.

Subscribe to bergmann