在逻辑学中，a推b可以表示为“如果a，则b”。它的矛盾命题不是“a推非b”，因为“a推非b”表示“如果a，则非b”，这是不同的逻辑关系。a推b的矛盾命题应该是“非a推非b”，即“如果非a，则非b”，这是在逻辑上与原命题相对立的陈述。两个命题不能同时为真。这是因为如果a推b为真，那么...
所以a推b的矛盾命题是a且非b。
矛盾命题（负命题、命题的否定），指的是 不能同时为真、也不能同时为假。比如，【所有S都是P】跟...
矛盾命题（负命题、命题的否定），指的是 不能同时为真、也不能同时为假。比如，【所有S都是P】跟...