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[Fx®Rxy]
  (ii) "x¬$y[Fx®Rxy]
  (iii)

 

 

 

 
Print this page
BackNext