20世纪30年代末至今，数理逻辑发展为两个演算加上四论，两个演算指的是命题演算和谓词演算，其中四论不包括下列哪一项（）。
20世纪30年代末至今，数理逻辑发展为两个演算加上四论，两个演算指的是命题演算和谓词演算，其中四论不包括下列哪一项（）。
A.递归论
B.证明论
C.模型论
D.推理论
正确答案：推理论
Tag：从自然世界到智能时代 递归 谓词
时间：2022-01-27 22:47:07