default
Reading a Counter Example from the Tree
martin
Wed, 06/20/2012 - 22:29
Topic
Logical System
Review of K Propositional Rules
martin
Thu, 06/07/2012 - 12:10
Logical System
There are the ordinary (non-modal) tree propositional rules plus
The Modal Negation (MN) rules
Review of Additional S5 Propositional Rules
martin
Thu, 06/07/2012 - 11:25
Logical System
◊ S5 world, k, must be new [here the computer will choose for you]
□ S5 any world, stage 1, your choice
Review of Tree Propositional Rules
martin
Sat, 06/02/2012 - 16:35
Topic
Logical System
6/2/12
Review of Tree Propositional Rules, shown as patterns
Here the letters 'P' and 'Q' are being used to stand for entire well formed formulas (so, on a particular occasion, 'P' might stand for the atomic formula 'F' and, on another occasion, it might stand for the compound formula 'F&G').
Tree Predicate Exercises: Roll your own
martin
Sat, 06/02/2012 - 11:40
Topic
Logical System
Review of Tree Predicate Rules
martin
Sat, 06/02/2012 - 11:39
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, the constant 'a' chosen
Tree Tutorial 7: Type Labels, Sorts, and Signatures ['Mixed Domains']
martin
Fri, 06/01/2012 - 14:43
Logical System
Set Theory (and Russell's Paradox)
martin
Thu, 05/31/2012 - 14:55
Topic
Logical System