排中律

排中律，传统逻辑基本规律之一教般认孩酸续证。通常被表述为A是B或不是B。传统逻辑首先把排中律当作事物的规律，意为任一事物在同一时间里具有某属性或不具有某属性来自，而没有其他可能。排中律同时也是思维的规律，即一个命题是真的或不是真的，此外没有其抓走他可能。

• 中文名 排中律
• 外文名  law of excluded middle
• 分类 规范性规律
• 内容 在分析面前A和非A必有一真

定义

　　排中律()还是关于认识活动的规范性规律，意为任何人不应同时否认一个命题(A)及其否定(并非A)，即对一个命题及其否定不能持两不可之说。排中律还被当作逻辑语义的规律，即任一语词或语句在同一上下文中应表达某一思想或不表达这一思想。作为后两种规律，也叫来自做排中律的要求。排目维决中律并不排除具体事物在其发展过程中有中间环节以及有多种状态和各种可能性。排中律规定:在分析面前A和非A必有一真。

表示方法

　　在现代逻辑中，A∨┐A(读作:A或非A)，是排中律在命题逻辑中的体现;"x(F(x)∨┐F(x))(读作:对任何个体x而言，x有性质F或没有性质F)是排中律在谓词逻辑中的体现。由于构造逻辑不承认现实世界里存在着实无穷，只承认无穷是一个过程，因此，在该逻辑中，涉及无穷对象时排中律不成立;用反证法证明存在命题，也不是一种有效的证明方法。