1) the law of excluded middle
排中律
1.
Evolution of the Ideas about the Law of Excluded Middle and the Law of Contradiction;
不同历史时期人们对矛盾律和排中律的理解
2.
Both the law of contradiction and the law of excluded middle apply only to contradictory propositions.
同一律适用于词和命题,而矛盾律和排中律仅适用于矛盾命题,广义矛盾律适用于互斥性命题。
3.
The great logician Aristotle put forward the three basic logic laws: the law of identity,the law of contradiction and the law of excluded middle,but their current statement is not scientific.
伟大的逻辑学家亚里士多德提出了逻辑的三个基本规律:同一律、矛盾律和排中律,然而逻辑基本规律的现有表述并不科学。
2) law of excluded middle
排中律
1.
Intuitionism questions the validity of law of excluded middle and the vaildity of indirect proof, and it indicates that classical logic is only a relative truth.
数学哲学中的直觉主义学派高度重视直觉和个人的创造性思维在科学实践中的作用,这具有积极的意义;它对排中律和间接证明方法有效性的质疑,揭示了经典逻辑只具有相对的真理性;它所倡导的构造性和能行性的研究方法,促进了人工智能和计算机科学的发展。
2.
Law of identity,law of non-contradiction and law of excluded middle are the basic laws.
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。
3) general law of excluded middle
广义排中律
1.
by comparing and researching law of excluded middle of form logic and mathematical logic from quantity and quality of aspect,to unify and generalize law of excluded middle,This paper presents united law of excluded middle-general law of excluded middle,and provides its mathematics expression.
作者通过对形式逻辑和数理逻辑中的排中律从量和质的方面进行了比较和探讨,将排中律进行统一和推广,提出了统一的排中律———广义排中律,并给出了相应的数学表示。
4) Pai Lv
排律
1.
Research on Documents of Names of "Long Lv" and "Pai Lv"——On the Titles of Poems in Yuan and Ming Dynasties as Objects and Field
“长律”、“排律”名称之文献缉考——以唐宋元明时期作为考察范围
5) emission behavior
排放规律
1.
NO_X emission behavior of different types of coal;
不同煤种燃烧中NO_X排放规律的试验研究
6) rules of pollution discharge
排污规律
补充资料：排中律
| 排中律 excluded middle，law of 传统逻辑基本规律之一。通常被表述为A是B或不是B。传统逻辑首先把排中律当作事物的规律，意为任一事物在同一时间里具有某属性或不具有某属性，而没有其他可能。排中律同时也是思维的规律，即一个命题是真的或不是真的，此外没有其他可能。排中律还是关于认识活动的规范性规律，意为任何人不应同时否认一个命题（A）及其否定（并非A），即对一个命题及其否定不能持两不可之说。排中律还被当作逻辑语义的规律，即任一语词或语句在同一上下文中应表达某一思想或不表达这一思想。作为后两种规律，也叫做排中律的要求。排中律并不排除具体事物在其发展过程中有中间环节以及有多种状态和各种可能性。在现代逻辑中，A∨  A（读作：A或非A），是排中律在命题逻辑中的体现；"x（F（x）∨ F（x））（读作：对任何个体x而言，x有性质F或没有性质F）是排中律在谓词逻辑中的体现。由于构造逻辑不承认现实世界里存在着实无穷，只承认无穷是一个过程，因此，在该逻辑中，涉及无穷对象时排中律不成立；用反证法证明存在命题，也不是一种有效的证明方法。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条