Tutorial Contents Tutorial Five: Predicate Calculus: Tableaux - The $xj rule - Bad Mistakes and Technical Mistakes - Ticking - Finished Tableaux - Sequents - Soundness and Completeness - Proof of a syntactic sequent: example
More Tutorials

Exercise 5.2

 

1

To which of the following formulae can either the "xj or the $xj rule be applied, and with what result?
  (i) $x$y[FxRxy]
  (ii) "x$y[FxRxy]
  (iii)

 

 

 

 

Print this page
BackNext