two-dimensional Cartesian coordinate system

笛卡爾平面坐標(biāo)系

Pythagorean theorem n. 畢氏定理,勾股定理 | two-dimensional Cartesian coordinate system笛卡爾平面坐標(biāo)系 | Law of the Excluded Middle 排中律

Pontryagin-van Kampen duality theorem

龐特里亞金-范坎彭對偶定理

排中律|law of excluded middle | 龐特里亞金-范坎彭對偶定理|Pontryagin-van Kampen duality theorem | 龐特里亞金對偶定理|Pontryagin duality theorem

law of exponentiation

指數(shù)定律

law of excluded middle 排中律 | law of exponentiation 指數(shù)定律 | law of inertia 慣性律

infinite set

無限集合

傳統(tǒng)邏discourse)是一個(gè)無限集合(infinite set)時(shí),排中律變成不是如果我們把這個(gè)論證的形式(form)寫在底下,我們更可以看出龍一詞. 如果我們把它刪去,顯然,這是一個(gè)有效的(valid)論證的(invalid)論證.

law of errors

誤差律

law of double negation 雙重否定律 | law of errors 誤差律 | law of excluded middle 排中律

law of excluded middle

排中律

對于排中律(law of excluded middle)與二值法則(law of bivalence)的問題,在亞里士多德時(shí)代即已提出,[13]但迄今并無統(tǒng)一的明確答案. 盧卡西維茨的說法是,二值法則"把每一個(gè)命題看作是或真或假的",而排中律則是說"兩個(gè)矛盾命題中的一個(gè)必定是真的".

Law of the Excluded Middle

排中律

以總共不到17頁的三篇論文,一個(gè)年輕的荷蘭數(shù)學(xué)家布饒兒 (Brouwer) 對以往古典邏輯的確實(shí)性提出挑戰(zhàn),特別是對所謂的排中律 (Law of the excluded middle),即對任一命題「A」,A或A之否定命題必有一為真,他認(rèn)為我們不可無條件的接受,布饒兒堅(jiān)持有其它的可能性,

Law of Noncontradiction

不矛盾律

Law of Contradiction 矛盾律 | Law of Noncontradiction 不矛盾律 | Law of Excluded Middle 排中律

sequencing problem

排序問題

排序和時(shí)間表理論|sequencing and scheduling theory | 排序問題|sequencing problem | 排中律|law of excluded middle

tesseral harmonics

田形[調(diào)和]函數(shù)

排中律 tertium non datur | 田形調(diào)和函數(shù) tesseral harmonics | 田形的球面調(diào)和函數(shù) tesseral spherical harmonics