## Tree Tutorial 5: Identity Rules

###### 5/30/12

### 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. 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.