德·摩根律

德·摩根律(De Morgan law)一種運算律, 該運算律由兩個公式組成,兩公式均含否定詞。

命題演算的德·摩根律可從類邏輯的德.摩根律演變過來.類邏輯的德·摩根律雖然以英國數學家德·摩根(De Morgan , A.)的名字命名,但實際上該運算律在中世紀就很著名,只是後來又被德· 摩根重新發現.直覺主義邏輯並不完全承認德·摩根律,他們不承認┐(p∧q)≡(┐pV┐q).
德·摩根律

相關詞條

熱門詞條

聯絡我們