如果两个命题中一个命题的条件和结论分别是另一个命题的条件和结论的否定，则这两个命题称互为否命题。

逆命题与否命题等价，若逆命题为真，则否命题为真反之，若逆命题为假，则否命题为假。

原命题为：a－－＞b

否命题为：非a－－＞非b

所以，要全改：

存在x

y

对任意z

非Q(X)

or

非P(X，Y))

-->

R(x，y，z)