APP 一階邏輯是關于一階語言及其模型的邏輯理論。它是現(xiàn)代邏輯的基礎分支學科。19世紀70年代以后,康托(Cantor,G.)建立了集合論。19世紀80年代,弗雷格(Frege,G.)用形式化方法建立了謂詞理論。此后,在謂詞理論和模型論的基礎上發(fā)展了一階 （本文共 1266 字 ） [閱讀本文] >>
海量資源，盡在掌握
一階邏輯是關于一階語言及其模型的邏輯理論。它是現(xiàn)代邏輯的基礎分支學科。19世紀70年代以后,康托(Cantor,G.)建立了集合論。19世紀80年代,弗雷格(Frege,G.)用形式化方法建立了謂詞理論。此后,在謂詞理論和模型論的基礎上發(fā)展了一階 （本文共 1266 字 ） [閱讀本文] >>
說明： 本文檔由創(chuàng)作者上傳發(fā)布，版權歸屬創(chuàng)作者。若內容存在侵權，請點擊申訴舉報
