👋欢迎来到黄铜扳手的图书馆

4 个页面

一阶谓词逻辑演算形式系统

非形式化数理逻辑(9)：命题逻辑演算形式系统的定理(合取与析取)

非形式化数理逻辑(19)：一阶谓词演算形式系统组成

非形式化数理逻辑(20)：一阶谓词逻辑演算形式系统的定理(量词第一部分)

非形式化数理逻辑(21)：一阶谓词逻辑演算形式系统的定理(量词第二部分)