hausman

Tree Tutorial 5: Identity Rules martin Sun, 12/04/2011 - 14:49
Logical System
Quiz 8 [Tutorial 21] martin Sat, 12/03/2011 - 16:14
Topic
Logical System
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
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
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