Exercise Contents  
Exercise Five: 5.1 - 5.2 - 5.3 - 5.4  
More Exercises
 

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

 

 

 

 

Print this page
BackNext