第二章逻辑和证明 - search read.pudn.com.pptVIP

第二章 逻辑和证明 2.7小结 数理逻辑的基本思想：逻辑推理机械（演算）化 数理逻辑的基本方法：符号化 两个层次的符号化：命题公式、一阶谓词公式 数理逻辑只关心命题和推理的结构（框架）、形式，不关心命题的具体含义 2.7.1命题逻辑 数理逻辑的基本元素---命题 符号化：用字母表示原子命题 比较：命题变量与代数变量、命题符号与常量符号、具体命题与具体数值 命题的真值：命题的真假，T（1）或F（0） 复合命题的符号化：使用联结词连接多个命题，命题公式 五种联结词的符号化：??，?，?，?，?（注意优先级） 命题公式：表示了命题的组成结构，但不是命题，数理逻辑不关心具体的命题 比较：命题公式与代数公式 真值表：给出命题真值之间的关系 代数公式的数值表？ 永真公式、永假公式、可能公式 代数公式的相应物？ 命题公式的逻辑等价? 14组基本等价式，与集合的恒等式做比较 对偶原理 命题等值演算 比较：命题公式的等价与代数公式的相等、命题等值演算与代数演算 主析取范式和主合取范式：真值表求法 命题符号化过程：找出原子命题，用适当的联结词联结起来 命题逻辑的局限 2.7.2一阶谓词 原子命题（陈述句）进一步分解为两个组成成分：主语和谓语 “命题函数”进一步分解为两个组成成分：变量和谓词 变量：某个对象，谓词：对象的性质或相互之