矛盾命题必有一真是逻辑定律的要求,具体来说,这是排中律(Law of excluded middle)的内容。排中律指出,对于任意一个命题A,它要么为真,要么为假,不存在第三种可能性。换句话说,一个命题和它的否定命题(非A)之间必定有一个是真的,另一个是假的。
这一逻辑定律的作用在于保证思维的明确性,要求我们在面对两个相互矛盾的命题时,必须明确地承认其中一个是真,而不是模棱两可。如果违反了排中律,就会犯下“两不可”的错误,即同时否定两个相互矛盾的命题。
举个例子,如果有一个命题说“这个物体在移动”,而另一个命题说“这个物体没有在移动”,根据排中律,这两个命题中必有一个是真的,不能同时为假。
希望这解答了你的问题,