一、命题符号化
1、设p：天下雪。q：我将去镇上。r：我有时间。
(1)如果天不下雪且我有时间，那么我将去镇上。
(2)我将去镇上，仅当我有时间。
(3)天下雪，那么我不去镇上。
2、令p：你给我写信。q：信在途中丢失了。
或者你没有给我写信，或者它在途中丢失了。
3、令p：我们划船。q：我们跑步。
我们不能既划船又跑步
4、令p：你来了。q：你为他伴奏。r：他唱歌。
如果你来了，那么他唱不唱歌将看你是否为他伴奏而定。
5、令p：上午下雨。q：我去看电影。r：我在家里读书。s：我在家里看报。
假如上午不下雨，我去看电影，否则就在家里读书或看报。
6、令p：我今天进城。q：今天下雨。
我今天进城，除非下雨。
7、令p：你走。q：我留下。
仅当你走我将留下。
二、证明：(p→q)→(p→(p∧q))是永真式。
三、证明((A∧B)→C)∧(B→(D∨C))=(B∧(D→A))→C
四、化简(A∧B∧C)∨(?A∧B∧C）
五、A,B,C,D四个人中要派两个人出差，按下述三个条件有几种派
法？
①若A去则C和D中要去一个人。
②B和C不能都去。
③C去则D要留下。
六、用逻辑演绎推理法证明
七、逻辑推理：请根据下面事实，找出凶手。
1. 清洁工或者秘书谋害了经理。
2. 如果清洁工谋害了经理，则谋害不会发生在午夜前。
3.如果秘书的证词是正确的，则谋害发生在午夜前。
4.如果秘书的证词不正确，则午夜时屋里灯光未灭。
5. 如果清洁工富裕，则他不会谋害经理。
6.经理有钱且清洁工不富裕。
7.午夜时屋里灯灭了。
令p: 清洁工谋害了经理。q: 秘书谋害了经理。
r: 谋害发生在午夜前。s: 秘书的证词是正确的。
t: 午夜时屋里灯光灭了。u: 清洁工富裕。v: 经理有钱。
第一章 命题逻辑 习题与解答 ⒈ 判断下列语句是否为命题，并讨论命题的真值。 ⑴ 032=-x 。 ⑵ 前进！ ⑶ 如果2078>+，则三角形有四条边。 ⑷ 请勿吸烟！ ⑸ 你喜欢鲁迅的作品吗？ ⑹ 如果太阳从西方升起，你就可以长生不老。 ⑺ 如果太阳从东方升起，你就可以长生不老。 解 ⑶,⑹,⑺表达命题，其中⑶,⑹表达真命题，⑺表达假命题。 ⒉ 将下列命题符号化： ⑴ 逻辑不是枯燥无味的。 ⑵ 我看见的既不是小张也不是老李。 ⑶ 他生于1963年或1964年。 ⑷ 只有不怕困难，才能战胜困难。 ⑸ 只要上街，我就去书店。 ⑹ 如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐。 ⑺ 如果林芳在家里，那么他不是在做作业就是在看电视。 ⑻ 三角形三条边相等是三个角相等的充分条件。 ⑼ 我进城的必要条件是我有时间。 ⑽ 他唱歌的充分必要条件是心情愉快。 ⑾ 小王总是在图书馆看书，除非他病了或者图书馆不开门。 解 ⑴ p ：逻辑是枯燥无味的。 “逻辑不是枯燥无味的”符号化为p ?。 ⑵ p ：我看见的是小张。q ：我看见的是老李。 “我看见的既不是小张也不是老李”符号化为q p ?∧?。 ⑶ p ：他生于1963年。q ：他生于1964年。 “他生于1963年或1964年”符号化为q p ⊕。 ⑷ p ：害怕困难。q ：战胜困难。 “只有不怕困难，才能战胜困难”符号化为p q ?→。 ⑸ p ：我上街。q ：我去书店。 “只要上街，我就去书店”符号化为q p →。 ⑹ p ：小杨晚上做完了作业。q ：小杨晚上没有其它事情。 r ：小杨晚上看电视。s ：小杨晚上听音乐。 “如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐”符号化为s r q p ∨→∧。 ⑺ p ：林芳在家里。q ：林芳做作业。r ：林芳看电视。 “如果林芳在家里，那么他不是在做作业就是在看电视”符号化为r q p ∨→。
命题逻辑 一、选择题（每题3分） 1、下列句子中哪个是命题？ ( C ) A 、你的离散数学考试通过了吗？ B 、请系好安全带！ C 、 π是有理数 D 、 本命题是假的 2、下列句子中哪个不是命题？ ( C ) A 、你通过了离散数学考试 B 、我俩五百年前是一家 C 、 我说的是真话 D 、 淮海工学院是一座工厂 3、下列联接词运算不可交换的是( C ) A 、∧ B 、∨ C 、 → D 、 ? 4、命题公式P Q ?→不能表述为( B ) A 、P 或Q B 、非P 每当Q C 、非P 仅当Q D 、除非P ，否则Q 5、永真式的否定是 ( B ) A 、 永真式 B 、永假式 C 、可满足式 D 、 以上答案均有可能 6、下列哪组赋值使命题公式()P P Q →∧的真值为假( D ) A 、P 假Q 真 B 、P 假Q 假 C 、P 真Q 真 D 、P 真Q 假 7、下列为命题公式()P Q R ∧∨?成假指派的是( B ) A 、100 B 、101 C 、110 D 、111 8、 下列公式中为永真式的是 ( C ) A 、()P P Q →∧ B 、()P P Q ?→∧ C 、()P Q Q ∧→ D 、()P Q Q ∨→ 9、 下列公式中为非永真式的是( B ) A 、 ()P P Q ∧?→ B 、()P P Q ∨?→ C 、()P P Q ∧?→ D 、()P P Q ∨?→ 10、下列表达式错误的是( D ) A 、()P P Q P ∨∧? B 、()P P Q P ∧∨? C 、()P P Q P Q ∨?∧?∨ D 、()P P Q P Q ∧?∨?∨ 11、下列表达式正确的是( D ) A 、P P Q ?∧ B 、P Q P ?∨ C 、()Q P Q ???→ D 、Q Q P ??→?)( 12、下列四个命题中真值为真的命题为( B ) （1）224+=当且仅当3是奇数 （2）224+=当且仅当3不是奇数； （3）224+≠当且仅当3是奇数 （4）224+≠当且仅当3不是奇数 A 、（1）与（2） B 、（1）与（4） C 、（2）与（4） D 、（3）与（4） 13、设P ：龙凤呈祥是成语，Q ：雪是黑的，R ：太阳从东方升起，则下列假命题为( A ) A 、R Q P ∧→ B 、Q P S →∧ C 、P Q R →∨ D 、 Q P S →∨ 14、设P ：我累，Q ：我去打球，则命题：“除非我累，否则我去打球”的符号化为（ B ） A 、P Q → B 、Q P ?→ C 、 Q P →? D 、P Q ?→? 15、设P ：我听课，Q ：我睡觉，则命题 “我不能一边听课，一边睡觉”的符号化为( B ) A 、P Q → B 、Q P ?→ C 、 Q P →? D 、P Q ?→? 提示：()P Q P Q ?∧?→? 16、设P ：停机；Q ：语法错误；R ：程序错误， 则命题 “停机的原因在于语法错误或程序错误” 的符号化为（ D ） A 、R Q P ∧→ B 、P Q R →∨ C 、Q R P ∧→ D 、Q R P ∨→ 17、设P ：你来了；Q ：他唱歌；R ：你伴奏 则命题 “如果你来了，那末他唱不唱歌将看你是否伴奏而定” 的符号化为（ D ） A 、()P Q R →∧ B 、()P Q R →→ C 、()P R Q →→ D 、()P Q R →? 18、在命运题逻辑中，任何非永真命题公式的主合取范式都是（ A ） A 、 存在并且唯一 B 、存在但不唯一 C 、 不存在 D 、 不能够确定
命题逻辑和谓词逻辑习题课的题目及参考 答案 说明：红色标注题目可以暂且不做 命题逻辑和谓词逻辑习题课的题目 一、填空 1、若P，Q，为二命题，Q P→真值为0 当且仅当。2、命题“对于任意给定的正实数，都存 在比它大的实数”令F(x)：x为实数，:) , (则命题的逻辑谓词公式y L> x x y 为 。
3、谓词合式公式)( xP? ?的前束范式 x → ) (x xQ 为。 4、将量词辖域中出现的 和指导变元交换为另一变元符号，公式 其余的部分不变，这种方法称为换名规 则。 5、设x是谓词合式公式A的一个客体变 元，A的论域为D，A(x)关于y是自由的，则 被称为存在量词消去规则，记为ES。 6．设P，Q 的真值为0，R，S的真值为1，则 → ∨ Q P? ∨ ?的真值 → ∧ ? (S ))) ( R ( ) P R ( = 。 7．公式P ∧) ( ) (的主合取范式为 ∨ R S R P? ∨ ∧
。 8．若解释I的论域D仅包含一个元素，则)( xP? → ?在I下真值为 xP ) (x x 。 9. P：你努力，Q：你失败。“除非你努力，否则你将失败”的翻译为 ；“虽然你努力了，但还是失败了”的翻译为 。 10. 论域D={1，2}，指定谓词P 则公式),(x y ?真值 x? yP 为。 11.P，Q真值为0 ；R，S真值为1。则
∧ wff∧ R ∨ → )) ∧的真值∨ S P )) P ) ( ( (( Q R (S 为 。 12. R ?) ) ((的主合取范式 ∧ R Q ∨ P wff→ 为 。 13.设 P（x）：x是素数， E(x)：x 是偶数，O(x)：x是奇数 N (x,y)：x可以整数y。则谓词))) x y O P y ?的自然语言是 → ? wff∧ x ( ) ( N ( , y ( (x ) 。 14.谓词)),,( x y z P x z ?的前束 ? P ? ∧ → wff? y ) , ( , )) y ( z ( uQ x (u 范式为 。
1．某地发生一起刑事案件，经过公安人员的努力侦破，作案嫌疑人锁定在Ａ、B、Ｃ三人中，并且摸清了以下情况： ①只有０１号案件成功告破，才能确认Ａ、Ｂ、Ｃ三人都是作案人。 ②目前，０１号案件还是一起悬案。 ③如果Ａ不是作案人，那么Ａ的供词是真的，但Ａ说自己与Ｂ都不是作案人。 ④如果Ｂ不是作案人，那么Ｂ的供词也是真的，但Ｂ说自己与Ｃ是好朋友。 ⑤现已查明Ｃ根本不认识Ｂ。 根据上述线索，问：Ａ、Ｂ、Ｃ三人中谁是作案人？ 解：令p：０１号案件成功告破；q、r、s分别表示A、B、C作案；t：B与Ｃ是 好朋友。据题意有： 1. {1} ┐p→┐（q∧r∧s）P 2. {2} ┐p P 3. {3} ┐q→（┐q∧┐r）P 4. {4} ┐r→t P 5. {5} ┐t P 6. {4.5} r T4.5否定后件 7. {1.2} ┐（q∧r∧s）T1.2肯定前件 8. {1.2} ┐q∨┐r∨┐s T7德摩根 9. {1.2.3} q T3.6否定后件 10. {1.2.3.4.5} q∧r P6.9组合式 答：AB作案，至于C尚待侦查。 2．综合分析题（要求写出推导过程）：某班有学生61人，下面有三句话： ①该班有些学生会使用计算机。 ②该班有些学生不会使用计算机。 ③该班班长不会使用计算机。 已知上述三句话中，只有一句话是真的，试问：哪一句话是真话？该班有多少学生会使用计算机？ 解：①②分别为I命题和O命题，二者是下反对关系，必有一真，或许都真；但据题设只有一句真话，可知③为假，真实情况是班长会使用计算机。既然这样第一句话“该班有些学生会使用计算机”就是真的，而第二句话就是假的。O命题假，根据矛盾关系可知，A命题即“该班所有学生都会使用计算机”就真，所以，全班61个学生都会计算机。 3．下面有三句话： ①如果甲是篮球队员，则乙就是足球队员。 ②如果乙是足球队员，则甲就是篮球队员。 ③甲不是篮球队员。 已知上述三句话中只有一句话是真话，问：甲是不是篮球队员？乙是不是足球队员？哪一句话是真话？ （要求写出推导过程） 解：令p表示“甲是篮球队员”，q表示“乙是足球队员”，再令③即“┐p”真，据题设有： ①{1} ┐（p→q）P ②{2} ┐（q→p）P ③{3} ┐p P ④{1} p∧┐q T①等值关系 ⑤{1} p T④合取分解
. 命题逻辑 一、选择题（每题3分） 1、下列句子中哪个是命题？(C) A、你的离散数学考试通过了 吗？ B 、请系好安全带！ C、是有理数 D 、本命题是假的 2、下列句子中哪个不是命 题？(C) A、你通过了离散数学考试 B 、我俩五百年前是一家 C、我说的是真话 D 、淮海工学院是一座工厂 3、下列联接词运算不可交换的 是(C) A、B、 C 、 D 、 4、命题公 式P Q不能表述为(B) A、P或Q B 、非P每当QC、非P仅当Q D、除非P，否则Q 5、永真式的否定是(B) A、永真式 B 、永假 式 C 、可满足式 D 、以上答案均有可能 6、下列哪组赋值使命题公 式P(P Q)的真值为假(D) A、P假Q真 B、P假Q假C 、P真Q真D、P真Q假 7、下列为命题公式P (Q R)成假指派的是(B) A、100 B 、101 C 、110 D 、111 8、下列公式中为永真式的是(C) A、P(PQ) B、P (PQ) C、(PQ) Q D、(PQ)Q 9、下列公式中为非永真式的是(B) A、(P P) Q B、(P P) Q C、P(P Q) D、P(PQ) 10、下列表达式错误的是(D) A、P(PQ) P B 、P(PQ) P C、P(PQ)PQ D 、P(PQ)PQ 11、下列表达式正确的是(D) A、PPQ B、PQP C、Q (P Q) D、(PQ)Q 12、下列四个命题中真值为真的命题为(B) （1）2 2 4当且仅当3是奇数（2）2 2 4 当且仅当3不是奇数； （3）2 2 4当且仅 当3是奇数（4）2 24当且仅当3不是奇数 A、（1）与（2） B 、（1）与（4）C、（2）与（4） D 、（3）与（4） 13、设P：龙凤呈祥是成语，Q：雪是黑的，R：太阳从东方升起，则下列假命题为(A) A、P Q R B 、Q P S C、P Q R D 、Q P S 14、设P：我累，Q：我去打球，则命题：“除非我累，否则我去打球”的符号化为（ B ） A、PQ B 、P Q C、PQ D、P Q 15、设P：我听课，Q：我睡觉，则命题“我不能一边听课，一边睡觉”的符号化 为(B) A、PQ B 、P QC、PQ D、P Q 提示：(P Q) P Q 16、设P：停机；Q：语法错误；R：程序错误， 则命题“停机的原因在于语法错误或程序错误”的符号化为（ D） A、PQR B、P QR C、QRP D、QRP 17、设P：你来了；Q：他唱歌；R：你伴奏 则命题“如果你来了，那末他唱不唱歌将看你是否伴奏而的符号化为（D ）
命题逻辑练习题 一、从五个备选答案中选择一个正确地答案,并做出简要地分析： 1、古代一位国王率领张、王、李、赵、钱五位将军一起打猎,各人地箭上均刻有自己地姓氏.围猎中,一只鹿中箭倒下,但却不知是何人所射.国王令众将军猜测. 张说：“或者是我射中地,或者是李将军射中地.” 王说：“不是钱将军射中地.” 李说：“如果不是赵将军射中地,那么一定是王将军射中地.” 赵说：“既不是我射中地,也不是王将军射中地.” 钱说：“既不是李将军射中地,也不是张将军射中地.” 国王令人把射中鹿地箭拿来,看了看,说：“你们五位将军地猜测,只有两个人地话是真地.” 根据国王地话,可以判定以下哪项是真地 A、张将军射中此鹿. B、王将军射中此鹿. C、李将军射中此鹿. D、赵将军射中此鹿. E、钱将军射中此鹿. 1、某大学进行演讲比赛,得第一名地只有一人.在对六个参赛者进行名次预测时,四人作了如下预 测： 甲：取得第一名地要么是我,要么是乙. 乙：取得第一名地要么是甲,要么是丙. 丙：如果不是戊取得第一名,就一定是己. 丁：第一名决不会是甲. 比赛结果发现,只有一个人地预测正确.请问谁得第一名谁地预测正确 A、甲得第一名,乙地预测正确. B、乙得第一名,甲地预测正确. C、丙得第一名,乙地预测正确. D、丁得第一名,丁地预测正确. E、戊得第一名,丙地邓测正确. 2、销售经理地人选,对于一个公司地生存和发展十分重要.哈维珍珠有限责任公司对于销售经理地 任用,就非常填重.由于前任销售经理因故离任,关于公司新销售经理地人选,甲、乙、丙三位董 事经过充分考虑,提出了他们地意见： 甲：要么聘用李先生,要么聘用王先生. 乙：如果不聘用李先生,那么也不聘用王先生. 丙：如果不聘用王先生,那么就聘用李先生. 以下诸项中,能同时满足甲、乙、丙三位董事意见地方案是哪一项
第一章命题逻辑 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→Q C．P∨?Q D．P∧?Q 7．设：P ：刘平聪明。Q：刘平用功。在命题逻辑中，命题： “刘平不但聪明，而且用功”可符号化为：( ) A．P ∧Q B．?P∨Q C．P∨?Q D．P∧?Q 8．设：P：他聪明；Q：他用功。则命题“他虽聪明但不用功。” 在命题逻辑中可符号化为( ) A．P ∧Q B．P→Q C．P∨?Q D．P∧?Q 9．设：P：我们划船。Q：我们跑步。在命题逻辑中，命题： “我们不能既划船又跑步。” 可符号化为：( ) A．P→Q B．?（P ∧Q） C．P∨Q D．P∧?Q 10．设：P：王强身体很好；Q：王强成绩很好。命题“王强身体很好，成绩也很好。”在命题逻辑中可符号化为( ) A．P ∨Q B．P→Q C．P∧?Q D．P∧Q 11．设：P：你努力；Q：你失败。则命题“除非你努力，否则你将失败。”
数理逻辑部分 第1章命题逻辑 命题符号化及联结词 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句、祈使句、疑问句都不是命题，陈述句中的悖论以及判断结果不惟一确定的也不是命题。 简单命题(原子命题)：简单陈述句构成的命题 复合命题：由简单命题与联结词按一定规则复合而成的命题 简单命题符号化 用小写英文字母p, q, r, … ,p i,q i,r i (i≥1）表示 简单命题 用“1”表示真，用“0”表示假 例如，令p：是有理数，则p 的真值为 0 q：2 + 5 = 7，则q 的真值为 1 联结词与复合命题 1.否定式与否定联结词“” 定义设p为命题，复合命题“非p”（或“p的否定”）称 为p的否定式，记作p. 符号称作否定联结词，并规定p为真当且仅当p为假. 2.合取式与合取联结词“∧” 定义设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q 的合取式，记作p∧q. ∧称作合取联结词，并规定 p∧q为真当且仅当p 与q同时为真 注意：描述合取式的灵活性与多样性 分清简单命题与复合命题 例将下列命题符号化. (1) 王晓既用功又聪明. (2) 王晓不仅聪明，而且用功. (3) 王晓虽然聪明，但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 解令p：王晓用功，q：王晓聪明，则 (1) p∧q (2) p∧q (3) p∧q. 令r : 张辉是三好学生，s :王丽是三好学生 (4) r∧s. (5) 令t : 张辉与王丽是同学，t 是简单命题 . 说明:
第一章命题逻辑 课外习题及解答 练习一 1、判断下列语句是否是命题，若是命题则请将其形式化： （1）a+b （2）x>0 （3）“请进！” （4）所有的人都是要死的，但有人不怕死。 （5）我明天或后天去苏州。 （6）我明天或后天去苏州的说法是谣传。 （7）我明天或后天去北京或天津。 （8）如果买不到飞机票，我哪儿也不去。 （9）只要他出门，他必买书，不管他余款多不多。 （10）除非你陪伴我或代我雇辆车子，否则我不去。 （11）只要充分考虑一切论证，就可得到可靠见解；必须充分考虑一切论证，才能得到可靠见解。 （12）如果只有懂得希腊文才能了解柏拉图，那么我不了解柏拉图。 （13）不管你和他去不去，我去。 （14）侈而惰者贫，而力而俭者富。（韩非：《韩非子?显学》） （15）骐骥一跃，不能十步；驽马十驾，功在不舍；锲而舍之，朽木不折；锲而不舍，金石可镂。（荀况：《荀子?劝学》） 解（1）a+b 不是命题 （2）x>0 不是命题（x是变元） （3）“请进！”不是命题 （4）所有的人都是要死的，但有人不怕死。是命题 可表示为p∧┐q，其中p：所有的人都是要死的，q：所有的人都怕死（5）我明天或后天去苏州。是命题 可表示为p∨q，其中p：我明天去苏州；q：我后天去苏州 （6）我明天或后天去苏州的说法是谣传。是命题 可表示为┐(p∨q)，其中p、q同（5） （7）我明天或后天去北京或天津。是命题 可表示为p∨q∨r∨s，其中p：我明天去北京，q：我明天去天津，r：我后天去北京，s：我后天去天津 （8）如果买不到飞机票，我哪儿也不去。是命题 可表示为┐p→┐q，其中，p：我买到飞机票，q：我出去 （9）只要他出门，他必买书，不管他余款多不多。是命题 可表示为(p∧q→r)∧(┐p∧q→r)或q→r，其中p：他余款多，q：他出门，r：他买书（10）除非你陪伴我或代我雇辆车子，否则我不去。是命题 可表示为(p∨q) ? r，其中p：你陪伴我，q：你代我雇车，r：我去 （11）只要充分考虑一切论证，就可得到可靠见解；必须充分考虑一切论证，才能得到可靠见解。是命题 可表示为(p→q) ∧(q→p )或p ?q，其中p：你充分考虑了一切论证，q：你得到了可靠见解 （12）如果只有懂得希腊文才能了解柏拉图，那么我不了解柏拉图。是命题 可表示为(q→p ) →┐q，其中p：我懂得希腊文，q：我了解柏拉图 （13）不管你和他去不去，我去。是命题 可表示为(p→r) ∧(q→r) ∧( ┐p→r) ∧( ┐q→r)或r，其中p：你去，q：他去，r：我去
习题1 1．下列句子中那些是命题？ (1) 4是无理数. (2) 2+5＝8. (3) x+5＞3. (4) 你有铅笔吗？ (5) 这只兔子跑得真快呀！ (6) 请不要讲话！ (7) 我正在说谎话. 解：(1)(2)是命题。(7)是悖论。 2．判断下列语句是不是命题。若是，给出命题的真值。（1）北京是中华人民共和国的首都。 （2）陕西师大是一座工厂。 （3）你喜欢唱歌吗？ （4）若7+8＞18，则三角形有4条边。 （5）前进！ （6）给我一杯水吧！ 解：(1)(2)(4)是命题，真值分别是1,0,1。 3．写出下列命题的否定式： （1）存在一些人是大学生； （2）所有的人都是要死的； （3）并非花都有香味。 解：(1) 不存在一些人是大学生。 （2）并非所有的人都是要死的； （3）花都有香味。 4．设P：我生病，Q：我去学校，符号化下列命题。 (1) 只有在生病时，我才不去学校。 (2) 若我生病，则我不去学校。 (3) 当且仅当我生病时，我才不去学校。 (4) 若我不生病，则我一定去学校。 解：（1）Q→P （2）P→Q （3）P Q （4）P→Q 5．设p：李平聪明，q：李平用功。符号化下列命题。 (1) 李平既聪明又用功。 (2) 李平虽然聪明，但不用功。 (3) 李平不但聪明，而且用功。
(4) 李平不是不聪明，而是不用功。 (5) 张三或李四都可以做这件事。 解：（1）p ∧q （2）p ∧q （3）p ∧q （4）(p)∧q ，或p ∧q （5）设p ：张三可以做这件事，q ：李四可以做这件事。命题符号化为p ∨q 。 6．设p ：天下雨，q ：我骑车上班。符号化下列命题。 (1) 如果天不下雨，我就骑车上班。 (2) 只要天不下雨，我就骑车上班。 (3) 只有天不下雨，我才骑车上班。 (4) 除非天下雨，否则我就骑车上班。 (5) 如果天下雨，我就不骑车上班。 解：（1）p →q （2）p →q （3）q →p ，p →q （4）q →p ，p →q （5）p →q 7．将下列命题符号化。 (1) 小王是游泳冠军或百米赛跑冠军。 解：设p ：小王是游泳冠军，q ：小王是百米赛跑冠军。 原语句化为p ∨q 。 (2) 小王现在在宿舍或在图书馆。 解：设p ：小王在宿舍，q ：小王在图书馆。原语句化为p ∨q 。 (3) 选小王或小李中的一人当班长。 解：设p ：选小王当班长，q ：选小李当班长。 但因为p,q 不可能同时为真, 故应符号化为： (p ∧q)∨(p ∧q) (4) 如果我上街，我就去书店看看，除非我很累。 解：设ｐ：我上街，ｑ：我去书店看看，ｒ：我很累。 原语句化为ｒ→(ｐ→ｑ)或(ｒ∧ｐ)→ｑ。 (5) 小丽是计算机系的学生，她生于1982或1983年，她是三好生。 解：设p ：小丽是计算机系的学生，q ：小丽生于1982年，r ：小丽生于1983年，s ：小丽是三好生。原语句化为p ∧(q ∨r)∧s 。 (6) 我去镇上，当且仅当我有时间且天不下雪。 解：设p:我去镇上，q:我有时间，r:天下雪。原语句化为p ?q ∧r 。 (7) 我若去镇上则我有时间，并且我若有时间则去镇上。 解：设p:我去镇上，q:我有时间。原语句化为p ?q 。 (8) 我有时间或我去镇上，此话不对。 解：设p:我去镇上，q:我有时间。原语句化为(p ∨q)。 8.求下列命题公式的真值表。 (1)()p p q ∧→? (2)()()p q q p ?→→→?
一、命题符号化 1、设p：天下雪。q：我将去镇上。r：我有时间。 (1)如果天不下雪且我有时间，那么我将去镇上。 (2)我将去镇上，仅当我有时间。 (3)天下雪，那么我不去镇上。 2、令p：你给我写信。q：信在途中丢失了。 或者你没有给我写信，或者它在途中丢失了。 3、令p：我们划船。q：我们跑步。 我们不能既划船又跑步 4、令p：你来了。q：你为他伴奏。r：他唱歌。 如果你来了，那么他唱不唱歌将看你是否为他伴奏而定。 5、令p：上午下雨。q：我去看电影。r：我在家里读书。s：我在家里看报。 假如上午不下雨，我去看电影，否则就在家里读书或看报。 6、令p：我今天进城。q：今天下雨。 我今天进城，除非下雨。 7、令p：你走。q：我留下。 仅当你走我将留下。 二、证明：(p→q)→(p→(p∧q))是永真式。 三、证明((A∧B)→C)∧(B→(D∨C))=(B∧(D→A))→C 四、化简(A∧B∧C)∨(?A∧B∧C） 五、A,B,C,D四个人中要派两个人出差，按下述三个条件有几种派
法？ ①若A去则C和D中要去一个人。 ②B和C不能都去。 ③C去则D要留下。 六、用逻辑演绎推理法证明 七、逻辑推理：请根据下面事实，找出凶手。 1. 清洁工或者秘书谋害了经理。 2. 如果清洁工谋害了经理，则谋害不会发生在午夜前。 3.如果秘书的证词是正确的，则谋害发生在午夜前。 4.如果秘书的证词不正确，则午夜时屋里灯光未灭。 5. 如果清洁工富裕，则他不会谋害经理。 6.经理有钱且清洁工不富裕。 7.午夜时屋里灯灭了。 令p: 清洁工谋害了经理。q: 秘书谋害了经理。 r: 谋害发生在午夜前。s: 秘书的证词是正确的。 t: 午夜时屋里灯光灭了。u: 清洁工富裕。v: 经理有钱。
第一章命题逻辑 1.什么叫做命题？是陈述句子都是命题吗？请举例说明之。 2.命题的真值有几种？为什么？并说明这些真值的定义。 3.判断下面句子哪些是命题。如果是命题，说出它的真值。 1．离散数学是计算机科学与技术专业的理论基础。 2．2不是素数。 3．x＋y＝6 4．明天有雨吗？ 5．火星上也有过人类。 4.什么叫做简单命题？什么叫做复合命题？如何表示复合命题？ 5.命题逻辑中定义了几个逻辑联结词？都用什么符号表示？分别叫做什么名称？在自然语言中都表达什么含义？ 6.填空：P、Q是命题变元，则 P∧Q的真值为真，当且仅当( ) P∨Q的真值为假，当且仅当（） P∨Q的真值为假，当且仅当( ) P→Q的真值为假，当且仅当（） P?Q的真值为真，当且仅当( )
8.填空 已知P∧Q为T，则P为( )，Q为( )。 已知P∨Q为F，则P为( )，Q为( )。 已知P为F，则P∧Q为( )。 9.填空 已知P为T，则P∨Q为( )。 已知P∨Q为T，且P为F ，则Q为( )。 10.填空 已知P为F，则P→Q为( )。 已知Q为T，则P→Q为( )。 11.填空 已知P为T，P→Q为T，则Q为( )。 已知?Q为T, P→Q为T，则P为( )。 已知P?Q为T，P为T , 则Q为( )。 12.填空 已知P?Q为F，P为T , 则Q为( )。 P?P 的真值为( )。 P→P 的真值为( )。 13.设P,Q,R代表的意义如下： P：苹果是甜的。 Q：苹果是红的。 R：我买苹果。 试用自然语言说明下面复合命题所表示的含义。 1．(P∧Q)→R 2．(?P∧?Q)→?R 3．R?(P∧Q)
谓词逻辑习题 1. 将下列命题用谓词符号化。 （1）小王学过英语和法语。 （2）2大于3仅当2大于4。 （3）3不是偶数。 （4）2或3是质数。 （5）除非李键是东北人，否则他一定怕冷。 解： (1) 令)(x P ：x 学过英语，Q(x)：x 学过法语，c ：小王，命题符号化为)()(c Q c P ∧ (2) 令),(y x P ：x 大于y, 命题符号化为)3,2()4,2(P P → (3) 令)(x P ：x 是偶数，命题符号化为)3(P ? (4) 令)(x P ：x 是质数，命题符号化为)3()2(P P ∨ (5) 令)(x P ：x 是北方人；)(x Q ：x 怕冷；c ：李键；命题符号化为)()(x P c Q ?→ 2. 设个体域}{c b a D ，，=，消去下列各式的量词。 （1）))()((y Q x P y x ∧?? （2）))()((y Q x P y x ∨?? （3）)()(y yQ x xP ?→? （4）))()((y yQ y x P x ?→?， 解： (1) 中))()(()(y Q x P y x A ∧?=，显然)(x A 对y 是自由的，故可使用UE 规则，得到 ))()(()(y Q y P y y A ∧?=，因此))()(())()((y Q y P y y Q x P y x ∧?∧??α，再用ES 规则， )()())()((z Q z P y Q y P y ∧∧?α，D z ∈，所以)()())()((z Q z P y Q x P y x ∧∧??α （2）中))()(()(y Q x P y x A ∨?=，它对y 不是自由的，故不能用UI 规则，然而，对 )(x A 中约束变元y 改名z ，得到))()((z Q x P z ∨?，这时用UI 规则，可得： ))()((y Q x P y x ∨?? ))()((z Q x P z x ∨??? ))()((z Q x P z ∨?α （3）略 （4）略 3. 设谓词)(y x P ，表示“x 等于y ”，个体变元x 和y 的个体域都是}321 {，，=D 。求下列各式的真值。 （1）)3(，x xP ? （2）)1 (y yP ，? （3）)(y x yP x ，?? （4）)(y x yP x ，?? （5）)(y x yP x ， ?? （6）)(y x xP y ， ??
第一章命题逻辑 一、选择： 1．下列句子中哪些是命题。 （1）我是教师。（2）禁止吸烟。（3）蚊子是鸟类动物。（4）上课去！（5）月亮比地球大。 选项：①（1）（2）（4）（5）②（1）（2）（3）（4） ③（1）（3）（5）④（1）（3）（4）（5） 2．设P：我生病，Q：我去学校。 （1）虽然我生病，但我仍去学校。符号化为： （2）只有在生病的时候，我才不去学校。符号化为： （3）如果我生病，那么我不去学校。符号化为： 选项：①P∨Q ②P∧Q ③P→Q ④P→?Q ⑤P?Q ⑥?Q→P 3．对于下列各式： （1）(P∧(P→Q))→Q （2）P→(P∨Q) （3）Q→(P∧Q) （4）(?P∧(P∨Q))→Q （5）(P→Q)→Q 永真式有： ①（1）（2）（3）②（1）（3）（5）③（1）（3）（4） ④（1）（2）（4）⑤（1）（2）（3）（4）⑥（1）（2）（3）（4）（5）4．求与下列各式逻辑等价的命题公式。
（1）P??Q?（2）P∧(P∨Q)? （3）(P∨(P∧Q))→R?（4）P→(P→Q)? ①P②P→R③(?P∨Q)∧(P∨?Q) ④(P∨Q)∧(?P∨?Q) ⑤P→Q⑥P∧R 5．对于前提：A→B, C→?B, C∨D, D→?B，其有效结论为： ①A②B③C④D⑤?A⑥?B ⑦?C ⑧?D 6．对于前提：S→?Q, S∨R, ?R, ?P?Q，其有效结论为： ①?S②Q③R④P⑤?P 7．对于下列各式： （1）(?P∧Q)∨(?P∧?Q) 可化简为 （2）Q→(P∨(P∧Q)) 可化简为 （3）((?P∨Q)?(?Q→?P))∧P 可化简为 ①P②?P③Q ④?Q⑤Q→P⑥P→Q 8．对于下列命题公式的主析取范式， （1）(P∨Q)∧(?P∨?Q)∧(?P∨Q) 有个极小项。 （2）(P∧Q)∨(?P∧Q)) 有个极小项。 （3）P∨Q∨R 有个极小项。 ①1 ②2 ③3 ④4 ⑤5 ⑥6 ⑦7 ⑧8
第一章命题逻辑 1.1第7页 1. 给出下列命题的否定命题： （1）大连的每条街道都临海。 否命题：不是大连的每条街道都临海。 （2）每一个素数都是奇数。 否命题： 并非每一个素数都是奇数。 2. 对下述命题用中文写出语句： （1）()P R Q ?∧→ 如果非P 与R ，那么Q 。 （2）Q R ∧ Q 并且R 。 4. 给出命题P Q →，我们把Q P →、P Q ?→?、Q P ?→?分别称为命题P Q →的逆命题、反命题、逆反命题。 （1）如果天不下雨，我将去公园。 解：逆命题：如果我去公园，则天不下雨； 反命题：如果天下雨，则我不去公园； 逆反命题：如果我不去公园，则天下雨了。 （2）仅当你去我才逗留。 解：（此题注意：p 仅当q 翻译成p q →） 逆命题：如果你去，那么我逗留。 反命题：如果我不逗留，那么你没去。 逆反命题：如果你没去，那么我不逗留。 （3）如果n 是大于2的正整数，那么方程n n n x y z +=无整数解。 解：逆命题：如果方程n n n x y z +=无整数解，那么n 是大于2的正整数。 反命题：如果n 不是大于2的正整数，那么方程n n n x y z +=有整数解。 逆反命题：如果方程n n n x y z +=有整数解，那么n 不是大于2的正整数。 7. 给P 和Q 指派真值T ，给R 和S 指派真值F ，求出下列命题的真值。 （1）(()(()()))P Q R Q P R S ?∧∨?∨??→∨? =(()(()()))T T F T T F F ?∧∨?∨??→∨? =()T F T ?∨→ =T F ∨ =T （2）()Q P Q P ∧→→ =()T T T T ∧→→ =T T T ∧→ =T T → =T （3）((()))()P Q R P Q S ∨→∧??∨? =((()))()T T F T T F ∨→∧??∨? =(())T T F T ∨→? =T T ? =T （4）()()P R Q S →∧?→
第一章命题逻辑基本概念课后练习题答案 1、是命题的为（1）、（2）、（3）、（6）、（7）、（10）、（11）、（12）、（13） 是简单命题的为（1）、（2）、（7）、（10）、（13） 是真命题的为（1）、（2）、（3）、（10）、（11） 真值现在不知道的为（13） 2、3略 4.将下列命题符号化，并指出真值：
（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. 5.将下列命题符号化，并指出真值： （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； 6.（1）(┐p∧q)∨(p∧┐q),其中，小丽从筐里拿一个苹果，q：小丽从筐里拿一个梨； （2）(p∧┐q)∨(┐p∧q),其中，p：刘晓月选学英语，q：刘晓月选学日语；. 7.因为p与q不能同时为真. 8. 设p:2<1，q:3<2 (1) p→q，真值为1 (2) p→┐q，真值为1 (3) ┐q→p，真值为0 (4) ┐q→p，真值为0 (5) ┐q→p，真值为0 (6) p→q，真值为1 9.（2）、（6）真值为0，其余为1 10. （1）、（4）真值为0，其余为1 11、12略 13.设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. 14略 15、p、q为真命题，r为假命题，（4）的真值为1，其余为0 16、（4）的真值为1，其余为0 17、真 18、小王会唱歌，小李不会跳舞 19、（1）（4）（6）为重言式，（3）为矛盾式，其余为非重言式的可满足式 20、（1）01,10,11 （2）00,10,11 （3）00,01,10 （4）01,10,11 21、（1）011；（2）010,110,101,100；（3）100,101
第一章命题逻辑 习题与解答 ⒈判断下列语句是否为命题，并讨论命题的真值。 ⑴0 x。 - 2= 3 ⑵前进！ ⑶如果20 +，则三角形有四条边。 8> 7 ⑷请勿吸烟！ ⑸你喜欢鲁迅的作品吗？ ⑹如果太阳从西方升起，你就可以长生不老。 ⑺如果太阳从东方升起，你就可以长生不老。 解⑶,⑹,⑺表达命题，其中⑶,⑹表达真命题，⑺表达假命题。 ⒉将下列命题符号化： ⑴逻辑不是枯燥无味的。 ⑵我看见的既不是小张也不是老李。 ⑶他生于1963年或1964年。 ⑷只有不怕困难，才能战胜困难。 ⑸只要上街，我就去书店。 ⑹如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐。 ⑺如果林芳在家里，那么他不是在做作业就是在看电视。 ⑻三角形三条边相等是三个角相等的充分条件。 ⑼我进城的必要条件是我有时间。 ⑽他唱歌的充分必要条件是心情愉快。 ⑾小王总是在图书馆看书，除非他病了或者图书馆不开门。 解⑴p：逻辑是枯燥无味的。 “逻辑不是枯燥无味的”符号化为p ?。 ⑵p：我看见的是小张。q：我看见的是老李。 “我看见的既不是小张也不是老李”符号化为q ?。 ∧ p? ⑶p：他生于1963年。q：他生于1964年。 “他生于1963年或1964年”符号化为q p⊕。 ⑷p：害怕困难。q：战胜困难。 “只有不怕困难，才能战胜困难”符号化为p q? →。 ⑸p：我上街。q：我去书店。 “只要上街，我就去书店”符号化为q p→。 ⑹p：小杨晚上做完了作业。q：小杨晚上没有其它事情。 r：小杨晚上看电视。s：小杨晚上听音乐。 “如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐”符号化为→ ∧。 p∨ s r q ⑺p：林芳在家里。q：林芳做作业。r：林芳看电视。 “如果林芳在家里，那么他不是在做作业就是在看电视”符号化为r →。 q p∨
命题逻辑 一、选择题(每题３分) 1、下列句子中哪个是命题？ ( C ） A 、你的离散数学考试通过了吗？ B 、请系好安全带！ Ｃ、 π是有理数 D 、 本命题是假的 2、下列句子中哪个不是命题？ （ C ） Ａ、你通过了离散数学考试 Ｂ、我俩五百年前是一家 Ｃ、 我说的是真话 D 、 淮海工学院是一座工厂 ３、下列联接词运算不可交换的是(C) A 、∧B 、∨C 、→D 、? ４、命题公式P Q ?→不能表述为（ Ｂ ) A 、P 或Q B 、非P 每当Q C 、非P 仅当Q Ｄ、除非P ，否则Q 5、永真式的否定是 ( B ) Ａ、 永真式 B 、永假式 C 、可满足式 D 、 以上答案均有可能 6、下列哪组赋值使命题公式()P P Q →∧的真值为假( D) A 、P 假Q 真 Ｂ、P 假Q 假 Ｃ、P 真Q 真 Ｄ、P 真Q 假 7、下列为命题公式()P Q R ∧∨?成假指派的是( B ) A 、100 B 、101 C 、110Ｄ、111 8、 下列公式中为永真式的是（Ｃ) A 、()P P Q →∧ B 、()P P Q ?→∧ C 、()P Q Q ∧→ D 、()P Q Q ∨→ 9、 下列公式中为非永真式的是( Ｂ ） A 、()P P Q ∧?→ B 、()P P Q ∨?→Ｃ、()P P Q ∧?→Ｄ、()P P Q ∨?→ １0、下列表达式错误的是( Ｄ) A 、()P P Q P ∨∧? B 、()P P Q P ∧∨? Ｃ、()P P Q P Q ∨?∧?∨D 、()P P Q P Q ∧?∨?∨ １１、下列表达式正确的是( D) A 、P P Q ?∧ B 、P Q P ?∨ C 、()Q P Q ???→ D 、Q Q P ??→?)( 12、下列四个命题中真值为真的命题为( B ) (1）224+=当且仅当3是奇数 (２）224+=当且仅当3不是奇数; （3）224+≠当且仅当3是奇数 (4)224+≠当且仅当3不是奇数 Ａ、(1）与（2） B 、（1）与（４) C 、（2)与（４) D 、（3）与(４） 13、设P ：龙凤呈祥是成语，Q ：雪是黑的,R :太阳从东方升起,则下列假命题为( Ａ ) Ａ、R Q P ∧→Ｂ、Q P S →∧Ｃ、P Q R →∨Ｄ、Q P S →∨ 1４、设P :我累，Q :我去打球，则命题:“除非我累,否则我去打球”的符号化为（ Ｂ ） A 、P Q →B 、Q P ?→ Ｃ、Q P →?Ｄ、P Q ?→? １5、设P :我听课，Q :我睡觉,则命题 “我不能一边听课,一边睡觉”的符号化为( B ） A 、P Q →B 、Q P ?→ Ｃ、Q P →?D 、P Q ?→? 提示：()P Q P Q ?∧?→? 1６、设P ：停机；Q ：语法错误；R ：程序错误, 则命题 “停机的原因在于语法错误或程序错误” 的符号化为（ Ｄ ） A 、R Q P ∧→Ｂ、P Q R →∨C 、Q R P ∧→Ｄ、Q R P ∨→ １7、设P ：你来了；Q ：他唱歌;R ：你伴奏 则命题 “如果你来了,那末他唱不唱歌将看你是否伴奏而定” 的符号化为（ D ） A 、()P Q R →∧B 、()P Q R →→C 、()P R Q →→Ｄ、()P Q R →?
第二章作业 1 评分要求： 2 1. 每小题6分: 结果正确1分; 方法格式正确3分; 计算过程2分. 合计48 3 分 4 2. 给出每小题得分(注意: 写出扣分理由) 5 3. 总得分在采分点1处正确设置. 6 一. 证明下面等值式(真值表法, 解逻辑方程法, 等值演算法, 三种方 7 法每种方法至少使用一次): 8 说明 9 证 10 1. p ?(p ∧q)∨(p ∧?q) 11 解逻辑方程法 12 设 p ?((p ∧q)∨(p ∧?q)) =0, 分两种情况讨论: 13 ?? ?=?∧∨∧=0)()(1 )1(q p q p p 或者 14 ?? ?=?∧∨∧=1 )()(0 )2(q p q p p 15 (1)(2)两种情况均无解, 从而, p ?(p ∧q)∨(p ∧?q)无成假赋值, 为永真式. 16 等值演算法 17 (p ∧q)∨(p ∧?q) 18 ? p ∧(q ∨?q) ∧对∨的分配率 19 ? p ∧1 排中律 20
? p 同一律 21 真值表法 22 即 p? ((p∧q)∨(p∧?q))为永真式, 得证23 2. (p→q)∧(p→r)?p→(q∧r) 24 等值演算法 25 (p→q)∧(p→r) 26 ? (?p∨q)∧(?p∨r)蕴含等值式 27 ??p∨(q∧r)析取对合取的分配律 28 ? p→(q∧r)蕴含等值式 29 3. ?(p?q)?(p∨q)∧?(p∧q) 30 等值演算法 31 ?(p?q) 32 ??( (p→q)∧(q→p) )等价等值式 33 ??( (?p∨q)∧(?q∨p) )蕴含等值式 34