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

 

1

Can the "xj rule be applied in the following cases? If it can, what would the result be?
  (i)

Gb

"x[FxRxx

  (ii)

Gb

"x[FxRxa]

  (iii)

$xFx

"x"yRx

  (iv)

["xFx$yRy]

Ga

  (v)

$x"y[FaGxy]

  (vi)

"y$x[FaGxy]

  (vii)

"y$x[[FxGxy]Ray]

  (viii)
 

 

 

 

Print this page
BackNext