一、知识框架图

二、数理逻辑

1.命题符号化

命题：能判断真假的陈述句

命题包含两个要素：陈述句，能判断真假

命题题符号化的步骤：

                 1 )对于不太好理解的联结词或表达方式，如有必要,做适当的文字翻译。
                 2 )找出其中所有的原子命题并符号化。
                 3 )用适当的联结词将原子命题连接起来，如有必要，在适当位置配上括号。

2.真值表

         设A是一命题公式, P1,P2.... Pn,为出现在A中的所有命题变元,对P1.P2....Pn，各指定-一个真值,称为对A的一种指派或赋值。
         若指定的一种指派使A的值为真,则称这组值为A的成真指派（成真赋值）
         若指定的一种指派使A的值为真，则称这组值为A的成假指派（成假赋值）

3.命题公式的等值演算

        设A和B是两个命题公式，设P1，P2....Pn为所有出现于A和B中的原子变元，若给定P1,P2....Pn,任一组真值指派A和B的真值都相同，则称A和B是等值的或等价的，记为A<=>B。
       证明两个命题公式等价的方法:
       方法1:真值表法。
       方法2:等值演算法。

4.命题公式类型

          设A是任一命题公式。
          若对A的任意赋值，其真值永为真，则称命题公式A为重言式或永真式。
          若对A的任意赋值，其真值永为假，则称命题公式A为矛盾式或永假式。
          若A不是矛盾式，则称命题公式A为可满足的。
          由定义可以看出，任何重言式都是可满足的。

5.极小项与极大项

极小项：在简单合取式中，每个变元及其否定不同时存在，但两者之一必须出现且仅出现一次，这样的简单合取式叫做布尔合取也叫小项或极小项。两个命题变元p，q所构成的所有小项为: p^q，p^┐q，┐p^q，┐p^┐q

极大项：在简单析取式中，每个变元及其否定不同时存在，但两者之一必须出现且仅出现一次,这样的简单析取式叫做布尔析取也叫大项或极大项。两个命题变元p，q所构成的所有大项为:pvq，pv┐q，┐pvq，┐pv┐q

6.真值表法求主析取范式