Tree Tutorial 5: Identity Rules
Logical System
8/12/26
Skills to be acquired in this tutorial:
To become familiar with the new rules for predicate logic trees with identity.
Reading
Colin Howson, [1997] Logic with trees Chapter 9
Tutorial:
It is possible to use trees with formulas containing identity. Really there are two different ways to implement it: either there are two new rules, or there is one new rule and a new way of closing a branch from a single formula. Both will be described.