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



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]





Print this page