摘要：
数理逻辑五部曲之四，一阶逻辑基本概念. 18.1 一阶逻辑命题符号化 为达到表达出个体和总体之间的内在联系和数量关系，需要引入量词.这就是一阶逻辑所研究的内容，其也称作一阶谓词逻辑或谓词逻辑. 一阶逻辑命题符号化的三个要素:个体词、谓词和量词. 1.个体词是指所研究对象中可以独立存在的、具体的或抽象 阅读全文
posted @ 2025-08-30 21:40
elainafan
阅读(8)
评论(0)
推荐(0)
摘要：
数理逻辑三部曲之三，命题逻辑的推理理论. 17.1 推理的形式结构 前提是已知的命题公式集合，结论是从前提出发应用推理规则得到呃命题公式，推理则是从前提出发推导出结论的思维过程. 设\(A_1,A_2,\ldots,A_k\)和\(B\)都是命题公式，若对于\(A_1,A_2\ldots,A_k\) 阅读全文
posted @ 2025-08-30 16:32
elainafan
阅读(9)
评论(0)
推荐(0)
浙公网安备 33010602011771号