离散数学_习题课一：第1章 命题逻辑
(完整版)《离散数学》同步练习答案
华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题（1)设：p：派小王去开会。
q：派小李去开会.则命题：“派小王或小李中的一人去开会" 可符号化为：（p q) (p q）。
（2）设A,B都是命题公式，A B，则A B的真值是T。
（3）设:p：刘平聪明。
q：刘平用功。
在命题逻辑中，命题：“刘平不但不聪明，而且不用功”可符号化为：p q .（4）设A , B 代表任意的命题公式，则蕴涵等值式为A B A B。
（5）设，p：径一事;q：长一智。
在命题逻辑中,命题:“不径一事，不长一智。
" 可符号化为： p q 。
（6）设A , B 代表任意的命题公式，则德摩根律为（A B）Û A B）。
（7）设，p：选小王当班长;q：选小李当班长.则命题：“选小王或小李中的一人当班长。
”可符号化为: （p q）（p q） .（8）设，P：他聪明；Q：他用功。
在命题逻辑中，命题:“他既聪明又用功。
" 可符号化为：P Q .（9）对于命题公式A,B,当且仅当 A B 是重言式时，称“A蕴含B”，并记为A B。
（10)设:P：我们划船.Q:我们跑步.在命题逻辑中，命题:“我们不能既划船又跑步.”可符号化为：（P Q) 。
（11）设P，Q是命题公式,德·摩根律为：（P Q）P Q) 。
（12）设P:你努力.Q：你失败。
在命题逻辑中，命题：“除非你努力，否则你将失败。
”可符号化为：P Q .（13）设p：小王是100米赛跑冠军。
q:小王是400米赛跑冠军。
在命题逻辑中，命题：“小王是100米或400米赛跑冠军.”可符号化为：p q。
（14）设A，C为两个命题公式，当且仅当A C为一重言式时,称C可由A逻辑地推出。
二．判断题1.设A，B是命题公式，则蕴涵等值式为A B A B。
（）2.命题公式p q r是析取范式。
( √ )3.陈述句“x + y > 5”是命题。
离散数学命题逻辑习题课
二.重言式的证明方法 方法1：列真值表。 方法2：公式的等价变换，化简成“T”。 方法3：用公式的主析取范式。 (1)证明(P→Q)→(P→(P∧ ))是重言式。 (P→Q)→(P→(P∧Q)) ))是 方法1:
P F F T T Q F T F T
P→Q
T T F T
P→(P∧Q) P→(P∧ )
本题的解题关键在于：不管开关和灯处 于什么状态，灯的状态改变当且仅当只 有一个开关的状态发生改变。因此，本 题有多解。 （a）若A=0, B=0时Y=0，则相应真值表设计如下
A 0 0 1 1 B 0 1 0 1 Y 0 1 1 0
相应逻辑表达式为
Y = ( ¬A ∧ B ) ∨ ( A ∧ ¬B )
用异或门实现
A
=1
B
Y
（b）若A=0, B=0时Y=1，则相应真值表设计如下
A 0 0 1 1 B 0 1 0 1 Y 1 0 0 1
相应逻辑表达式为
Y = ( ¬A ∧ ¬B ) ∨ ( A ∧ B )
用同或门实现
A
=1
B
Y
六. 逻辑推理 熟练掌握三种推理方法。 (1) (A∨B)→(C∧D), (D∨E)→P ⇒ A→P 1.直接推理 ⑴ (A∨B)→(C∧D) P ⑵ ¬(A∨B)∨(C∧D) T ⑴ E ⑶ (¬A∧¬B) ∨(C∧D) T ⑵ E ⑷ (¬A∨C)∧(¬B∨C)∧(¬A∨D)∧(¬B∨D) T ⑶ E ⑸ ¬A∨D T ⑷ I ⑹ A→D T⑸ E ⑺ (D∨E)→P P ⑻ ¬(D∨E)∨P T ⑺ E ⑼ (¬D∧¬E)∨P T ⑻ E ⑽ (¬D ∨P) ∧(¬E∨P) T ⑼ E ⑾ ¬D∨P T ⑽ I ⑿ D→P T ⑾ E ⒀A→P T ⑹⑿ I
离散数学 练习-第1部分 数理逻辑(解答)
5、下列命题公式为重言式的是（ D ），为矛盾式的是（ C ）
A、(P→Q)⋀Q⋀R
B、(P→P)→Q
C、(Q⋁R)⋀R
D、((P→Q)⋀(Q→R))→(P→R)
6、命题公式 (P→Q) 的主合取范式中含有（ D ）个极大项， 主析取范式中含有（ B ）个极小项 A、0 B、1 C、2 D、3
7、下列式子不正确的是（ D ） A、∃xA(x) ⇔ ∀xA(x) B、∃x(A→B(x)) ⇔ A→∃xB(x) C、∀xA(x) ⇔ ∃xA(x) D、∀x(A(x)→B) ⇔ ∀xA(x)→B
以下方案任选一：①A不去,B不去,C去；②A不去,B去,C不去； ③A去,B不去,C去
9、证明下列谓词公式为永真式
(xF( x) yG( y)) (yG( y) xF( x))
证明：题中的谓词公式为 (P Q) (Q P) 的代换实例
(P Q) (Q P) (P Q) (Q P) (P Q) (P Q) 1 (A A 1)
(P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) m001 m000 m011 m111 m0 m1 m3 m（7 主析取范式） M2 M4 M5 M（6 主合取范式） (P Q R) (P Q R) (P Q R) (P Q R)
命题“并不是所有汽车都比火车跑得慢”可符号化为（ C ）
命题“说汽车都比火车快是不对的”可符号化为（ C ） A、∃x(F(x)∧∀y(G(y)→H(x,y))) B、∃x∃y(F(x)∧G(y)→H(x,y)) C、∀x∀y(F(x)∧G(y)→H(x,y)) D、∀x(F(x)∧∃y(G(y)→H(x,y)))
离散数学作业 第一章
第一章命题逻辑1.1命题与命题联结词P6.T2.判断下列语句是否为命题，为什么？若是命题判断是原子命题还是复合命题，并把复合命题符号化，要求符号化到原子命题。
（1）他们明天或后天去百货公司。
（2）你能告诉我，我什么时候一定会死吗？你不能！（3）如果这个语句是命题，那么它是一个假命题。
（4）李刚和李春是兄弟。
（5）王海和李春在学习。
（6）只要努力学习，就一定能取得优异成绩。
（7）李春对李刚说：“今天天气真好呀！”（8）你知道这是个真命题还是假命题就请告诉我！（9）王海不是女孩子。
答案解⑴是复合命题。
设p：他们明天去百货公司；q：他们后天去百货公司。
命p∨。
题符号化为q⑵是疑问句，所以不是命题。
⑶是悖论，所以不是命题。
⑷是原子命题。
⑸是复合命题。
设p：王海在学习；q：李春在学习。
命题符号化为p∧q。
⑹是复合命题。
设p：你努力学习；q：你一定能取得优异成绩。
p→q。
⑺不是命题。
⑻不是命题⑼。
是复合命题。
设p：王海是女孩子。
命题符号化为：⌝p。
P7.T4.设p表示命题“天下大雨”，q表示命题“他乘公共汽车上班”，r表示命题“他骑自行车上班”。
请将下列命题符号化。
（1）如果天不下大雨，他乘坐公共汽车或者骑自行车上班。
（2）只要天下大雨，他就乘公共汽车上班。
（3）只要天下大雨，他才乘公共汽车上班。
（4）除非天下大雨，否则他不乘公共汽车上班。
答案解⑴⌝p→(q∨r)。
⑵p→q。
⑶q→p。
⑷q → p。
1.2命题公式及其分类P10.T4.构造下列公式的真值表，并据此说明它是重言式、矛盾式或者仅为可满足式。
（1）p ∨⌝（p ∧q ）。
（2）（p ∧q ）∧⌝（p ∨q ）。
（3）（p →q ）↔（⌝p ↔q ）。
（4）（（p →q ）∧（q →r ））→（p →r ）。
答案解 ⑴设)(q p p A ∧⌝∨=，其真值表如表2-1所示：故)(q p p A ∧⌝∨=为重言式。
⑵设A =(p ∧q )∧⌝(p ∨q )，其真值表如表2-2所示：表2-2故∧∧⌝∨为矛盾式。
数理逻辑习题离散数学
第1章 命题逻辑一、单项选择题1. 下列命题公式等值的是( ) BB A A Q P Q Q P Q B A A B A A QP Q P ),()D (),()C ()(),()B (,)A (∧∨⌝∨∨⌝∨→→→⌝→→∨⌝∧⌝2. 设命题公式G ：)(R Q P ∧→⌝,则使公式G 取真值为1的P ，Q ，R 赋值分别是 ( ) 0,0,1)D (0,1,0)C (1,0,0)B (0,0,0)A (3. 命题公式Q Q P →∨)(为 ( ) (A) 矛盾式(B) 仅可满足式 (C) 重言式 (D) 合取范式4 命题公式)(Q P →⌝的主析取范式是( )． (A) Q P ⌝∧ (B) Q P ∧⌝ (C) Q P ∨⌝ (D) Q P ⌝∨ 5. 前提条件P Q P ,⌝→的有效结论是( )． (A) P(B)P(C) Q(D)Q6. 设P ：我将去市里，Q ：我有时间．命题“我将去市里，仅当我有时间时”符号化为( )Q P Q P Q P PQ ⌝∨⌝↔→→)D ()C ()B ()A (二、填空题1. 设命题公式G ：P⌝(Q P )，则使公式G 为假的真值指派是2. 设P ：我们划船，G ：我们跑步，那么命题“我们不能既划船，又跑步”可符号化为3. 含有三个命题变项P ，Q ，R 的命题公式P Q 的主析取范式是4. 若命题变元P ，Q ，R 赋值为(1,0,1)，则命题公式G ＝)())((Q P R Q P ∨⌝↔→∧的真值是5. 命题公式P⌝P Q 的类型是 ．6. 设A ，B 为任意命题公式，C 为重言式，若C B C A ∧⇔∧，那么B A ↔是式(重言式、矛盾式或可满足式)三、解答化简计算题1. 判别下列语句是否命题如果是命题，指出其真值.(1) 中国是一个人口众多的国家. (2) 存在最大的质数.(3) 这座楼可真高啊！ (4) 请你跟我走! (5) 火星上也有人.2.作命题公式))(()(P Q P Q P ∨∧→→的真值表，并判断该公式的类型．3. 试作以下二题：(1) 求命题公式(PQ )(P Q )的成真赋值．(2) 设命题变元P ,Q ,R 的真值指派为(0,1,1),求命题公式))()(()(Q R Q P R P →⌝∨→⌝∧↔的真值．4. 化简下式命题公式))()((P Q P Q P ∧⌝∧⌝∨∧5. 求命题公式))()((Q P P Q P ∧⌝∧→→的主合取范式.6. 求命题公式)()(Q P Q P ⌝→∧→⌝的主析取范式，并求该命题公式的成假赋值．7. 求命题公式)()(Q P Q P ⌝∨⌝∧∧的真值表. 四、证明题1. 证明S S P R R Q Q P ⌝⇒⌝∨∧⌝∧∨⌝∧→)()()(2. 构造推理证明：S R Q P R S Q P →⇒∧→∧→→)())((3. 证明命题公式)()(Q R Q P →∨→与Q R P →∧)(有相同的主析取范式．参考答案一、1. C 2. D 3. B 4. A 5. D 6. B二、1. 1,0；1,1 2. )(Q P ∧⌝或Q P ⌝∨⌝ 3. (P Q R )(P QR )4. 05. 非永真式的可满足式6. 重言 三、1. (1) 是命题，真值为1.(2) 是命题，真值为0. (3), (4)不是命题. (5) 是命题.1. 判别下列语句是否命题如果是命题，指出其真值.(1) 中国是一个人口众多的国家. (2) 存在最大的质数.(3) 这座楼可真高啊！ (4) 请你跟我走! (5) 火星上也有人.2. 命题公式))(()(P Q P Q P ∨∧→→的真值表 P Q P Q Q P ∧P Q P ∨∧)())(()(P Q P Q P ∨∧→→0 0 1 0 0 0 0 1 1 0 0 0 1111 1 1 1 1 1 原式为可满足式.3. (1) (P Q )(P Q )(P Q )(P Q )(P P )Q Q可见(PQ )(P Q )的成真赋值为(0,1)，(1,1)．(2) ))()(()(Q R Q P R P →⌝∨⌝→⌝∧↔0))10()01(()10(⇔→∨→∧↔⇔4.))()((P Q P Q P ∧⌝∧⌝∨∧P Q P Q P ∧⌝∧⌝∨∧⇔)()()()(P P Q P Q P ∧⌝∧⌝∨∧∧⇔0)(∨∧⇔Q PQ P ∧⇔5. ))()((Q P P Q P ∧⌝∧→→ ))()((Q P P Q P ∧⌝∧∨⌝∨⌝⇔)())(Q P P Q P Q P ∧⌝∧∨∧⌝∧⌝∨⌝⇔ )00(∧∨⌝⇔P )(Q Q P ⌝∧∨⌝⇔)()(Q P Q P ⌝∨⌝∧∨⌝⇔6. )()()()(Q P Q P Q P Q P ⌝∨⌝∧⌝∧⇔⌝→∧→⌝ Q P ⌝∧⇔因为成真赋值是（1，0），故成假赋值为（0，0），（0，1），（1，1）7. 作真值表PQ P QPQPQ (P Q )(PQ ) 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 111四、证明题1. 证明S S P R R Q Q P ⌝⇒⌝∨∧⌝∧∨⌝∧→)()()( ①Q R P②R P③Q T ①，②析取三段论 ④P Q P ⑤P ⌝ T ③，④拒取式 ⑥PS P⑦S ⑤，⑥析取三段论 2. 构造推理证明：S R Q P R S Q P →⇒∧→∧→→)())((.前提：Q P R S Q P ,)),((→→→ 结论：S R → 证明：① R附加前提② RP前提引入 ③ P①，②假言推理④P (Q S ) 前提引入 ⑤ Q S ③,④假言推理 ⑥ Q 前提引入⑦ S⑤,⑥假言推理3. 证明命题公式)()(Q R Q P →∨→与Q R P →∧)(有相同的主析取范式． 证明.方法1．)()(Q R Q P →∨→)()(Q R Q P ∨⌝∨∨⌝⇔∨∧⌝⇔Q R P )(Q R P →∧)(因为两命题公式等值，由主合取范式的惟一性，可知两命题公式的主合取范式是相同． 3 证明命题公式)()(Q R Q P →∨→与Q R P →∧)(有相同的主析取范式．方法2．)()(Q R Q P →∨→)()(Q R Q P ∨⌝∨∨⌝R Q P Q R P ⌝∨∨⌝⇔∨⌝∨⌝⇔ R Q P Q R P Q R P ⌝∨∨⌝⇔∨⌝∨⌝⇔→∧)(因为它们的主合取范式相同，可知它们的主析取范式也相同．第2章谓词逻辑一、 单项选择题1. 谓词公式)())()((x Q y yR x P x →∃∨∀中量词x 的辖域是( ) (A) ))()((y yR x P x ∃∨∀ (B) P (x ) (C) )()(y yR x P ∃∨ (D) )(x Q2. 谓词公式∃xA (x )∧∃xA (x )的类型是（ ）(A) 永真式 (B) 矛盾式(C) 非永真式的可满足式 (D) 不属于(A ),(B ),(C )任何类型 3 设个体域为整数集，下列公式中其真值为1的是( )(A) )0(=+∃∀y x y x (B) )0(=+∀∃y x x y(C))0(=+∀∀y x y x (D) )0(=+∃⌝∃y x y x4 设L (x )：x 是演员，J (x )：x 是老师，A (x ,y )：x 佩服y. 那么命题“所有演员都佩服某些老师”符号化为( ) (A) ),()(y x A x xL →∀ (B) ))),()(()((y x A y J y x L x ∧∃→∀ (C) )),()()((y x A y J x L y x ∧∧∃∀ (D) )),()()((y x A y J x L y x →∧∃∀5. 设个体域是整数集合，P 代表x y ((x y )(x y 0))，下面4个命题中为真的是( )(A) P 是真命题 (B) P 是逻辑公式，但不是命题 (C) P 是假命题 (D) P 不是逻辑公式6. 表达式))(),(())(),((z zQ y x R y z Q y x P x ∀→∃∧∨∀中x ∀的辖域是( )(A) P (x ,y ) (B)R (x ,y ) (C)P (x ,y )R (x ,y ) (D) P (x ,y )Q (z )二、 填空题1. 设个体域D ＝{1,2},那么谓词公式)()(y yB x xA ∀∨∃消去量词后的等值式为 .2. 设个体域D ＝{a ,b },公式)),()((y x yH x G x ∃→∀消去量词化为3. 设N (x )：x 是自然数，Z (y )；y 是整数，则命题“每个自然数都是整数，而有些整数不是自然数”符号化为参考答案一、1. C ；2.. B ；3 A ；4. B ；5. A 6. D二、1. A (1)A (2)(B (1)B (2)) 2. (G (a )(H (a ,a )H (a ,b ))) (G (b )(H (b ,a )H (b ,b )))3. ))()(())()((x N x Z x x Z x N x ⌝∧∃∧→∀。
修-习题(第一章命题逻辑)080913
（可满足） 可满足）
（3 ） ┐ (Q → R) ∧ R。 。 真值表
Q 0 0 1 1 R 0 1 0 1 Q → R ┐ (Q → R) ┐ (Q → R) ∧ R 1 1 0 1 0 0 1 0 0 0 0 0
（矛盾式） 矛盾式）
（4） (P → Q) → (┐Q → ┐P) 。 ） ┐ 真值表
(P →Q, T) (P →Q, 不确定 不确定)
∧Q， 是最小的素数， 不是最小的自然数。 ∧Q （5）虽然 是最小的素数，但2不是最小的自然数。P∧Q，T ）虽然2是最小的素数 不是最小的自然数
6）4既不是素数 也不是偶数。 既不是素数， （6）4既不是素数，也不是偶数。
是无理数，而且自然对数的底e也是无理数 ∧Q 也是无理数。 ∧Q， π 是无理数，而且自然对数的底 也是无理数。P∧Q，T
∵P∧Q ⇔0 ∧Q 十、判断下面论述是否为真：” π 是无理数（P）。并且 是无理数（ ） 判断下面论述是否为真： 如果3是无理数（ ） 也是无理数（ ） 另外， 如果 是无理数（Q），则 2也是无理数（R）。另外， 是无理数 只有6能被 整除（ ） 能被2整除 才能被4整除 只有 能被 整除（S），6才能被 整除（W）。 ” 才能被 整除（ ）
P 0 0 0 0 1 1 1 1 Q 0 0 1 1 0 0 1 1 R 0 1 0 1 0 1 0 1 P ∨Q ∨ R 0 1 1 1 1 1 1 1 P→ (P ∨Q ∨ R) → 1 1 1 1 1 1 1 1
（2） (P → ┐ P) → ┐ Q 。 ） 真值表
P 0 0 1 1 Q 0 1 0 1 P→ ┐ P 1 1 0 0 ┐Q 1 0 1 0 (P → ┐ P) → ┐ Q 1 0 1 1
离散数学结构第1章命题逻辑基本概念
离散数学结构第1章命题逻辑基本概念第1章命题逻辑基本概念主要内容1. 命题与真值（或真假值）。
2. 简单命题与复合命题。
3. 联结词：否定联结词┐，合取联结词∧，析取联结词∨，蕴涵联结词→，等价联结词。
4. 命题公式（简称公式）。
5. 命题公式的层次和公式的赋值。
6. 真值表。
7. 公式的类型（重⾔式（或永真式），⽭盾式（或永假式），可满⾜式）。
学习要求1. 在5种联结词中，要特别注意蕴涵联结的应⽤，要弄清三个问题：① p→q的逻辑关系② p→q的真值③ p→q的灵活的叙述⽅法2. 写真值表要特别仔细认真，否则会出错误。
3. 深刻理解各联结词的逻辑含义。
4. 熟练地将复合命题符号化。
6. 会⽤真值表求公式的成真赋值和成假赋值。
1.1 命题与联结词 (2)⼀、命题的概念 (2)⼆、复合命题与联结词 (2)三、复合命题真假值 (5)1.2 命题公式及其赋值 (6)⼀、命题公式的定义 (6)⼆、公式的层次 (6)三、公式的赋值 (6)四、真值表 (7)五、公式的真假值分类 (8)1.1 命题与联结词⼀、命题的概念引⾔中的例⼦就是要对“我戴的是⿊帽⼦”进⾏判断。
这样的陈述句称为命题。
作为命题的陈述句所表达的判断结果称为命题的真值，真值只取两个值：真或假。
真值为真的命题称为真命题，真值为假的命题称为假命题。
真命题表达的判断正确，假命题表达的判断错误。
任何命题的真值都是唯⼀的。
判断给定句⼦是否为命题，应该分两步：⾸先判定它是否为陈述句，其次判断它是否有唯⼀的真值。
例1.1 判断下列句⼦是否为命题。
(1) 4是素数。
(2) 是⽆理数。
(3) x⼤于y。
(4) ⽉球上有冰。
(5) 2100年元旦是晴天。
(6) π⼤于吗？(7) 请不要吸烟！(8) 这朵花真美丽啊！(9) 我正在说假话。
解:本题的(9)个句⼦中，(6)是疑问句，(7)是祈使句，(8)是感叹句，因⽽这3个句⼦都不是命题。
剩下的6个句⼦都是陈述句，但(3)⽆确定的真值，根据x,y的不同取值情况它可真可假，即⽆唯⼀的真值，因⽽不是命题。
离散数学之1—命题逻辑
28
蕴涵联结词的实例
我将去旅游，仅当我有时间。 p: 我去旅游 q: 我有时间 p→q p: 不下雨 q: 我骑自行车上班 只要不下雨，我就骑自行车上班 p→q 只有不下雨，我才骑自行车上班。 q→p
说谎者悖论 亚里士多德,古希腊人，是世界
古典形式逻辑
如果这个人说的是假话，既 在中世纪，形式逻辑作为一门独 “我没有说谎”，既他说的是 立的科学得到了发展。 真话，矛盾。
第一篇 数理逻辑
6
数理逻辑创始人
德国哲学家和数学家莱布 尼茨是德国最重要的自然 科学家、数学家、物理学 家和哲学家，一个举世罕 见的科学天才，和牛顿同 为微积分的创建人。 莱布尼茨是现在公认的数 理逻辑创始人，他的目的 是建立一种“表意的符号 语言”，其中把一切思维 推理都化归为计算。实际 上这正是数理逻辑的总纲 领。
29
蕴涵联结词的实例
除非你努力，否则你不能成功。 表示p q的常用词： 除非你努力，你才能成功。 p是q的充分条件 p: 你努力 q: 你成功 q是p的必要条件 p → q 或 q → p 如果（若）p，则q p 0 0 1 1 q 0 1 0 1 p 1 1 0 0
只要p，就q q qp pq 只有q 才p 1因为p所以 1 q 1 0p仅当q0 0 才p 1除非q, 1 1 p 0除非q，否则非 1 1
数理逻辑
“事实上，它们（程 序设计）或者就是 数理逻辑，或者是 用计算机语言书写 的数理逻辑，或者 是数理逻辑在计算 机上的应用。”
《离散数学》同步练习参考答案
华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题（1）设：p：派小王去开会。
q：派小李去开会。
则命题：“派小王或小李中的一人去开会”可符号化为：(p∨⌝q) ∧ (⌝p∨q) 。
（2）设A，B都是命题公式，A⇒B，则A→B的真值是T。
（3）设：p：刘平聪明。
q：刘平用功。
在命题逻辑中，命题：“刘平不但不聪明，而且不用功”可符号化为：p∧q。
（4）设A , B 代表任意的命题公式，则蕴涵等值式为A → B⇔⌝A∨B。
（5）设，p：径一事；q：长一智。
在命题逻辑中，命题：“不径一事，不长一智。
”可符号化为：⌝ p→⌝q 。
（6）设A , B 代表任意的命题公式，则德∙摩根律为⌝（A ∧ B）⇔⌝A ∨⌝B）。
（7）设，p：选小王当班长；q：选小李当班长。
则命题：“选小王或小李中的一人当班长。
”可符号化为：(p∨⌝q) ∧ (⌝p∨q) 。
（8）设，P：他聪明；Q：他用功。
在命题逻辑中，命题：“他既聪明又用功。
”可符号化为：P∧Q 。
（9）对于命题公式A，B，当且仅当 A → B 是重言式时，称“A蕴含B”，并记为A⇒B。
（10）设：P：我们划船。
Q：我们跑步。
在命题逻辑中，命题：“我们不能既划船又跑步。
”可符号化为：⌝ (P∧Q) 。
（11）设P , Q是命题公式，德·摩根律为：⌝（P∨Q）⇔⌝P∧⌝Q）。
（12）设P：你努力。
Q：你失败。
在命题逻辑中，命题：“除非你努力，否则你将失败。
”可符号化为：⌝P→Q。
（13）设p：小王是100米赛跑冠军。
q：小王是400米赛跑冠军。
在命题逻辑中，命题：“小王是100米或400米赛跑冠军。
”可符号化为：p∨q。
（14）设A，C为两个命题公式，当且仅当A→C为一重言式时，称C可由A逻辑地推出。
二．判断题1.设A，B是命题公式，则蕴涵等值式为A→B⇔⌝A∧B。
（⨯）2.命题公式⌝p∧q∧⌝r是析取范式。
（√）3.陈述句“x + y > 5”是命题。
离散数学命题逻辑 第一章(1)
我现在年纪大了，搞了这么多年软件，错误 不知犯了多少，现在觉悟了。我想，假如我早在 数理逻辑上好好下点功夫的话，我就不会犯这么 多错误。不少东西逻辑学家早就说过了，可是我 不知道。要是我能年轻20岁的话，我就会回去学 逻辑。
E.W.Dijkstra
先看著名物理学家爱因斯坦出过的一道题： 一个土耳其商人想找一个十分聪明的助手协助他经商，有两人 前来应聘，这个商人为了试试哪个更聪明些，就把两个人带进一间 漆黑的屋子里，他打开灯后说：“这张桌子上有五顶帽子，两顶是 红色的，三顶是黑色的，现在，我把灯关掉，而且把帽子摆的位置 弄乱，然后我们三个人每人摸一顶帽子戴在自己头上，在我开灯后， 请你们尽快说出自己头上戴的帽子是什么颜色的。”说完后，商人 将电灯关掉，然后三人都摸了一顶帽子戴在头上，同时商人将余下 的两顶帽子藏了起来，接着把灯打开。这时，那两个应试者看到商 人头上戴的是一顶红帽子，其中一个人便喊道：“我戴的是黑帽 子。” 请问这个人说得对吗？他是怎么推导出来的呢？
Page 13
2、命题满足的条件
命题的语句形式：陈述句 非命题语句：疑问句、命令句、感叹句、非命题陈述句 (悖论语句) 命题所表述的内容可决定是真还是假，不能不真又不假， 也不能又真又假。
Page 14
3、举例
• • • • • • • • • 北京是中国的首都。 土星上有生物。 ３＋２≥9。 1+101=110 请关门！ 你要出去吗？ 如果天气好，那么我去散步。 x＝ 2。 我正在撒谎。
Page 9
第一章 命题逻辑
研究以命题为基本单位构成的前提和结论之间的 可推导关系。
Page 10
第一章 命题逻辑
1
命题及其表示方法 联结词
离散数学作业
第一章 命题逻辑的基本概念一、单项选择题1．下列语句中不是命题的有（ ）.A 9+5≤12 B. 1+3=5 C. 我用的电脑CPU 主频是1G 吗D.我要努力学习。
2. 下列语句是真命题为( )．A. 1+2=5当且仅当2是偶数B. 如果1+2=3，则2是奇数C. 如果1+2=5，则2是奇数D. 你上网了吗3. 设命题公式)(r q p∧→⌝,则使公式取真值为1的p ，q ，r 赋值分别是( ) 0,0,1)D (0,1,0)C (1,0,0)B (0,0,0)A ( 4. 命题公式q q p →∨)(为 ( )(A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式5. 设p:我将去市里,q ：我有时间．命题“我将去市里，仅当我有时间时”符号化为为( )q p q p q p p q ⌝∨⌝↔→→)D ()C ()B ()A (6．设P ：我听课,Q ：我看小说. “我不能一边听课，一边看小说”的符号为（ ）A. Q P ⌝→ ；B. Q P →⌝；C. P Q ⌝∧⌝ ；D. )(Q P ∧⌝二、判断下列语句是否是命题，若是命题是复合命题则请将其符号化（1）中国有四大发明。
（2）2是有理数。
（3）“请进！”（4）刘红和魏新是同学。
（5）a+b（6）如果买不到飞机票，我哪儿也不去。
（8）侈而惰者贫，而力而俭者富。
（韩非：《韩非子显学》）（9）火星上有生命。
（10）这朵玫瑰花多美丽啊！二、将下列命题符号化，其中p:2<1,q:3<2（1）只要2<1，就有3<2。
（2）如果2<1，则32。
（3）只有2<1，才有32。
（4）除非2<1，才有32。
（5）除非2<1，否则32。
（6）2<1仅当3<2。
三、将下列命题符号化(1)小丽只能从筐里拿一个苹果或一个梨。
(2)王栋生于1992年或1993年。
四、设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。
离散数学课后习题答案
第一章命题逻辑基本概念课后练习题答案1.将下列命题符号化，并指出真值：（1）p∧q,其中，p:2是素数，q:5是素数,真值为1；（2）p∧q,其中，p:是无理数，q:自然对数的底e是无理数,真值为1；（3）p∧┐q,其中，p:2是最小的素数，q:2是最小的自然数,真值为1；（4）p∧q,其中，p:3是素数，q:3是偶数,真值为0；（5）┐p∧┐q,其中，p:4是素数，q:4是偶数,真值为0.2.将下列命题符号化，并指出真值：（1）p∨q,其中，p:2是偶数，q:3是偶数,真值为1；（2）p∨q,其中，p:2是偶数，q:4是偶数,真值为1；（3）p∨┐q,其中，p:3是偶数，q:4是偶数,真值为0；（4）p∨q,其中，p:3是偶数，q:4是偶数,真值为1；（5）┐p∨┐q,其中，p:3是偶数，q:4是偶数,真值为0；3.（1）(┐p∧q)∨(p∧┐q),其中，小丽从筐里拿一个苹果，q：小丽从筐里拿一个梨；（2）(p∧┐q)∨(┐p∧q),其中，p：刘晓月选学英语，q：刘晓月选学日语；.4.因为p与q不能同时为真.5.设p:今天是星期一，q:明天是星期二，r:明天是星期三：（1）p→q，真值为1（不会出现前件为真，后件为假的情况）；（2）q→p，真值为1（也不会出现前件为真，后件为假的情况）；（3）p q，真值为1；（4）p→r，若p为真，则p→r真值为0，否则，p→r真值为1.返回第二章命题逻辑等值演算本章自测答案5.(1)：∨∨,成真赋值为00、10、11；(2)：0，矛盾式，无成真赋值；(3)：∨∨∨∨∨∨∨,重言式，000、001、010、011、100、101、110、111全部为成真赋值；7.(1)：∨∨∨∨⇔∧∧；(2)：∨∨∨⇔∧∧∧；8.(1)：1⇔∨∨∨,重言式；(2)：∨⇔∨∨∨∨∨∨；(3)：∧∧∧∧∧∧∧⇔0，矛盾式.11.(1)：∨∨⇔∧∧∧∧；(2)：∨∨∨∨∨∨∨⇔1；(3)：0⇔∧∧∧.12.A⇔∧∧∧∧⇔∨∨.第三章命题逻辑的推理理论本章自测答案6.在解本题时，应首先将简单陈述语句符号化，然后写出推理的形式结构*，其次就是判断*是否为重言式，若*是重言式，推理就正确，否则推理就不正确，这里不考虑简单语句之间的内在联系(1)、(3)、(6)推理正确，其余的均不正确，下面以(1)、(2)为例，证明(1)推理正确，(2)推理不正确(1)设p:今天是星期一，q:明天是星期三，推理的形式结构为(p→q)∧p→q(记作*1)在本推理中，从p与q的内在联系可以知道，p与q的内在联系可以知道，p与q不可能同时为真，但在证明时，不考虑这一点，而只考虑*1是否为重言式.可以用多种方法（如真值法、等值演算法、主析取式）证明*1为重言式，特别是，不难看出，当取A为p,B为q时，*1为假言推理定律，即(p→q)∧p→q ⇒ q(2)设p:今天是星期一，q:明天是星期三，推理的形式结构为(p→q)∧p→q(记作*2)可以用多种方法证明*2不是重言式，比如，等值演算法、主析取范式（主和取范式法也可以）等(p→q)∧q→p⇔(┐p∨q) ∧q →p⇔q →p⇔┐p∨┐q⇔⇔∨∨从而可知，*2不是重言式，故推理不正确，注意，虽然这里的p与q同时为真或同时为假，但不考虑内在联系时，*2不是重言式，就认为推理不正确.9.设p:a是奇数，q:a能被2整除，r:a：是偶数推理的形式结构为(p→q┐)∧(r→q)→(r→┐p) (记为*)可以用多种方法证明*为重言式，下面用等值演算法证明：(p→┐q)∧(r→q)→(r→┐p)⇔(┐p∨┐q) ∨(q∨┐r)→(┐q∨┐r) (使用了交换律)⇔(p∨q)∨(┐p∧r)∨┐q∨┐r⇔(┐p∨q)∨(┐q∧┐r)⇔┐p∨(q∨┐q)∧┐r⇔110.设p:a,b两数之积为负数，q:a,b两数种恰有一个负数，r：a，b都是负数.推理的形式结构为(p→q)∧┐p→(┐q∧┐r)⇔(┐p∨q) ∧┐p→(┐q∧┐r)⇔┐p→(┐q∧┐r) (使用了吸收律)⇔p∨(┐q∧┐r)⇔∨∨∨由于主析取范式中只含有5个W极小项，故推理不正确.11.略14.证明的命题序列可不惟一，下面对每一小题各给出一个证明① p→(q→r)前提引入② P前提引入③ q→r①②假言推理④ q前提引入⑤ r③④假言推理⑥ r∨s前提引入（2）证明：① ┐(p∧r)前提引入② ┐q∨┐r①置换③ r前提引入④ ┐q ②③析取三段论⑤ p→q前提引入⑥ ┐p④⑤拒取式（3）证明：① p→q前提引入② ┐q∨q①置换③ (┐p∨q)∧(┐p∨p) ②置换④ ┐p∨(q∧p③置换⑤ p→(p∨q) ④置换15.(1)证明：① S结论否定引入② S→P前提引入③ P①②假言推理④ P→(q→r)前提引入⑤ q→r③④假言推论⑥ q前提引入⑦ r⑤⑥假言推理（2）证明：① p附加前提引入② p∨q①附加③ (p∨q)→(r∧s)前提引入④ r∧s②③假言推理⑤ s④化简⑥ s∨t⑤附加⑦ (s∨t)→u前提引入⑧ u⑥⑦拒取式16.(1)证明：① p结论否定引入② p→ ┐q前提引入③ ┐q ①②假言推理④ ┐r∨q前提引入⑤ ┐r③④析取三段论⑥ r∧┐s前提引入⑦ r⑥化简⑧ ┐r∧r⑤⑦合取（2）证明：① ┐(r∨s)结论否定引入② ┐r∨┐s①置换③ ┐r②化简④ ┐s②化简⑤ p→r前提引入⑥ ┐p③⑤拒取式⑦ q→s前提引入⑧ ┐q④⑦拒取式⑨ ┐p∧┐q⑥⑧合取⑩ ┐(p∨q)⑨置换口p∨q前提引入⑾①口┐(p∨q) ∧(p∨q) ⑩口合取17．设p：A到过受害者房间，q: A在11点以前离开，r：A犯谋杀罪，s：看门人看见过A。
离散数学1命题逻辑
第1章
例7
例7、将下列命题符号化，并讨论他们的真值。 (1)如果3＋3＝6，则雪是黑色的； (2)只有a(正整数)能被2整除，a才能被4整除； (1)设：p：3＋3＝6，q：雪是黑色的 原语句符号化为：p→q 真值为0 (2)设p：a(正整数)能被2整除，q：a能被4整除 原语句符号化为：q →p 真值为1
离散数学 第一篇数理逻辑
蔡广军
第1章
数理逻辑简介(1)
数理逻辑(Mathematical Logic) 用数学方法(主要是建立符号体系的方法)来 研究推理形式结构和推理规律的数学学科 。 通过引入一套符号体系来研究推理规律的 学科，故又称之为符号逻辑(Symbolic Logic)
第1章
例题5
例5、p：2＋2＝4 q：3是奇数 (1) 2+2=4当且仅当3是奇数。p↔q (2) 2+2=4当且仅当3不是奇数。p↔┐q (3) 2+2≠4当且仅当3是奇数。┐p↔q (4) 2+2≠4当且仅当3不是奇数。┐p↔┐q
第1章
数理逻辑联结词与自然语言联结词
6、逻辑联结词与自然语言中联结词的关系 否定——不是、没有、非、不 合取——并且、同时、和、既…又…,不但… 而且…，虽然…但是… 析取——或者、或许、可能 蕴含——若…则…，假如…那么…，既然…那就 倘若…就… 等价——当且仅当、充分必要、相同、一样
要回答这样的问题，实际上就是看由一些 诸如“商人戴的是红帽子”这样的前提能否推 出“猜出答案的应试者戴的是黑帽子”这样的 结论来。这又需要经历如下过程： (1) 什么是前提？有哪些前提？ (2) 结论是什么？ (3) 根据什么进行推理？ (4)怎么进行推理？
第1章
第一章命题逻辑
离散数学 命题逻辑 习题 课后题
第一章命题逻辑测验一、判断命题（每题1分，共5分）判断下列语句是不是命题。
若是，给出命题的真值。
1、北京是中华人民共和国的首都。
2、陕西师大是一座工厂。
3、你喜欢唱歌吗？4、若7+8＞18，则三角形有4条边。
5、给我一杯水吧！二、命题符号化（每题2分，共8分）设P：我生病，Q：我去学校1、只有在生病时，我才不去学校2、若我生病，则我不去学校3、当且仅当我生病时，我才不去学校4、若我不生病，则我一定去学校三、蕴含式（12+15=27分）1、命题定律（每个4分，共计12分）吸收律、德摩根律、分配律2、要求：不使用真值表，使用蕴含的定义以及等价变换两种方法进行证明。
（15分）→Q→P→→→R⇒(())P)(RQP四、主析取范式/主合取范式（每题15分，共30分）求下列的主析取范式和主合取范式，要求第1题使用大项和小项的关系进行求解，第2题要求直接求主析取范式和主合取范式。
1、(P∧R)∨(Q∧R)∨⌝P2、(⌝P→Q)∧(R∨P)五、推理规则进行证明（每题10分，共30分）1、S⌝→∨(（直接证法）⇒→,),QRPRQSP→2、S⌝∨→⇒),→,(（用CP）RQRP→PSQ3、(P→Q)∧(R→S)，(Q→W)∧(S→X)，⌝(W∧X)，P→R => ⌝P（反证法）。
离散数学及算法课后习题作业答案
离散数学及算法（曹晓东，原旭版） 课后作业题答案第一章 命题逻辑1．第7页第3题（1）解：逆命题：如果我去公园，则天不下雨；反命题：如果天下雨，则我不去公园；逆反命题：如果我不去公园，则天下雨了。
（2）解：（此题注意：P 仅当Q 翻译成P Q →）逆命题：如果你去，那么我逗留。
反命题：如果我不逗留，那么你没去。
逆反命题：如果你没去，那么我不逗留。
（3）解：逆命题：如果方程n n n x y z +=无整数解，那么n 是大于2的正整数。
反命题：如果n 不是大于2的正整数，那么方程n n n xy z +=有整数解。
逆反命题：如果方程n n n x y z +=有整数解，那么n 不是大于2的正整数。
（4）解：逆命题：如果我不完成任务，那么我不获得更多的帮助。
反命题：如果我获得了更多的帮助，那么我能完成任务。
逆反命题：如果我能完成任务，那么我获得了更多的帮助。
2．第15页第1题（4）解：(())P Q P T ⌝⌝∨→⌝↔()()P Q P Q ⌝∧↔⌝∨⌝()()P Q P Q ⇔⌝∨⌝↔⌝∨⌝ （重言式）（9）解：P P Q F Q T ∧⌝→⇔→⇔（重言式）（10）解：P Q Q T Q Q ∨⌝→⇔→⇔（可满足式）3．第16页第5题（2）证明：(())P Q P ⌝⌝∨→⌝(())()P Q P P Q PP Q PP P QF QF ⇔⌝∨∨⌝⇔⌝∨∧⇔⌝∧⌝∧⇔⌝∧∧⌝⇔∧⌝⇔因此，(())P Q P F ⌝⌝∨→⌝↔，得证。
（4）证明：()()P P P P →⌝∧⌝→()()P P P P P P F⇔⌝∨⌝∧∨⇔⌝∧⇔因此，()()P P P P F →⌝∧⌝→↔，得证。
4．第16页第6题（1）P Q P Q ∧⇒→证明：设P Q ∧为真，那么P 为真，并且Q 为真，因此P Q →为真。
所以P Q P Q ∧⇒→。
（2）()()()P Q R P Q P R →→⇒→→→证明：设()()P Q P R →→→为假，于是P Q →为真，P R →为假。
离散数学第一章 命题逻辑
1.2 联结词
1、否定 ┐
Proposition Logic 命题逻辑
┐P是P的否定，读作“非P”， “ P的否定” 。
p
p
1
0
0
1
如： P:成都是中国的首都。 ┐P：成都不是中国的首都。 否定与汉语中的“非”、“不是”、“否定”是一致 的。
从真值表可知P∨Q为真, 当且仅当P或Q至少有一为真。
10/27/2018 9:27 AM chapter1 11
1.2 联结词
Proposition Logic 命题逻辑
“或”字常见的含义有两种: 一种是“可兼或”, 如上
例中的或, 它不排除小王既喜欢唱歌又喜欢跳舞这种情况。
一种是“排斥或”（异或）, 例如“人固有一死, 或重于泰 山, 或轻于鸿毛”中的“或”, 它表示非此即彼, 不可兼得。 运算符∨表示可兼或, 排斥或以后用另一符号表达。 如：(1)小李明天出差去上海或去广州。
P 0 0 1 1 Q 0 1 0 1 P→Q 1 1 0 1
如： P:雪是黑的。 Q:太阳从东方升起 。 P → Q:如果雪是黑的，则太阳从东方升起 。 命题P→Q是假, 当且仅当P是真而Q是假。
10/27/2018 9:27 AM chapter1 13
1.2 联结词
Proposition Logic 命题逻辑
10/27/2018 9:27 AM chapter1 9
1.2 联结词
2、合取 ∧
Proposition Logic 命题逻辑
P∧Q是P和Q的合取, 读做“P与Q”或“P并且Q”。
P Q P ∧Q
0 0 1 1
0 1 0 1
离散数学_第_1_章习题解答
第一章 命题逻辑 习题与解答1. 判断下列语句是否为命题，并讨论命题的真值。
(1) 32−x 。
(2) 前进！(3) 如果2078>+，则三角形有四条边。
(4) 请勿吸烟！(5) 你喜欢鲁迅的作品吗？(6) 如果太阳从西方升起，你就可以长生不老。
(7) 如果太阳从东方升起，你就可以长生不老。
解 (3), (6), (7) 表达命题，其中 (3), (6) 表达真命题，(7) 表达假命题。
2. 将下列命题符号化：(1) 逻辑不是枯燥无味的。
(2) 我看见的既不是小张也不是老李。
(3) 他生于1963年或1964年。
(4) 只有不怕困难，才能战胜困难。
(5) 只要上街，我就去书店。
(6) 如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐。
(7) 如果林芳在家里，那么他不是在做作业就是在看电视。
(8) 三角形三条边相等是三个角相等的充分条件。
(9) 我进城的必要条件是我有时间。
(10) 他唱歌的充分必要条件是心情愉快。
(11) 小王总是在图书馆看书，除非他病了或者图书馆不开门。
解(1) 逻辑是枯燥无味的。
:p“逻辑不是枯燥无味的”符号化为p ¬。
(2) 我看见的是小张:p我看见的是老李:q“我看见的既不是小张也不是老李”符号化为q p ¬∧¬。
(3) 年他生于 1963 :p年他生于 1964 :q“他生于1963年或1964年”符号化为q p ⊕。
(4) 害怕困难:p战胜困难:q“只有不怕困难，才能战胜困难”符号化为p q ¬→。
(5) 我上街:p我去书店:q“只要上街，我就去书店”符号化为q p →。
(6) 小杨晚上做完了作业:p小杨晚上没有其它事情:q小杨晚上看电视:r小杨晚上听音乐:s“如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐”符号化为s r q p ∨→∧。
(7) 林芳在家里:p林芳在做作业:q林芳在看电视:r“如果林芳在家里，那么他不是在做作业就是在看电视”符号化为r q p ∨→。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
A m0 m1 m5 m7 (0,1,5,7) ， 则 A 的主析取范式中含有的极小项个数为 23-4=4，且分别为m2 ，
m3 ， m4 ， m6 ，即，
A m2 m3 m4 m6 (2,3,4,6) ，
于是，A 的主合取范式为：
0
0
0
0
0
0
1
0
1
0
1
0
0
0
0
1
1
0
1
1
0
0
0
0
1
0
1
0
1
1
1
0
1
1
1
1
1
1
1
由表 1-7 可知，001、011、101、110、111 是原公式的成真赋值， 因而，对应的原公式的主析取范式中所含的全部极小项为：m1 、m3 、m5 、
m6 、 m7 ，则 pqr m1 m3 m5 m6 m7 (1,3,5,6,7)
例如：由已知的等值公式： (p∧q)∨(p∨(p∨q)) p∨q, 我们可以得到一个新的等值公式：(p∨q)∧(p∧(p∧q)) p∧q.
补6.充最知后识说二明两：点由： 主析取范式求解主合取范式
要掌握由公式 A 的主析取范式确定它的主合取范式，反之亦然.
设命题公式 A 中含有 n 个命题变项，且设 A 的主析取范式中含 有 k 个极小项，记为 mi1 mi2 , mik ，即 A mi1 mi2 mik ，则 A
2. 定理 1.5.1： 设 A 和 A*互为对偶式，p1,p2,…,pn 是出现在 A 和 A*中的 全部命题变项，将 A 和 A*写成 n 元函数形式，则，
(1) A(p1,p2,…,pn) A* ( p1, p2,…, pn) (2) A( p1, p2,…, pn) A* (p1,p2,…,pn) 例如：A 为 p∨q，则 A*为 p∧q，于是由（1）可得：(p∨q) p∧q， 类似地，由（2）可得：p∨q (p∧q)，这就是 De Morgan 律。 3. 定理 1.5.2（对偶原理）： 设 A，B 为两个命题公式，若 A B，则 A* B*. [注]：如果证明了一个等值公式，则其对偶式的等值式同时也成立。这样， 通过对偶原理，可以由有限个等值公式推出更多个其它的等值公式，起到 事半功倍的效果。
A 的对偶式，记为 A*.
[注]：从定义不难看出，(A*)* 还原成 A，即对偶是相互的。
例 1.5.1：试写出下列命题公式的对偶式1）A：(p∧q)∨r，
A*： (p∨q)∧r
2）A：(p∧q)∨(p∧ (q∨s))， A*： (p∨q) ∧(p∨ (q∧s))
3）A：((p∨q)∧0)∧(1∧ (r∨p))，A*： ((p∧q)∨1)∨(0∨ (r∧p))
主析取范式法等） 牢记 P 系统中各条推理规则（内容与名称） 会用附加前提证明法及归谬法
补充知识一： 对偶式与对偶原理
一、 对偶式和对偶原理
1. 定义 1.5.1：在仅含有联结词 , ∧,∨的命题公式 A 中，将∨换成∧, ∧
换成∨，若 A 中含有 0 或 1，就将 0 换成 1，1 换成 0，所得命题公式称为
5.内容三 推理的形式结构的不同形式 判断推理是否正确的不同方法 ①真值表法 ②等值演算法 ③主析取范式法 ④构造证明法 …
在自然推理系统 P 中构造证明
6.内容三学习要求 理解并记住推理形式结构的如下形式： ① (A1A2…Ak)B ② 前提：A1, A2, … , Ak 结论：B 熟练掌握判断推理是否正确的不同方法（如真值表法、等值演算法、
习题课一
——第1章 命题逻辑
1
习题课一：命题逻辑
一、 内容与要求 1． 内容一 命题、真值、命题的分类、命题符号化 联结词, , , , 及复合命题符号化 命题公式及层次 公式的类型 真值表及应用 2． 内容一学习要求 深刻理解各联结词的逻辑关系 会求复合命题的真值 熟练地将复合命题符号化 准确地求公式的真值表，并用它求公式成真与成假赋 值及判断公式类型
假）的赋值及其对应的公式 A 的主析取范式（主合取范式）中所含 有的全部极小项（极大项），从而可立即写出公式 A 的主析取范式
（主合取范式）。
例 1.5.7 试由 pqr 的真值表求它的主析取范式（主合取范式）
解：写出 pqr 的真值表如下表 1-7：
表 1-7：pqr 的真值表
p
q
r
pq
pqr
0
m j2nk
。于是，利用极小项
mi 与极大项 Mi 之间的关系：mi Mi, Mi mi，可得：
A A ( mj1 mj2 mj2nk ) mj1 mj2 mj2nk M j1 M j2 M j2nk
这就是 A 的主合取范式。
例如，若命题公式 A 中含有 3 个命题变项，且 A 的主析取范
3.内容二 等值式与等值演算 基本的等值式（16 组，24 个公式） 联结词全功能集（完备集） 主析取范式与主合取范式
4.内容二学习要求 深刻理解等值式的概念； 牢记基本等值式的名称及它们的内容； 了解简单析取式、简单合取式、析取范式、合取范式的概念； 深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值 的关系，并理解简单析取式与极小项的关系； 熟练掌握求主范式的方法（等值演算、真值表等）； 会用公式的主范式求公式的成真、成假赋值及判断公式的类型、简 单应用； 会将任何公式化成任何联结词全功能集（完备集）中的公式。
A M2 M3 M4 M6 (2,3,4,6) 由此可见，只要我们熟练地掌握了求命题公式 A 的主析取范式 的方法，就可以很快写出 A 的主合取范式，反之亦然。另外，主合
取范式的用途与主析取范式的用途相同（见前面分析）。
要掌握用公式 A 的真值表求 A 的主范式 若已知公式 A 的真值表，则可从中找出所有使公式 A 成真（成
的主析取范式中必含有 2n-k 个极小项（注意，这 2n-k 个极小项实际
上是含有 n 个命题变项构成的所有极小项中除去 A 的主析取范式中
含 有 的 k 个 极 小 项 mi1 mi2 , mik 后 剩 余 的 其 他 极 小 项 ）， 记 为
m j1
, m mj2
j2n k
，即
A mj1
m j2