一阶逻辑

一阶逻辑是关于一阶语言及其模型的逻辑理论。它是现代逻辑的基础分支学科。19世纪70年代以后,康托(Cantor,G.)建立了集合论。19世纪80年代,弗雷格(Frege,G.)用形式化方法建立了谓词理论。此后,在谓词理论和模型论的基础上发展了一阶 ......    （本文共 1266 字 ）     [阅读本文] >>