华南理工《离散数学》命题逻辑练习题(含答案)
《离散数学》同步练习答案
华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题（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.1命题与联结词一、单项选择题1、A .明年“五一”是晴天 B .这朵花多好看呀!C.这个男孩真勇敢啊! D .明天下午有会吗?在上面句子中，是命题的是2. A . 1 + 101 = 110 •中国人民是伟大的。
C.这朵花多好看呀! 计算机机房有空位吗? 在上面句子中，是命题的是3. A .如果天气好，那么我去散步。
B •天气多好呀!C.x=3。
•明天下午有会吗?在上面句子中（）是命题下面的命题不是简单命题的是4.A. 3是素数或4是素数）.2018年元旦下大雪C. 刘宏与魏新是同学•圆的面积等于半径的平方与之积5. 下面的表述与众不一致的一个是A. P :广州是一个大城市（）.P:广州是一个不大的城市C.6 .设，P:他聪明；Q:他用功。
在命题逻辑中，命题：“他既聪明又用功。
”可符号化为：（）A. P Q B . P QC. P Q D . P Q7.设：P :刘平聪明。
Q刘平用功。
在命题逻辑中，命题：“刘平不但聪明，而且用功”可符号化为：（）A. P Q B . P QC. P Q D . P Q&设：P:他聪明；Q:他用功。
则命题“他虽聪明但不用功。
”在命题逻辑中可符号化为()A. P Q B . P QC. P Q D . P Q9 .设：P:我们划船。
Q：我们跑步。
在命题逻辑中，命题：“我们不能既划船又跑步。
”可符号化为：（）A. P Q B . (P QC. P Q D . P Q10 .设: P：王强身体很好；Q:王强成绩很好。
命题“王强身体很好化为（)A. P Q B . P QC. P Q D . P QP :广州是一个很不小的城市D. P:广州不是一个大城市11 .设：P：你努力；Q你失败。
则命题“除非你努力，否则你将失败，成绩也很好。
”在命题逻辑中可符号在命题逻辑中可符号化为（）A. Q P B . P QC. P Q D . Q P12 .设：p：派小王去开会。
华理离散数学试题及答案
华理离散数学试题及答案一、单项选择题（每题2分，共10分）1. 在离散数学中，以下哪个概念是用来描述两个集合之间元素的对应关系的？A. 函数B. 映射C. 序列D. 集合答案：A2. 命题逻辑中，以下哪个符号表示逻辑“与”？A. ∧B. ∨C. →D. ¬答案：A3. 集合{1, 2, 3}和{3, 4, 5}的交集是什么？A. {1, 2}B. {3, 4}C. {3}D. {1, 2, 3, 4, 5}答案：C4. 以下哪个图是无向图？A. 有向图B. 无向图C. 完全图D. 部分图答案：B5. 在图论中，一个图的度是指什么？A. 顶点的数量B. 边的数量C. 顶点的度数D. 图的连通性答案：C二、填空题（每题2分，共10分）1. 在集合论中，空集用符号____表示。
答案：∅2. 如果A和B是两个集合，那么A和B的并集用符号____表示。
答案：A∪B3. 逻辑运算中的否定运算符用符号____表示。
答案：¬4. 在图论中，如果一个图的任意两个顶点都可以通过路径相连，则称这个图为____图。
答案：连通5. 一个有n个顶点的完全图，其边的数量为____。
答案：\(\frac{n(n-1)}{2}\)三、简答题（每题5分，共20分）1. 请解释什么是二元关系，并给出一个例子。
答案：二元关系是集合A和集合B之间的一种对应关系，它由有序对(a, b)组成，其中a属于A，b属于B。
例如，如果A是人名集合，B是年龄集合，那么“小于”就是一个二元关系。
2. 什么是归纳推理？请给出一个简单的例子。
答案：归纳推理是一种从特殊到一般的推理方法，它通过观察一系列具体实例来推断出一个普遍的结论。
例如，观察到太阳每天从东方升起，我们归纳出“太阳每天都会从东方升起”。
3. 什么是图的生成树？请简述其特点。
答案：图的生成树是包含图中所有顶点的子图，并且是一个树。
它的特点是没有环，并且任意两个顶点之间有且仅有一条路径。
华南理工网络教育学院离散数学试题A
华南理工网络教育学院离散数学试题A一、选择题1、在下列命题中，不是命题的是（）A.这是一个苹果B.今天是星期一C.苏州在南京的南边D.明天会下雨吗？E.所有猫都是动物2、下列命题中，真命题是（）A.如果a>b，那么ac>bcB.如果a>b，c>d，那么a+c>b+dC.如果a>b>0，c>d>0，那么ac>bdD.如果a>b>0，那么对任意实数c，ac>bc3、下列命题中，假命题是（）A.如果一个命题的逆命题是真命题，那么这个命题是假命题B.如果一个命题的否命题是假命题，那么这个命题是真命题C.如果一个命题的逆否命题是假命题，那么这个命题是假命题D.如果一个命题的否命题是真命题，那么这个命题是真命题二、填空题1、填空题中的空档里，请按照数学表达式的正确格式填写答案。
设A和B是两个集合，用符号表示它们之间的关系，相交关系为 A ∩B，全集为 U，则 A的补集表示为 A'。
2、如果一个命题的逆命题是真命题，那么这个命题是____________。
3、如果一个命题的否命题是假命题，那么这个命题____________。
4、如果一个命题的逆否命题是假命题，那么这个命题是____________。
5、在下列各小题中，选择一个适当的答案填入空格内。
（1）如果a>b>0，那么对任意实数c，ac________bc；（2）如果a>b>0，c>d>0，那么ac________bd；（3）如果a>b>0，那么对任意实数c，ac________bc；（4）如果a>b>0，那么对任意实数c，ac________bc。
答案：（1）> （2）> （3）> （4）<解析：根据不等式的性质进行判断。
6、下列各小题中，选择一个适当的答案填入空格内。
（1）如果a<b<0，那么对任意实数c，ac________bc；（2）如果a<b<0，c<d<0，那么ac________bd；（3）如果a<b<0，那么对任意实数c，ac________bc；（4）如果a<b<0，那么对任意实数c，ac________bc。
(完整版)离散数学题目及答案
数理逻辑习题判断题1．任何命题公式存在惟一的特异析取范式 （ √ ） 2． 公式)(q p p →⌝→是永真式 （ √ ） 3．命题公式p q p →∧)(是永真式 （ √ ） 4．命题公式r q p ∧⌝∧的成真赋值为010 （ × ） 5．))(()(B x A x B x xA →∃=→∀ （ √ ）6．命题“如果1＋2＝3，则雪是黑的”是真命题 （ × ） 7．p q p p =∧∨)( （ √ ）8．))()((x G x F x →∀是永真式 （ × ） 9．“我正在撒谎”是命题 （ × ） 10． )()(x xG x xF ∃→∀是永真式（ √ ）11．命题“如果1＋2＝0，则雪是黑的”是假命题 （ × ） 12．p q p p =∨∧)( （ √ ）13．))()((x G x F x →∀是永假式 （ × ）14．每个命题公式都有唯一的特异（主）合取范式 （ √ ） 15．若雪是黑色的:p ，则q →p 公式是永真式 （ √ ） 16．每个逻辑公式都有唯一的前束范式 （ × ） 17．q →p 公式的特异（主）析取式为q p ∨⌝ （ × ） 18．命题公式 )(r q p →∨⌝的成假赋值是110 （ √ ） 19．一阶逻辑公式)),()((y x G x F x →∀是闭式（ × ）单项选择题1． 下述不是命题的是（ A ）A．花儿真美啊! B．明天是阴天。
C．2是偶数。
D．铅球是方的。
2．谓词公式（∀y）（∀x）（P（x）→R（x,y））∧∃yQ（x,y）中变元y （B）A．是自由变元但不是约束变元B．是约束变元但不是自由变元C．既是自由变元又是约束变元D．既不是自由变元又不是约束变元3．下列命题公式为重言式的是（ A ）A．p→ （p∨q）B．（p∨┐p）→qC．q∧┐q D．p→┐q4．下列语句中不是．．命题的只有（A ）A．花儿为什么这样红？B．2+2=0C．飞碟来自地球外的星球。
《离散数学》练习题和参考答案
《离散数学》练习题和参考答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P 答：（1），（4）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q) 答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P 答：（2），（3），（4），（5），（6）4、公式∀x((A(x)→B(y，x))∧∃z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。
答：x,y, x,z5、判断下列语句是不是命题。
若是，给出命题的真值。
( )北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。
(5) 前进！ (6) 给我一杯水吧！答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。
答：所有人都不是大学生，有些人不会死7、设P：我生病，Q：我去学校，则下列命题可符号化为( )。
(1) 只有在生病时，我才不去学校 (2) 若我生病，则我不去学校(3) 当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校答：（1）PQ→⌝（2）QP⌝→（3）QP⌝↔（4）QP→⌝8、设个体域为整数集，则下列公式的意义是( )。
(1) ∀x∃y(x+y=0) (2) ∃y∀x(x+y=0)答：（1）对任一整数x存在整数 y满足x+y=0（2）存在整数y对任一整数x满足x+y=09、设全体域D是正整数集合，确定下列命题的真值：(1) ∀x∃y (xy=y) ( ) (2) ∃x∀y(x+y=y) ( )(3) ∃x∀y(x+y=x) ( ) (4) ∀x∃y(y=2x) ( )答：（1） F （2） F （3）F （4）T10、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答：（1）11、命题“2是偶数或-3是负数”的否定是（）。
命题逻辑练习题
《离散数学》命题逻辑部分练习题一、选择题1．下列句子中，（ ）是命题。
A ．2是常数。
B ．这朵花多好看呀！C ．请把门关上！D ．下午有会吗？2．令p : 今天下雪了，q :路滑，r :他迟到了。
则命题“下雪路滑，他迟到了” 可符号化为（ ）。
A. p q r ∧→ B. p q r ∨→ C. p q r ∧∧ D. p q r ∨↔3．令:p 今天下雪了，:q 路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（ ）。
A. p q ∧⌝ B. p q ∧ C. p q ∨⌝D. p q →⌝4．设()P x :x 是鸟，()Q x :x 会飞，命题“有的鸟不会飞”可符号化为（ ）。
A. ()(()())x P x Q x ⌝∀→B. ()(()x P x ⌝∀∧())Q xC. ()(()())x P x Q x ⌝∃→D. ()(()x P x ⌝∃∧())Q x 5.设()F x :x 是人，()G x :x 犯错误，命题“没有不犯错误的人”符号化为（ ）。
A ．(()())x F x G x ∀∧B ． (()())x F x G x ⌝∃→⌝C ．(()())x F x G x ⌝∃∧D ． (()())x F x G x ⌝∃∧⌝ 6.下列命题公式不是永真式的是（ ）。
A. ()p q p →→B. ()p q p →→C. ()p q p ⌝∨→D. ()p q p →∨ 7．下列式子为矛盾式的是（ ）。
A ．()p p q ∨∧B ．p p ∨⌝C ．p p ∧⌝D ． ()p q p q ⌝∨⇔⌝∧⌝ 8．命题：“所有马都比某些牛跑得快” 的符号化公式为( )。
假设：H(x )：x 是马；C(x )：x 是牛；F(x,y )：x 跑得比y 快。
A. ()(()()(()(,)))x H x y C y F x y ∀∧∃∧B. ()(()()(()(,)))x H x y C y F x y ∀→∃→C. ()(()()(()(,)))x H x y C y F x y ∀→∃∧D. ()()(()(()(,)))y x H x C y F x y ∃∀→→二、计算题（仅给出部分题目的解题思路，未给出答案自己完成）1. 已知命题公式()()p q p r ⌝→→∧ （1）构造真值表（2）求出公式的主析取范式（2）()()p q p r ⌝→→∧0157()()()()p q r p q r p q r p q r m m m m ⇔⌝∧⌝∧⌝∨∧∧⌝∨∧⌝∧∨∧∧⇔∨∨∨2.已知命题公式()()p q p r ∨→⌝∨ （1）构造真值表；（2）用等值演算法求公式的主析取范式。
离散数学第1-2章参考答案-命题逻辑谓词逻辑
Page 49 第17题解：（1）令①P：李明学习努力；②Q：李明成绩好；③R：李明不热衷于玩扑克；（2）已知条件符号化，即①P→Q：如果李明学习努力，那么他成绩好；②R→P：如果李明不热衷于玩扑克，那么他就努力学习；（3）所求结论符号化，即①¬Q→¬R：李明成绩不好，所以李明热衷于玩扑克；（4）证明：原命题符号化为P→Q，R→P ¬Q→¬R；①P→Q P规则；②R→P P规则；③R→Q T规则①②；④Q∨¬R T规则③；⑤¬Q→¬R T规则④；（5）得证。
Page 50 第32题（2）解： P∨(¬P→(Q∨(¬Q→R)))；⇔ P∨(P∨(Q∨(Q∨R)))；⇔P∨Q∨R；①主合取范式为：P∨Q∨R；因为 P∨Q∨R ⇔∏M0 ⇔∑m1,2,3,4,5,6,7；②主析取范式为：∨(¬P∧¬Q∧R)∨(¬P∧Q∧¬R)∨(¬P∧Q∧R)∨(P∧¬Q∧¬R)∨(P∧¬Q∧R)∨(P∧Q∧¬R)∨(P∧Q∧R)；Page 50 第32题（4）解： (P∧¬Q∧R)∨(¬P∧Q∧¬S)；⇔ ((P∧¬Q∧R)∧(S∨¬S))∨((¬P∧Q∧¬S)∧(R∨¬R))；⇔(P∧¬Q∧R∧S)∨(P∧¬Q∧R∧¬S)∨(¬P∧Q∧R∧¬S)∨(¬P∧Q∧¬R∧¬S)；①主析取范式为：(¬P∧Q∧¬R∧¬S)∨(¬P∧Q∧R∧¬S)∨(P∧¬Q∧R∧¬S)∨(P∧¬Q∧R∧S) ⇔∑m4,6,10,11⇔∏M0,1,2,3,5,7,8,9,12,13,14,15；②主合取范式为：(¬P∨¬Q∨¬R∨¬S)∧(¬P∨¬Q∨¬R∨S)∧(¬P∨¬Q∨R∨¬S) ∧(¬P∨¬Q∨R∨S)∧(¬P∨Q∨¬R∨S)∧(¬P∨Q∨R∨S)∧(P∨¬Q∨¬R∨¬S) ∧(P∨¬Q∨¬R∨S)∧(P∨Q∨¬R∨¬S)∧(P∨Q∨¬R∨S)∧(P∨Q∨R∨¬S)∧(P∨Q∨R∨S)；Page 50 第32题（6）解： (P→Q)→(P∨R)；⇔¬(¬P∨Q)∨(P∨R)；⇔(P∧¬Q)∨(P∨R)；⇔(P∨R)∧(P∨¬Q∨R)；⇔ ((P∨R)∨(¬Q∧Q))∧(P∨¬Q∨R)；⇔(P∨¬Q∨R)∧(P∨Q∨R)∧(P∨¬Q∨R)；⇔(P∨¬Q∨R)∧(P∨Q∨R)；①主合取范式为：(P∨¬Q∨R)∧(P∨Q∨R)；⇔∏M0,2；⇔∑m1,3,4,5,6,7；①主合取范式为：(¬P∨¬Q∨R)∧(¬P∨Q∨R)∧(P∨¬Q∨¬R)∧(P∨¬Q∨R)∧(P∨Q∨¬R)∧(P∨Q∨R)；Page 51 第37题（2）解： P→Q P→(P∧Q)①P P规则（附加前提）；②P→Q P规则；③Q T规则①，②，I；④P∧Q T规则①，③，I；⑤P→(P∧Q) CP规则；Page 51 第37题（4）解： (P∨Q)→R ⇒ (P∧Q)→R①P∧Q P规则（附加前提）；②P T规则①，I；③P∨Q T规则②，I；④(P∨Q)→R P规则；⑤R T规则③，④，I；⑥(P∧Q)→R CP规则；Page 51 第38题（3）解：﹁(P→Q)→﹁(R∨S),((Q→P)∨﹁R),R ⇒ P↔Q①﹁(P↔Q) P规则（假设前提）；②﹁((P→Q)∧(Q→P)) T规则①，I；③R P规则；④((Q→P)∨﹁R) P规则；⑤R→(Q→P) T规则④，I；⑥(Q→P) T规则③⑤，I；⑦R∨S T规则③，I；⑧﹁(P→Q)→﹁(R∨S) P规则；⑨(R∨S)→(P→Q) T规则⑧，I；⑩(P→Q) T规则⑦⑨，I；⑪(P→Q)∧(Q→P) T规则⑥⑩，I；⑫得证间接证明法②⑪；Page 51 第39题（1）解：（1）符号化已知命题①P：明天是晴天；②Q：明天下雨；③R：我去看电影；④S：我不看书；条件符号化：P∨Q，P→R，R→S；结论符号化：①﹁S→Q（2）证明：P∨Q，P→R，R→S ⇒﹁S→Q①P→R P规则；②R→S P规则；③P→S T规则①②；④﹁S→﹁P T规则③，I；⑤P∨Q P规则；⑥﹁P→Q T规则⑤，I；⑦﹁S→Q T规则④⑥，I；Page 51 第39题（2）解：（1）符号化已知命题①P：明天不下雨；②Q：能够买到车票；③R：我去参观计算机展览会；条件符号化：P∧Q→R；结论符号化：①﹁R→﹁P（2）证明：P∨Q，P→R，R→S ⇒﹁S→Q①P∧Q→R P规则；②﹁R P规则（附加前提）；③﹁(P∧Q) T规则①②；④﹁P∨﹁Q T规则③，I；⑤也就是说或者明天下雨或者买不到票，所以原命题说不能参加计算机展览的原因只是明天下雨是不完全的，故原命题无效。
离散数学命题逻辑习题答案
二年级叙事作文：枪战达人_350字
我们想去后院走走，没想到刚出门就看到后院玩的那些人，他们问我和朋友：“你们和我们玩会儿呗?”我思考了一会，回答：“行啊!走。
”
到达了后院，他站在大石头边宣布：“规则：四人一队，一人两把武器，开始玩吧!”刚开始，我被投票选为队长，随后我下令：“前进，进入掩体，让对方不能发现我们!”因为和我们的掩体最近的只有一棵树，所以我又命令一个人：“在右边观察‘战场’上的一举一动!”
战场上，激战已经非常激烈，可我们一动不动，没有参与。
直到共五队只剩三队时，我大喊：“冲啊!”把其他两个队一举歼灭了。
枪战结束了，我们欢呼：“终于胜利了!”第二名在一边唠叨：“你们不是也损失了两个。
”第三名嘀咕：“你们肯定了。
”
就这样，枪战在我们的欢声笑语中结束了。
离散数学试题答案
离散数学试题答案一、选择题1. 命题逻辑中，若命题P为“今天是周末”，命题Q为“我去野餐”，那么复合命题“今天是周末或我去野餐”在逻辑上的表示为：A. P∨QB. P∧QC. ¬P∨QD. ¬P∧Q答案：A2. 在集合论中，集合A和集合B的并集表示为：A. A - BB. B - AC. A ∪ BD. A ∩ B答案：C3. 有限自动机中，确定一个状态为接受状态的条件是：A. 有从该状态出发的ε-转移B. 所有从该状态出发的转移都能到达另一个接受状态C. 该状态不在任何闭包中D. 该状态在至少一个闭包中答案：D4. 哈希表中，解决冲突的常用方法不包括：A. 开放定址法B. 链地址法C. 再散列法D. 树形查找法答案：D5. 图的邻接矩阵表示法中，若顶点u到顶点v有一条边，则矩阵中的元素M[u][v]为：A. 0B. 1C. -1D. ∞答案：B二、填空题1. 在命题逻辑中，德摩根定律表明了________和________的对偶关系，即(¬(P∧Q))等价于________，而(¬(P∨Q))等价于________。
答案：合取；析取；¬P∨¬Q；¬P∧¬Q2. 集合的幂集是指该集合的所有________的集合，记作P(A)。
答案：子集3. 一个有向图G，若对于任意顶点u和v，都存在从u到v以及从v到u的路径，则称图G是________的。
答案：强连通4. 在图的遍历算法中，深度优先搜索(DFS)使用________数据结构进行遍历，而广度优先搜索(BFS)使用________数据结构进行遍历。
答案：栈；队列5. 哈密顿回路是指在一个图中，通过所有顶点恰好一次且最后回到起点的闭合路径，而欧拉回路是指通过图中每条边恰好一次并且回到起点的闭合路径，若一个图存在欧拉回路，则该图必须是________的。
答案：连通三、简答题1. 请简述命题逻辑中的四种标准形式及其真值表。
离散数学第1-2章参考答案-命题逻辑谓词逻辑
Page 49 第17题解：〔1〕令①P：李明学习努力；②Q：李明成绩好；③R：李明不热衷于玩扑克；〔2〕条件符号化，即①P→Q：假如李明学习努力，那么他成绩好；②R→P：假如李明不热衷于玩扑克，那么他就努力学习；〔3〕所求结论符号化，即①¬Q→¬R：李明成绩不好，所以李明热衷于玩扑克；〔4〕证明：原命题符号化为P→Q，R→P ¬Q→¬R；①P→Q P规那么；②R→P P规那么；③R→Q T规那么①②；④Q∨¬R T规那么③；⑤¬Q→¬R T规那么④；〔5〕得证。
Page 50 第32题〔2〕解： P∨(¬P→(Q∨(¬Q→R)))；⇔ P∨(P∨(Q∨(Q∨R)))；⇔P∨Q∨R；①主合取范式为：P∨Q∨R；因为 P∨Q∨R ⇔∏M0 ⇔∑m1,2,3,4,5,6,7；②主析取范式为：∨(¬P∧¬Q∧R)∨(¬P∧Q∧¬R)∨(¬P∧Q∧R)∨(P∧¬Q∧¬R)∨(P∧¬Q∧R)∨(P∧Q∧¬R)∨(P∧Q∧R)；Page 50 第32题〔4〕解： (P∧¬Q∧R)∨(¬P∧Q∧¬S)；⇔ ((P∧¬Q∧R)∧(S∨¬S))∨((¬P∧Q∧¬S)∧(R∨¬R))；⇔(P∧¬Q∧R∧S)∨(P∧¬Q∧R∧¬S)∨(¬P∧Q∧R∧¬S)∨(¬P∧Q∧¬R∧¬S)；①主析取范式为：(¬P∧Q∧¬R∧¬S)∨(¬P∧Q∧R∧¬S)∨(P∧¬Q∧R∧¬S)∨(P∧¬Q∧R∧S) ⇔∑m4,6,10,11⇔∏M0,1,2,3,5,7,8,9,12,13,14,15；②主合取范式为：(¬P∨¬Q∨¬R∨¬S)∧(¬P∨¬Q∨¬R∨S)∧(¬P∨¬Q∨R∨¬S) ∧(¬P∨¬Q∨R∨S)∧(¬P∨Q∨¬R∨S)∧(¬P∨Q∨R∨S)∧(P∨¬Q∨¬R∨¬S) ∧(P∨¬Q∨¬R∨S)∧(P∨Q∨¬R∨¬S)∧(P∨Q∨¬R∨S)∧(P∨Q∨R∨¬S)∧(P∨Q∨R∨S)；Page 50 第32题〔6〕解： (P→Q)→(P∨R)；⇔¬(¬P∨Q)∨(P∨R)；⇔(P∧¬Q)∨(P∨R)；⇔(P∨R)∧(P∨¬Q∨R)；⇔ ((P∨R)∨(¬Q∧Q))∧(P∨¬Q∨R)；⇔(P∨¬Q∨R)∧(P∨Q∨R)∧(P∨¬Q∨R)；⇔(P∨¬Q∨R)∧(P∨Q∨R)；①主合取范式为：(P∨¬Q∨R)∧(P∨Q∨R)；⇔∏M0,2；⇔∑m1,3,4,5,6,7；①主合取范式为：(¬P∨¬Q∨R)∧(¬P∨Q∨R)∧(P∨¬Q∨¬R)∧(P∨¬Q∨R)∧(P∨Q∨¬R)∧(P∨Q∨R)；Page 51 第37题〔2〕解： P→Q P→(P∧Q)①P P规那么〔附加前提〕；②P→Q P规那么；③Q T规那么①，②，I；④P∧Q T规那么①，③，I；⑤P→(P∧Q) CP规那么；Page 51 第37题〔4〕解： (P∨Q)→R ⇒ (P∧Q)→R①P∧Q P规那么〔附加前提〕；②P T规那么①，I；③P∨Q T规那么②，I；④(P∨Q)→R P规那么；⑤R T规那么③，④，I；⑥(P∧Q)→R CP规那么；Page 51 第38题〔3〕解：﹁(P→Q)→﹁(R∨S),((Q→P)∨﹁R),R ⇒ P↔Q①﹁(P↔Q) P规那么〔假设前提〕；②﹁((P→Q)∧(Q→P)) T规那么①，I；③R P规那么；④((Q→P)∨﹁R) P规那么；⑤R→(Q→P) T规那么④，I；⑥(Q→P) T规那么③⑤，I；⑦R∨S T规那么③，I；⑧﹁(P→Q)→﹁(R∨S) P规那么；⑨(R∨S)→(P→Q) T规那么⑧，I；⑩(P→Q) T规那么⑦⑨，I；⑪(P→Q)∧(Q→P) T规那么⑥⑩，I；⑫得证间接证明法②⑪；Page 51 第39题〔1〕解：〔1〕符号化命题①P：明天是晴天；②Q：明天下雨；③R：我去看电影；④S：我不看书；条件符号化：P∨Q，P→R，R→S；结论符号化：①﹁S→Q〔2〕证明：P∨Q，P→R，R→S ⇒﹁S→Q①P→R P规那么；②R→S P规那么；③P→S T规那么①②；④﹁S→﹁P T规那么③，I；⑤P∨Q P规那么；⑥﹁P→Q T规那么⑤，I；⑦﹁S→Q T规那么④⑥，I；Page 51 第39题〔2〕解：〔1〕符号化命题①P：明天不下雨；②Q：可以买到车票；③R：我去参观计算机展览会；条件符号化：P∧Q→R；结论符号化：①﹁R→﹁P〔2〕证明：P∨Q，P→R，R→S ⇒﹁S→Q①P∧Q→R P规那么；②﹁R P规那么〔附加前提〕；③﹁(P∧Q) T规那么①②；④﹁P∨﹁Q T规那么③，I；⑤也就是说或者明天下雨或者买不到票，所以原命题说不能参加计算机展览的原因只是明天下雨是不完全的，故原命题无效。
离散数学命题逻辑练习题及答案
离散数学命题逻辑练习题及答案本文档包含了一些离散数学中的命题逻辑练习题及其详细答案。
在离散数学中，命题逻辑是一种符号逻辑系统，它研究命题的形式和逻辑推理的规则。
这些练习题旨在帮助读者巩固对命题逻辑基本概念的理解，并锻炼逻辑推理能力。
练习题1.写出下列命题的否定形式：a)如果今天下雨，我就不出门。
b)数学和计算机科学是紧密相关的学科。
c)所有猫都有尾巴。
d)如果一个数是偶数，它肯定可以被2整除。
2.判断以下陈述是否为命题，并给出理由：a)蓝色是我最喜欢的颜色。
b)2加2等于4。
c)这是一个错误的陈述。
d)如果明天下雨，我就会带伞。
3.使用真值表判断以下复合命题的真值：a)P ∧ (¬Q ∨ R)b)(P ∧ Q) ∨ (¬R ∧ S)c)(P → Q) ∧ (R → S)d)(P ∨ Q) ∧ (¬P ∨ Q)4.使用推理规则化简以下逻辑表达式：a)~((P ∧ Q) ∨ R)b)~(P ∨ (Q ∧ R))c)(~P ∧ Q) ∨ ((~P ∨ Q) ∧ R)d)(P → Q) ∨ (¬Q → ¬P)答案a)今天下雨而且我不出门。
b)数学和计算机科学不是紧密相关的学科。
c)存在不具备尾巴的猫。
d)存在一个偶数，它不能被2整除。
a)不是命题。
因为它表达了个人偏好，无法判断真假。
b)是命题。
因为它可以明确地判断为真。
c)不是命题。
因为它没有明确的真值。
d)是命题。
因为它可以根据明天的天气情况来判断真假。
P Q R¬Q ∨ R P ∧ (¬Q ∨ R)T T T T TT T F F FT F T T TT F F T TF T T T FF T F T FF F T T FF F F T FP Q R P ∧ Q¬R ∧ S(P ∧ Q) ∨ (¬R ∧ S) T T T T F TT T F T F TT F T F T TT F F F T TF T T F F FF T F F F FF F T F F FF F F F F FP Q R P → Q R → S(P → Q) ∧ (R → S) T T T T T TT T F T F FT F T F T FT F F F T FF T T T T TF T F T F TF F T T T TF F F T T TP Q(P ∨ Q)¬P ∨ Q(P ∨ Q) ∧ (¬P ∨ Q) T T T T TT F T F FF T T T TF F F F F~((P ∧ Q) ∨ R)= ~(P ∧ Q) ∧ ~R~(P ∨ (Q ∧ R))= ~P ∧ ~(Q ∧ R)= ~P ∧ (~Q ∨ ~R)(~P ∧ Q) ∨ ((~P ∨ Q) ∧ R)= (~P ∨ ~P) ∧ (Q ∨ Q) ∧ (Q ∨ R) ∧ (~P ∨ R) = ~P ∧ Q ∨ R(P → Q) ∨ (¬Q → ¬P)= (~P ∨ Q) ∨ (Q ∨ ¬P)= (~P ∨ Q) ∨ (¬P ∨ Q)= T以上是一些离散数学命题逻辑的练习题及答案。
离散数学习题课带答案
三.重言蕴涵式的证明方法
方法1.列真值表。(即列永真式的真值表) (略) 方法2.假设前件为真，推出后件也为真。 方法3.假设后件为假，推出前件也为假。 证明 (A(B∨C) )∧(D∨E)∧((D∨E)A) B∨C 方法2 证明：
设前件(A(B∨C) )∧(D∨E)∧((D∨E)A) 为真，则 A(B∨C) , D∨E, (D∨E)A 均为真。 由D∨E, (D∨E)A 均为真，得 A为真, 又由A(B∨C)为真，得 B∨C为真。所以 (A(B∨C) )∧(D∨E)∧((D∨E)A) B∨C
方法3 (P→Q)→(P→(P∧Q)) (P∨Q)∨(P∨(P∧Q)) (P∧Q)∨P∨(P∧Q) (P∧Q)∨(P∧(Q∨Q))∨(P∧Q) (P∧Q)∨(P∧Q)∨(P∧Q)∨(P∧Q) (P∧Q)∨(P∧Q)∨(P∧Q)∨(P∧Q) 可见，该公式的主析取范式含有全部(四个) 小项，这表明(P→Q)→(P→(P∧Q))是永真式
六. 逻辑推理 熟练掌握三种推理方法。 (1) (A∨B)(C∧D), (D∨E)P AP 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 ⑹ AD 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 ⑿ DP T ⑾ E ⒀AP T ⑹⑿ I
（4）某些汽车比所有的火车都慢，但至少有一列火车比每辆 汽车快 C(x)：x是汽车；H(x)：x是火车；S(x,y): x比y慢 x(C(x)∧y(H(y)→S(x,y)))∧z(H(z)∧y(C(y) →S(y,z)))
华南理工《离散数学》模拟题及答案
二、判断题（本大题 20 分，每小题 4 分） 1、命题公式 p(pq) 是重言式。 2、 （ （x）A（x） B）（x） （A（x） B） 。 3、设 A={a, b, c}, R A× A 且 R={< a, b>,< a, c>}, 则 R 是传递的。 4、n 阶无向完全图 Kn 的每个顶点的度都是 n。 5、根树中除一个结点外，其余结点的入度为 1。 三、解答题（计算或者证明题：本大题 50 分，每小题 10 分） 1．设命题公式为 Q （P Q） P。
3. 对于集合{1, 2, 3}，下列关系中不等价的是( B
A．F ={<1，b>，<2，a>，<3，c>，<1，d>，<5，e>} B．F={<1，c>，<2，a>，<3，b>，<4，e>，<5，d>} C．F ={<1，b>，<2，a>，<3，d>，<4，a>} D．F={<1，e>，<2，a>，<3，b>，<4，c>，<5，e>} 5．下列判断不正确的是( D )
20. 一个结点到另每小题的备选答案中只有一个正确答案，将正确答案序号填入下列叙述 中的 内。 1． (1 ) 如果天气好，那么我去散步。 (2 ) 天气多好呀！ (3 ) x=3。 (4 ) 明天下午有会吗？ 在上面句子中 是命题。 （1） 2． 设：P：王强身体很好；Q：王强成绩很好。命题“王强身体很好，成绩也 很好。 ”在命题逻辑中可符号化为 。 （4） （1）P Q （2）P Q （3）P Q （4）P Q 3． 设 S（x） ：x 是学生，J（y） ：y 是教师，L（x，y） ：x 钦佩 y。命题“所有 学生都钦佩一些教师”的符号化公式是 。 （3） （1） x（S（x） y（J（y） L（x，y） ） ） （2） x y（S（x）（J（y） L（x，y） ） ） （3） x（S（x） y（J（y） L（x，y） ） ） （4） yx（S（x）（J（y） L（x，y） ） ） 4． 下列式子是合式公式的是 。 （2） P9 （1） （ P Q Q） （2） （P （Q R） ） （3） （ P Q） （4） Q R P 5． 下列式子中正确的是 。 （4） （1）（x）P（x）（x）P（x） （2）（x）P（x）（x） P（x） （3）（x）P（x）（x） P（x） （4）（x）P（x）（x） P（x） 6． 设 S={，3，a，{a}}，则 S 的幂集 P（S）有 个元素。 （3）P85 （1）8 （2）12 （3）16 （4）32 7． 设 R 为定义在集合 A 上的一个关系，若 R 是 ，则 R 为等价关系。 （2） （1） 反自反的，对称的和传递的 （2）自反的，对称的和传递的 （3） 自反的，反对称的和传递的 （4）对称的，反对称的和传递的 8． 设 A={1，2，3}，B={1，2}，则下列命题不正确的是 。 （3）
《离散数学》同步练习参考答案
华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题（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.1 命题与联结词一、单项选择题1、 A．明年“五一”是晴天。
B．这朵花多好看呀！。
C．这个男孩真勇敢啊！ D．明天下午有会吗？在上面句子中，是命题的是( )2. A．1＋101＝110 B．中国人民是伟大的。
C．这朵花多好看呀！ D．计算机机房有空位吗？在上面句子中，是命题的是( )3. A．如果天气好，那么我去散步。
B．天气多好呀！C．x=3。
D．明天下午有会吗？在上面句子中( )是命题4．下面的命题不是简单命题的是( )A．3是素数或4是素数 B．2018年元旦下大雪C．刘宏与魏新是同学 D．圆的面积等于半径的平方与π之积5．下面的表述与众不一致的一个是( )A．P：广州是一个大城市 B．⌝P：广州是一个不大的城市C．⌝P：广州是一个很不小的城市 D．⌝P：广州不是一个大城市6．设，P：他聪明；Q：他用功。
在命题逻辑中，命题：“他既聪明又用功。
”可符号化为：( )A．P ∧Q B．P→QC．P∨⌝Q D．P∧⌝Q7．设：P ：刘平聪明。
Q：刘平用功。
在命题逻辑中，命题：“刘平不但聪明，而且用功”可符号化为：( )A．P ∧Q B．⌝P∨QC．P∨⌝Q D．P∧⌝Q8．设：P：他聪明；Q：他用功。
则命题“他虽聪明但不用功。
”在命题逻辑中可符号化为( )A．P ∧Q B．P→QC．P∨⌝Q D．P∧⌝Q9．设：P：我们划船。
Q：我们跑步。
在命题逻辑中，命题：“我们不能既划船又跑步。
”可符号化为：( )A．P→Q B．⌝（P ∧Q）C．P∨Q D．P∧⌝Q10．设：P：王强身体很好；Q：王强成绩很好。
命题“王强身体很好，成绩也很好。
”在命题逻辑中可符号化为( )A．P ∨Q B．P→QC．P∧⌝Q D．P∧Q11．设：P：你努力；Q：你失败。
则命题“除非你努力，否则你将失败。
”在命题逻辑中可符号化为( )A ．Q →PB ．P → QC ．⌝ P →QD ．Q ∨⌝P12．设：p ：派小王去开会。
离散数学命题逻辑练习题及答案
离散数学命题逻辑练习题及答案1. 命题逻辑基础1.1 命题逻辑概念1.什么是命题？答案：命题是可以判断真假的陈述句。
2.命题的两个基本操作是什么？答案：命题的两个基本操作是合取和析取。
1.2 命题逻辑表达式3.将以下中缀表达式转换为后缀表达式：((P ∧ Q) → (R ∨ S)) ∨ T答案：后缀表达式为P Q ∧ R S ∨ → T ∨4.使用真值表验证以下命题逻辑公式是否为重言式（永远为真）：(P ∨ Q) ∧ (¬P ∨ Q) ⟺ Q答案：P Q(P ∨ Q) ∧ (¬P ∨ Q)QT T T TT F T FF T T TF F F F结论：命题逻辑公式(P ∨ Q) ∧ (¬P ∨ Q)是重言式。
1.3 命题逻辑推理5.使用命题逻辑进行推理，判断以下论断是否成立（推理过程可用真值表验证）：P → Q, Q → R ∈ L, ∴ P → R答案：P Q R P → Q Q → R P → R T T T T T TT T F T F FT F T F T TT F F F T FF T T T T TF T F T F TF F T T T TF F F T T T结论：论断P → R成立。
2. 命题逻辑的应用2.1 命题逻辑在计算机科学中的应用6.命题逻辑在计算机科学中有哪些应用？答案：命题逻辑在计算机科学中的应用包括逻辑电路设计、计算机程序的正确性验证、控制流分析等。
7.请简要说明命题逻辑在逻辑电路设计中的应用。
答案：命题逻辑在逻辑电路设计中用于描述逻辑电路的功能和工作原理。
通过使用命题逻辑符号和逻辑运算，可以建立逻辑电路的逻辑模型，进而进行电路的设计、优化和验证。
2.2 命题逻辑推理的应用8.请举一个命题逻辑推理在实际生活中的应用例子。
答案：命题逻辑推理在实际生活中的一个应用例子是法庭判案。
法庭根据掌握的事实和证据，通过进行命题逻辑推理来确定被告是否犯罪或无罪，从而作出最终的判决。
离散数学之命题逻辑考试答案
离散数学之命题逻辑考试1、分析下列语句那些是命题，哪些不是命题。
（每小题1分，正确 “T ”错误写 “F ”，共10分） (1)、北京是中国首都。
(2)、大连是多么美丽啊！ (3)、素数只有有限个。
(4)、请勿吸烟！ (5)、6+8≥14。
(6)、明天有离散数学课吗？ (7)、不存在最大素数。
(8)、9<+Y X 。
(9)、所有素数都是奇数。
(10)实践出真理。
2、设P 表示命题“我学习努力”。
Q 表示命题“我考试通过”。
R 表示命题“我很快乐”。
（每小题2分，共6分） 试用符号表示下列命题：1) 我考试没通过，但我很快乐。
2) 如果我努力学习，那么我考试通过。
3) 如果我学习努力并且考试通过，那么我很快乐。
3、将下列命题符号化：（每小题2分，共14分）1) 我美丽而又快乐。
2) 如果我快乐，那么天就下雨。
3) 电灯不亮，当且仅当灯泡或开关发生故障。
4) 仅当你去，我将留下。
5) 如果老张和老李都不去，他就去。
6) 你不能既吃饭又看电视。
7) 张刚总是在图书馆看书，除非图书馆不开门或张刚生病。
4、给出下列公式的真值表 （每小题5分，共10分）⑴ )(R Q P ∨→⑵ )(Q P ∨⌝⇄)(Q P ⌝∧⌝5、证明下列等价式。
（每小题3分，共12分） 1) P Q P Q P ⇔⌝∧∨∧)()( 2) P Q Q P P ⌝→⌝⇔→→)(3) C B A C B A →⌝∧⇔∨→)()(4) C A D B C D B C B A →→∧⇔∨→∧→∧))(())(())((6、求下列命题公式的主析取范式和主合取范式。
（每小题10分，共20分） 1) )()(Q R Q P →∧→ 2) R Q P →∨⌝)(7、对于下列一组前提，请给出它们的有效结论并证明。
（每小题4分，共8分）a) 如果我努力学习，那么我能通过考试，但我没有通过考试。
b) 统计表有错误，其原因有两个：一个原因是数据有错误；另一个原因是计算有错误。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第一章命题逻辑1.1 命题与联结词一、单项选择题1、 A．明年“五一”是晴天。
B．这朵花多好看呀！。
C．这个男孩真勇敢啊！ D．明天下午有会吗？在上面句子中，是命题的是( )2. A．1＋101＝110 B．中国人民是伟大的。
C．这朵花多好看呀！ D．计算机机房有空位吗？在上面句子中，是命题的是( )3. A．如果天气好，那么我去散步。
B．天气多好呀！C．x=3。
D．明天下午有会吗？在上面句子中( )是命题4．下面的命题不是简单命题的是( )A．3是素数或4是素数 B．2018年元旦下大雪C．刘宏与魏新是同学 D．圆的面积等于半径的平方与π之积5．下面的表述与众不一致的一个是( )A．P：广州是一个大城市 B．⌝P：广州是一个不大的城市C．⌝P：广州是一个很不小的城市 D．⌝P：广州不是一个大城市6．设，P：他聪明；Q：他用功。
在命题逻辑中，命题：“他既聪明又用功。
”可符号化为：( )A．P ∧Q B．P→QC．P∨⌝Q D．P∧⌝Q7．设：P ：刘平聪明。
Q：刘平用功。
在命题逻辑中，命题：“刘平不但聪明，而且用功”可符号化为：( )A．P ∧Q B．⌝P∨QC．P∨⌝Q D．P∧⌝Q8．设：P：他聪明；Q：他用功。
则命题“他虽聪明但不用功。
”在命题逻辑中可符号化为( )A．P ∧Q B．P→QC．P∨⌝Q D．P∧⌝Q9．设：P：我们划船。
Q：我们跑步。
在命题逻辑中，命题：“我们不能既划船又跑步。
”可符号化为：( )A．P→Q B．⌝（P ∧Q）C．P∨Q D．P∧⌝Q10．设：P：王强身体很好；Q：王强成绩很好。
命题“王强身体很好，成绩也很好。
”在命题逻辑中可符号化为( )A．P ∨Q B．P→QC．P∧⌝Q D．P∧Q11．设：P：你努力；Q：你失败。
则命题“除非你努力，否则你将失败。
”在命题逻辑中可符号化为( )A ．Q →PB ．P → QC ．⌝ P →QD ．Q ∨⌝P12．设：p ：派小王去开会。
q ：派小李去开会。
则命题：“派小王或小李中的一人去开会” 可符号化为：（ ）A ．p q ∨ B ．()()p q p q ∧⌝∨⌝∧ C ．()()p q p q ∧∨⌝∧⌝ D ．()()p q p q ∧∨⌝∧13．设：P ：天下雪。
Q ：他走路上班。
则命题“只有天下雪，他才走路上班。
”可符号化为（ ）。
A ．P →QB ．Q → PC ．Q ∨⌝PD ．⌝ Q →⌝ P14．设：P ：天下大雨，Q ：他才乘班车上班。
则命题“只有天下大雨，他才乘班车上班。
”可符号化为（ ）。
A ．P →QB ．Q → PC ．Q ∨⌝PD ．⌝ Q →⌝ P15．设：P ：天下大雨，Q ：他才乘班车上班。
则命题“除非天下大雨，否则他不乘班车上班。
”可符号化为（ ）。
A ．⌝P →QB ．⌝Q → ⌝PC ．Q ∨⌝PD ．⌝ P →⌝ Q16．设：P ：天下大雨。
Q ：他乘公共汽车上班。
则命题“如果天下大雨，他就乘公共汽车上班。
”可符号化为( )A ．P → QB ．Q →PC ．⌝ P →⌝ QD ．⌝Q ∨P17．设：P ：天气好。
Q ：他去郊游。
则命题“如果天气好，他就去郊游。
”可符号化为( )A ．P →QB ．Q → PC ．⌝ Q →⌝ PD ．Q ∨⌝P18．P ：下雪路滑，Q ：他迟到了。
下雪路滑，他迟到了。
可符号化为( )A ．P ∨ QB ．P → QC ．P ∧⌝QD ．P ∧ Q19．设，p ：经一事；q ：长一智。
在命题逻辑中，命题：“不经一事，不长一智。
” 可符号化为：( )A ．p →qB ．q → pC ．⌝p →⌝qD ．⌝p →q20．下面“q p →”的等价说法中，不正确的为A ．p 是q 的充分条件B ． q 是p 的必要条件C ．q 仅当pD ．只有q 才p1.2 命题公式单项选择题1．下列式子是合式公式的是( )A ．（P ∨ → Q ）B ．⌝（P →（Q ∨ R ））C ．（P ⌝ Q ）D ．∧ Q → R2.下列式子是合式公式的是( )A ．（P ∨ → Q ）B ．⌝（P ∧（Q ∨ R ））C ．（P ⌝ Q ）D ．∧ Q → ∧ R3．公式⌝（（p →q ）∧（q → p ））与()()p q p q ∧⌝∨⌝∧的共同成真赋值为( )A ．01，10B ．10，01C ．11，00D ．01，114．p ,q 都是命题，则p →q 的真值为假当且仅当( )A ．p 为假，q 为真B ．p 为假，q 也为假C ．p 为真，q 也为真D ．p 为真，q 为假5．n 个命题变元组成的命题公式，有( )种真值情况A ．nB ．2nC ．n 2D ．2n6．设A , B 代表任意的命题公式，则德 • 摩根律为⌝（A ∧ B ）⇔( )A ．⌝A ∧ ⌝B B ．⌝A ∨ ⌝BC ． A ∧ ⌝BD ．A ∨B7．设P , Q 是命题公式，德·摩根律为：⌝（P ∨ Q ）⇔( )A ．⌝P ∧ ⌝QB ．⌝P ∨ ⌝QC ． P ∧ ⌝QD ．P ∨Q8．命题公式A 与B 是等值的，是指（ ） 。
A ．A 与B 有相同的命题变元 B ．A ↔B 是可满足式C ．A →B 为重言式D ．A ↔B 为重言式9．设A , B 代表任意的命题公式，则逆反律为A →B ⇔( )A ．⌝B → ⌝ A B ． B → ⌝ AC ．⌝ A → ⌝ BD ．⌝ B → A10．P 为任意合式公式，Q ：为重言式。
则P ∨ Q 是（ ）A ．矛盾式B ．可满足式C ．蕴含式D ．重言式11. P 为任意合式公式，Q ：为矛盾式。
则P ∧ Q 是（ ）A ．矛盾式B ．可满足式C ．蕴含式D ．重言式12．下列式子( )是永真式A ．Q →（P ∧ Q ）B ．P →（P ∧ Q ）C ．（P ∧ Q ）→ PD ．（P ∨Q ）→ Q13．⌝（P ∧ Q ）∨T 的对偶式是( )A ．（P ∧ Q ）∨TB ．⌝（P ∨Q ）∧ TC ．（P ∨Q ）∧ TD ．⌝（P ∨Q ）∧ F1.3 命题公式的范式 一、单项选择题 1．下列命题为假的是( ) A ．任意两个不同小项的合取式永假，全体小项的析取式永真B ．任意两个不同大项的合取式永假，全体大项的析取式永真C ．n 个命题变元的矛盾式, 主合取范式有n 2个极大项，而主析取范式为0D ．每一个小项当其真值与编码相同时，其真值为真2．下列命题为假的是( ) A ．P ∧（P → Q ）的合取范式是P ∧ QB ．P ∧（P → Q ）的析取范式是P ∧ QC ．P ∧（P → Q ）的合取范式是P ∧（⌝P ∨ Q ）D ．P ∧（P → Q ）的析取范式是P ∧（⌝P ∨ Q ）3．命题（P → Q ）∧（P → R ）的主析取范式中包含( )A ．P ∧ Q ∧ RB ．P ∧ Q ∧ ⌝RC ．P ∧ ⌝Q ∧ RD ．P ∧⌝ Q ∧ ⌝R1.4 联结词的功能完全集 一、单项选择题1. 给定命题公式,该公式在全功能集中的形式为（） A ．（（ｐｑ） r ） B ．ｐｑ r C ．（（ｐｑ） r ） D ．（ｐｑ） r 1.5 推理规则和证明方法一、单项选择题1．设A ，C 为两个命题公式，当且仅当( )为一重言式时，称C 可由A 逻辑地推出。
A ．A → CB ．C → AC ．A ∧ ⌝ CD ．A ∨ ⌝C2．下列推理定律表述不正确的是为 ( )A ．（P → Q ）∧ ⌝Q P ⌝⇒拒取式推理定律B ．（P ∨ ⌝Q ）∧ Q P ⇒析取三段论推理定律C ．（⌝P → Q ）∧（Q → ⌝R ）R P ⌝→⌝⇒假言三段论推理定律D ．（⌝P → ⌝Q ）∧ ⌝ P Q ⌝⇒假言三段论推理定律3．下列推理定律， ( ) 不正确A ． Q → P ∨ QB ． Q P ⇒→ QC ．⌝Q ∧（P → Q ）P ⇒D ．⌝（ P → Q ） Q ⌝⇒答案：1.1单项选择题1、A 2、B 3、A 4、A 5、C 6、A 7、A 、D 9、B 10、D 11、C 12、B 13、B 14、B 15、D 16、A 17、B 18、D 19、C 20、C 1.2单项选择题1、B 2、B 3、A 4、D 5、C 6、B 7、A 8、D 9、A 10、D 11、A 12、C 13、D1.3单项选择题1、B 2、D 3、A1.4单项选择题1、A1.5 单项选择题 1、A 2、D 3、C。