hausman

Tree Tutorial 5: Identity Rules martin Sun, 12/04/2011 - 14:49
Logical System

1/29/08 10Software Under construction

Skills to be acquired in this tutorial:

To become familiar with the new rules for predicate logic trees with identity.

Tutorial:

It is possible to use trees with formulas containing identity. Two new rules are needed.

Quiz 8 [Tutorial 21] martin Sat, 12/03/2011 - 16:14
Topic
Logical System

10/29/06 10Software

Help with Existential Instantiation martin Sat, 12/03/2011 - 16:09
Topic
Logical System
Help with Existential Generalization martin Sat, 12/03/2011 - 16:06
Topic
Logical System

Existential Generalization (EG)

2/5/08

Existential Generalization

 


Help with Universal Generalization martin Sat, 12/03/2011 - 16:03
Topic
Logical System
Predicate Tree Exercises: Roll your own martin Fri, 12/02/2011 - 17:03
Topic
Logical System
Tree Quiz 1 martin Fri, 12/02/2011 - 16:57
Topic
Logical System
Reading a Counter Example from the Tree martin Fri, 12/02/2011 - 16:48
Topic
Logical System

1/23/09 10 Software

A central use for Trees is to produce a counter example to an invalid argument. To do this, you construct a tree with a complete open branch. You will be able to do this for invalid arguments (but not valid ones). Then you run up that branch assigning all atomic formulas True and all negations of atomic formulas False.

This applet will let you try a few.

Review of Tree Predicate Rules martin Fri, 12/02/2011 - 16:02
Topic
Logical System

 

∃D. The constant, a, must be new to the branch [here the computer will choose for you]

 



 

∀D. Any closed term, stage 1, your choice


∀D. Any closed term, stage 2, a chosen

Tree Quiz 2 martin Fri, 12/02/2011 - 15:57
Logical System

2/3/08 10 Software

Quiz 2 Applet

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