Exercise 5.2 - Answers

1

(i)

The ¬$xj rule can be applied to give:

¬$x$y[Fx®Rxy]
"$y[Fx®Rxy]

 
(ii)

Neither rule can be applied. The formula does not begin with ¬" or ¬$.

 
(iii)

The ¬"xj rule can be applied. The following in a possible result:

(But one could, if one wished, add $y¬Rya to just one of the branches.)

 

Close Window