propositional

8/11/26

Skills to be acquired:

Learning conditional proof.

The Tutorial:

The four remaining propositional rules of inference are slightly more difficult than the ones that we have met before. They are slightly more difficult in that they require you to make new assumptions, and the correct new assumptions at that. However they follow a similar pattern to each other so mastery of one should lead to mastery of the others.

Two of them are classical forms of inference, dating back thousands of years-- we will look at these first.

9/12/06

Quiz 3 Applet [Coming shortly]

Or Introduction

Help for Tutorial 5

2013

Tutorial 5 Example: Doing a derivation

This movie shows the downloadable application being used, but the manipulations are so similar to those of the web page applet that it really covers both.

Tutorial 5. Valid arguments, searching for a proof.

Under construction 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.

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.

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.

8/10/26

9/1/06 10Software

Quiz 2 Applet

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

Consistent

Invalid

Consistent

Invalid