1) 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.
作者通过对形式逻辑和数理逻辑中的排中律从量和质的方面进行了比较和探讨,将排中律进行统一和推广,提出了统一的排中律———广义排中律,并给出了相应的数学表示。
2) 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.
伟大的逻辑学家亚里士多德提出了逻辑的三个基本规律:同一律、矛盾律和排中律,然而逻辑基本规律的现有表述并不科学。
3) 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.
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。
5) the general dilution law
广义稀释定律
1.
This paper presents the general dilution law and it is absolutely exact.
本文先指出了“稀释定律”的局限性，然后在不附加任何假设条件的情况下，推导出了普适的精确的“广义稀释定律”。
6) general matching law
广义匹配规律
1.
This paper mainly applied the general matching law in the research of Salisbury screen s reflection nature.
将广义匹配规律应用于Salisbury屏的反射性质研究中,给出了满足广义匹配规律Salisbury屏的后向反射系数公式,为损耗材料作为隔离层Salisbury屏的优化设计新方向提供了理论基础,并对具体优化设计中电磁参数的匹配问题提供方向性的指导。
补充资料：排中律
| 排中律 excluded middle，law of 传统逻辑基本规律之一。通常被表述为A是B或不是B。传统逻辑首先把排中律当作事物的规律，意为任一事物在同一时间里具有某属性或不具有某属性，而没有其他可能。排中律同时也是思维的规律，即一个命题是真的或不是真的，此外没有其他可能。排中律还是关于认识活动的规范性规律，意为任何人不应同时否认一个命题（A）及其否定（并非A），即对一个命题及其否定不能持两不可之说。排中律还被当作逻辑语义的规律，即任一语词或语句在同一上下文中应表达某一思想或不表达这一思想。作为后两种规律，也叫做排中律的要求。排中律并不排除具体事物在其发展过程中有中间环节以及有多种状态和各种可能性。在现代逻辑中，A∨  A（读作：A或非A），是排中律在命题逻辑中的体现；"x（F（x）∨ F（x））（读作：对任何个体x而言，x有性质F或没有性质F）是排中律在谓词逻辑中的体现。由于构造逻辑不承认现实世界里存在着实无穷，只承认无穷是一个过程，因此，在该逻辑中，涉及无穷对象时排中律不成立；用反证法证明存在命题，也不是一种有效的证明方法。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条