推理论证中的否定

推理论证中的否定

对一个命题的否定的必要条件，是用一个命题B代替原命题A。但不一定充分。

A，B之间的逻辑关系有四种。等价，包含，互斥，对立。

一，当是等价关系时，不是对代替者的否定。

二，当A，B不能同真且不能同假时。！称为逻辑否定，通俗点说，全盘否定。A，B之逻辑关系，互为对立命题。逻辑否用专用字符“ ”表示。A的逻辑否记为 A。有关系

（ A）＝A。

三，用互斥命题代替。称为部分否定。二者不能同真，可同假。经常出现的错误，就是用互斥命题代替而称为逻辑非。

四，用存在包含关系而非等价的命题代替。此处的非只表示不等价？。例如。白马是马。真命题；马是白马。假命题。故称“白马非马”。