1.数理逻辑 1.1命题逻辑 1.1.1命题定义和逻辑联结词   命题指的是具有真假意义（要么为真，要么为假）的一句话，它常以陈述句形式出现，而疑问句，感叹句，祈使句等都不是命题。 你多大了？(疑问句，不是命题) 出来！(祈使句，不是命题) 今天真好！(感叹句，不是命题 ...

目录 4 一阶逻辑：证明论 4.4 前束范式和子句范式 12之第一组 12之第二组 12之第三组及总结 弱等价性定理 子句范式 勘误集 ...

1. 从逻辑代数开始 逻辑代数是一种用于描述客观事物逻辑关系的数学方法，由英国科学家乔治·布尔 (George·Boole) 于 19 世纪中叶提出，因而又称布尔代数。 所谓逻辑代数，就是把逻辑推理过程代数化，即把逻辑推理过程符号化。 2. 从逻辑代数到命题逻辑 同样的，命题逻辑 ...

目录 3 一阶逻辑：模型论 3.1 谓词和量词 3.2 一阶语言 复杂度和权重 3 一阶逻辑：模型论 3.1 谓词和量词 Q: 为什么说命题逻辑\(L\)的表达能力不够？ A: 比如难以 ...

布尔代数运算律 布尔运算等式变换 \[\begin{matrix} \overline{x_1 \cdot x_2} = \overline{x_1} + \overline{x_2} ...

1.语句 1.1命题 一个或真或假，而不能两者都是的陈述句。 说明： 1）命题是陈述句，而不能是疑问句、命令句、感叹句等；　　例如（1）把门关上！ 　　（2）你到哪里去？2）如果命题为真，我们就说它的真值为真（T或1）； 如果命题为假，我们就说它的真值 ...

命题连接词 最常见的连接词： 　　“如果” “并且” “不” “如果……则……” “当且仅当” 否定连接词：非“﹁” 合取连接词：P并且Q >>> “P^Q” P^Q为真当且仅当P\Q同时为真 　　　　　　注意：P但Q 也是合取，例如：今天天气 ...

命题逻辑公理系统 概念 从一些公理出发，根据演绎法，推导出一系列定理，形成的演绎体系叫做公理系统。 命题逻辑的重言式^ 1可以组成一个公理系统 初始命题是重言式 从公理出发，利用推理规则，可以推导出定理，定理都是重言式 该系统推出的都是重言式，而且能推出所有重言式 初始 ...