Tutorial Contents Tutorial Six: Predicate Calculus with Identity - TRussell's Theory of Descriptions -
Scope -
Tableau Rules for Identity
More Tutorials
 

Exercise 6.3

 

1.

A branch of a tableau contains $x[Fax"y[Gbyb=a]] and a=b.

  (i)

List all the formulae which could be added by using the left hand identity rule.

  (ii)

List all the formulae which could be added by using the right hand identity rule.

2.

Consider the following tableau:

1 a=c
2 a=b
3 c=a

There are many ways of adding a fourth line. List them all, closing the tableau where appropriate.

 

 

Answers

 

Print this page
BackNext