Telecharger Cours

MATH 4L03 Assignment #4

Solution: ? The scope of ?y is the subformula (?x(R(y, z) ? ?yR(x, y)) ?. ¬?zR(x, y)). The first and third occurrences of y in this subfor-.



Download