什么是命题
具有确切真值的陈述句称为命题(proposition)。该命题可以取一个“值”，称为真值。真值只有 “真”和“假”两种，分别用“T”(或“1”) 和“F”(或“0”)表示。
1.原子命题 (简单命题)：不能再分解为更为简单命题的命题。
2.复合命题：可以分解为更为简单命题的命题。
这些简单命题之间是通过如“或 者”、“并且”、“不”、“如果...... 则......”、“当且仅当”等这样的关联词和标 点符号复合而成。
复合命题eg：四川不是一个国家；
3既是素数又是奇数；
张谦是大学生或是运动员；
命题联结词
1.否定联结词
¬
2.合取联结词
∧
3.析取联结词
∨ 在本课程中，异或/同或都用∨表示
4.蕴涵联结词
如果 P，则 Q 记作P → Q，“→” 为蕴涵联结词
P 称为该蕴涵式的前件，Q 称为蕴涵式的后件
前件为假，则该复合命题一定为真
P → Q为假 当且仅当 P为真，Q为假
5.等价联结词
↔
“↔” 是自然语言中的 “等价”、“充分必要条件”、“当且仅当” 等的逻辑抽象。
P ↔ Q为真当且仅当PQ都为真或PQ都为假
命题联结词的优先级
所有五个联接词的优先顺序为：否定，合取，析取，蕴涵，等价；
若运算要求与优先次序不一致时，可使用括号；
复合命题符号化
设命题
P : 你陪伴我;
Q : 你代我叫车子;
R : 我将出去.
除非你陪伴我或代我叫车子，否则我将不出去。（除非Q，否则非P）
符号化为
R → (P ∨ Q) 或 (¬P ∧ ¬Q) → ¬R p→q 等价于 ¬q→¬p
命题变元，命题公式
一个特定的命题是一个常值命题，它不是具有值 “T”(“1”)，就是具有值 “F”(“0”)。
一个任意的没有赋予具体内容的原子命题是一个变量命题，常称它为命题变量 (或命题变元)(propositional variable)，该命题变量无具体的真值，它的变域是集合{T, F}(或 {0, 1})。
命题演算的合式公式 (well formed formula，wff)，又称命题公式 (简称公式)，按如下规则生成：
1 .命题变元本身是一个公式；称为原子公式。
（如：P, Q, R, · · · ）
2. 若G是公式，则(¬G)也是公式；
（如：¬P, ¬Q, ¬R, · · · ）
3. 若G，H 是公式，则(G ∧ H)、(G ∨ H)、(G → H)、(G ↔ H)也是公式；
（如： P ∧ Q,(¬Q) → R, · · · ）
4. 仅由有限步使用规则 (1)、(2)、(3)后所得到的包含命题变元、联结词和括号的符号串才是命题公式.
（如：¬(P ∧ Q) ↔ R,(¬Q ∨ (P ∧ ¬R)) → R, · · · ）
如果 G 是含有 n 个命题变元 P1、P2、P3、· · · 、Pn 的公式，可记为：G(P1, P2, P3, · · · , Pn) 或简 写为 G
命题公式没有真值，只有对其命题变元进行真值指派后，方可确定命题公式的真值；
在实际应用中，为了便于存储和运算，命题公式常用二元树的方式来表达。(叶结点都是原子公式)
公式的解释，真值表
设 P1、P2、P3、· · · 、Pn 是出现在公式 G 中的所有命题变元，指定 P1、P2、P3、· · · 、Pn 一组真值，则这组真值称为 G 的一个解释，常记为 I。
如果公式 G 在解释 I 下是真的，则称I 满足 G，此时 I 是 G 的成真赋值；如果 G 在解 释 I 下是假的，则称I 弄假于 G，此时 I 是 G 的成假赋值。
一般来说，若有 n 个命题变元，则应有 2∧n 个不同的解释。
由公式 G 在其所有可能的解释下所取真值构成的表，称为 G 的真值表
也可简化为：
命题公式分类
永真公式(重言式,tautology)：公式的所有解释之下，其真值都为“真”。
永假公式(矛盾式,contradiction)：公式的所有解释之下，其真值都为“假”。 有时也称永假公式为不可满足公式。
可满足公式(satisfiable)：公式不是永假的。
公式的等价
设 G，H 是两个命题公式，P1，P2，P3，· · · ，Pn是出现在 G，H 中所有的命题变元，如果对于 P1，P2，P3，· · · ，Pn 的 所有解释，G 与 H 的真值结果都相同，则称公式 G 与 H 是等价的， 记作G = H。（或G ⇔ H）
对于任意两个公式 G 和 H，G = H 的充分必要条件是公式 G ↔ H 是永真公式。
易混淆
=，⇔和↔不同，↔是运算符，前两个不是
基本等价关系
（可以与第一章集合的公式进行类比）
判断公式的类型
方法一：真值表
方法二：利用上述基本等价关系
基本等价关系的应用
简单应用：
进阶应用：
化简 ((P ∧ Q ∧ R) ∨ (P ∧ Q ∧ S)) ∧ ((P ∧ R) ∨ (P ∧ S))
化简((P ∧ Q ∧ R) ∨ (P ∨ Q ∨ S)) ∧ (P ∧ S ∧ T)
目录
2368
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
