一階邏輯

一階邏輯是關(guān)于一階語言及其模型的邏輯理論。它是現(xiàn)代邏輯的基礎(chǔ)分支學(xué)科。19世紀(jì)70年代以后,康托(Cantor,G.)建立了集合論。19世紀(jì)80年代,弗雷格(Frege,G.)用形式化方法建立了謂詞理論。此后,在謂詞理論和模型論的基礎(chǔ)上發(fā)展了一階 ......    （本文共 1266 字 ）     [閱讀本文] >>