1/27/08 Under construction
To become familiar with the notions of closed and complete trees. To be able to use trees to test for satisfiability and invalidity.
A. Hausman, H.Kahane, P.Tidman, [2007] Logic and Philosophy Chapter 6
5/26/09 10Software
A. Hausman, H.Kahane, P.Tidman, [2007] Logic and Philosophy Chapter 6
Hausman [2007] has a number of exercises. Many of them you will be able to do in the Applet below.
Here are a few hints
5/18/09
1/26/08 10Software
To become familiar with the rules for sentential truth trees.
A. Hausman, H.Kahane, P.Tidman, [2007] Logic and Philosophy Chapter 6
Trees are going to be used to 'picture' the truth conditions or requirements for a formula (then, as the technique is developed, for several formulas at once).
Any easy way to remember the rules is to regard them as having been built from the truth tables.
The truth table for 'and' is
1/27/08 10Software
You need to know some sentential logic to be able to understand this. In particular, you need to know about the symbols used in sentential logic, truth tables, satisfiability, consistency, and semantic invalidity (by counter example). You do not need to know sentential rules of inference and derivations. [The tutorials on sentential logic give the required background.]
To become familiar with the notions of tree, branch, open branch, closed branch.
[The material on Trees under Howson is probably more current than this. These notes will be updated, though (Nov 2011)]
This section of the tutorials and
A.Hausman, H.Kahane, P.Tidman [2007], Logic and Philosophy
would work well together.
John Barwise and John Etchemendy, [1999] Language, Proof and Logic
For the Tarski's World part of LP&L, a standard interpretation is used of various sized polyhedra on a chessboard. Here is a link to their screenshot of it Tarski's World.
Here we are just trying a few samples to see if the software is running correctly.
John Barwise and John Etchemendy, [1999] Language, Proof and Logic
John Barwise and John Etchemendy, [1999] Language, Proof and Logic
For the Tarski's World part of LP&L, a standard interpretation is used of various sized polyhedra on a chessboard. Here is a link to their screenshot of it Tarski's World.