jeffrey

Reading a Counter Example from the Tree martin Sun, 01/25/2009 - 10:46
Topic
Logical System
Review of Tree Propositional Rules martin Sun, 01/25/2009 - 00:02
Topic
Logical System









Propositional Exercises: Roll your own martin Sat, 01/24/2009 - 15:11
Topic
Logical System

7/26/08 10 Software

Reading

R.C.Jeffrey, [1967] Formal Logic: Its Scope and Limits Chapter 

Exercises

Jeffrey [1967] has a number of exercises. Many of them you will be able to do in the Applet below.

Here are a few hints

Help with Trees [Generic] martin Fri, 01/23/2009 - 11:01
Topic
Logical System

Beginning Trees

2/10/08

A Simple Tree

[This is a Quicktime Movie, click the Play button to view it. The logical symbols you see in use may be different to the ones you are familiar with (sorry about that, but it is not practical to produce different movies for all the minor variations in symbols). Any differences will not affect the principles being explained here.]

Trees [Jeffrey] martin Fri, 01/23/2009 - 03:11
Topic
Logical System

This section of the tutorials and

Richard Jeffrey, [1967-2006] Formal Logic: its Scope and Limits

would work well together (and it is an excellent book).

You need to know some propositional logic to be able to understand the tutorials to come. In particular, you need to know about the symbols used in propositional logic, truth tables, satisfiability, consistency, and semantic invalidity (by counter example). You do not need to know propositional rules of inference and derivations.

Predicate Exercises: Roll your own martin Sun, 07/27/2008 - 15:03
Logical System

9/16/08 10 Software