在數學邏輯連詞中的符號表示為：┐ 例： 非p 記作 ┐p。
如：┐1=-1，┐-2=2，┐0=0.
相關詞條
-
邏輯數學
邏輯數學是研討包括無窮觀在內的數學基礎問題，“數學基礎”是20世紀上半葉所誕生的一個數學分支學科，該學科專門研究如何為古今種種數學系統奠定其理論基礎的問...
-
數字邏輯[基於二進制數學或布爾代數的邏輯]
數字邏輯,是數字電路邏輯設計的簡稱，其內容是套用數字電路進行數字系統邏輯設計。電子數字計算機是由具有各種邏輯功能的邏輯部件組成的，這些邏輯部件按其結構可...
數字邏輯 正文 配圖 相關連線 -
非邏輯主義
非邏輯主義從數學哲學的角度看，邏輯主義在數學對象和數學真理性兩方面都存在謬誤。在數學的對象方面，他們把數學概念等數學認識形式看作數學的對象，並且認為它們...
-
《邏輯哲學》
《邏輯哲學》屬於北京市社會科學十五規劃項目成果，涉及20世紀西方邏輯哲學廣泛討論的眾多論題。
概述 作者簡介 內容歸納 經典邏輯理論 -
三大數學流派
三大數學流派是圍繞數學的哲學基礎問題進行的不同探討而形成的三大學派，主要指邏輯主義、形式主義和直覺主義三大學派。其形成主要是在1900年到1930年這三...
簡介 邏輯主義 形式主義 直覺主義 三大數學流派簡介 -
數學競賽
數學競賽是發現人才的有效手段之一。現代意義上的數學競賽是從匈牙利開始的。一些重大數學競賽的優勝者，大多在他們後來的事業中卓有建樹。因此，世界已開發國家都十...
概念解析 發展史 舉行意義 數學聯賽 我國情況 -
數學與無窮觀的邏輯基礎
版次：1 開本：16開 第1章
基本相信 內容簡介 作者簡介 目錄 -
對稱邏輯
對稱邏輯是以對稱規律為基本的思維規律，天與人、思維與存在、思維內容與思維形式、思維主體與思維客體、思維層次與思維對象、科學本質與客觀本質對稱的邏輯。對稱...
從傳統邏輯到對稱邏輯 性質 創立者簡介 -
古希臘羅馬邏輯
古希臘羅馬邏輯的第一個階段，古希臘羅馬時期各種邏輯學說的統稱。它發源於公元前6世紀，到公元前4世紀由集大成，後來和古羅馬學者又擴充和發展了亞里士多德的邏輯學說。
古希臘羅馬邏輯 正文 配圖 相關連線
