第二章_谓词逻辑1

【文件属性】：

文件名称：第二章_谓词逻辑1

文件大小：1.11MB

文件格式：PDF

更新时间：2022-08-03 18:49:33

数学

第 2 章谓词逻辑命题逻辑对于反映在自然语言中的逻辑思维进行了精确的形式化描述，能够对一些比较复杂的逻辑推理，用形式化方法进行分析。在命题逻辑中，把命题分解到原