关系命题的负命题及其等值推理

关系命题的负命题就是否定一个关系命题之后得到的命题。例如：“小王比小马的年龄大”的负命题为“并非小王比小马的年龄大”。

关系命题的负命题等值推理是利用关系命题的性质推出一个新的命题。例如：

“并非小王比小马的年龄大”等值于“小王不比小马年龄大”

“并非小王和小马是同学”等值于“小王和小马不是同学”

“并非小王认识所有的同学”等值于“小王不认识有的同学”

一般情况下，关系命题的负命题比较容易转化成等值命题，但在出现两个特称或全称的量词时，容易出错，注意量词的转化。转化规则为：“全称变成特称，特称变成全称”。

例如：“并非有人认识所有的英文单词”等值于“所有人都不认识有的英文单词”