命题逻辑复习题和答案
考试题逻辑推理题及答案
考试题逻辑推理题及答案一、选择题1. 如果所有的苹果都是水果，而有些水果是绿色的，那么可以推断出：A. 所有的苹果都是绿色的。
B. 有些苹果可能是绿色的。
C. 没有苹果是绿色的。
D. 所有的水果都是苹果。
答案：B2. 假设在一个逻辑系统中，P代表“下雨”，Q代表“地面湿”，如果P导致Q，并且Q为真，那么根据这个逻辑系统，我们可以推断：A. P一定为真。
B. P可能为真。
C. P一定为假。
D. 无法确定P的真假。
答案：B二、判断题1. 如果所有的猫都怕水，而小明的宠物是猫，那么小明的宠物一定怕水。
答案：正确2. 如果一个人是医生，那么他一定有医学学位。
但是，如果一个人有医学学位，他不一定是医生。
答案：错误三、简答题1. 描述逻辑推理中的“演绎推理”和“归纳推理”的区别。
答案：演绎推理是从一般到特殊的推理过程，即从一个普遍的前提出发，通过逻辑推导得出特定情况下的结论。
归纳推理则是从特殊到一般的推理过程，即通过观察多个特定情况，总结出一个普遍性的结论。
2. 解释“逆否命题”在逻辑推理中的作用。
答案：逆否命题是原命题的否定形式，它在逻辑推理中的作用是帮助我们通过否定结论来检验原命题的真伪。
如果逆否命题为真，则原命题也为真；如果逆否命题为假，则原命题也为假。
四、案例分析题1. 某公司规定，只有获得优秀评价的员工才能获得年终奖。
张三获得了年终奖，根据这个规定，请分析张三是否获得了优秀评价。
答案：根据规定，获得年终奖的条件是获得优秀评价。
由于张三获得了年终奖，我们可以推断张三一定获得了优秀评价。
2. 如果在一个逻辑系统中，A导致B，B导致C，那么A是否一定导致C？答案：在逻辑系统中，如果A导致B，B导致C，那么在没有其他干扰因素的情况下，A确实会导致C。
这是因为A导致B，B又导致C，形成了一个因果链。
但是，如果系统中存在其他因素影响B到C的逻辑关系，那么A不一定导致C。
命题逻辑和谓词逻辑习题课的题目及参考答案
命题逻辑和谓词逻辑习题课的题目及参考答案说明：红色标注题目可以暂且不做命题逻辑和谓词逻辑习题课的题目一、填空1、若P，Q，为二命题，QP→真值为0 当且仅当。
2、命题“对于任意给定的正实数，都存在比它大的实数”令F(x)：x为实数，y,(x:)L>yx 则命题的逻辑谓词公式为。
3、谓词合式公式)(xP∃∀的前束范式x→)(xxQ为。
4、将量词辖域中出现的和指导变元交换为另一变元符号，公式其余的部分不变，这种方法称为换名规则。
5、设x是谓词合式公式A的一个客体变元，A的论域为D，A(x)关于y是自由的，则被称为存在量词消去规则，记为ES。
6．设P，Q 的真值为0，R，S的真值为1，则→∨QP⌝∨⌝的真值→∧⌝(S)))(R()PR(= 。
7．公式P∧)()(的主合取范式为∨RSRP⌝∨∧。
8．若解释I的论域D仅包含一个元素，则)(→xP∀∃在I下真值为(x)xPx。
9. P：你努力，Q：你失败。
“除非你努力，否则你将失败”的翻译为；“虽然你努力了，但还是失败了”的翻译为。
10. 论域D={1，2}，指定谓词P则公式),(x y∀真值yPx∃为。
11.P，Q真值为0 ；R，S真值为1。
则PSwff∧R∨∧的真值∨→∧P)())Q((R))(S(为。
12. R⌝))((的主合取范式R∧Q∨Pwff→为。
13.设P（x）：x是素数，E(x)：x 是偶数，O(x)：x是奇数N (x,y)：x可以整数y。
则谓词)))xPyOywff∧∀的自然语言是→∃x))(N(,y((x(。
14.谓词)),,(yxzPxz∀的前束∀P∃∧→wff∃(u),(,))y(zuQx(y范式为。
二、选择1、下列语句是命题的有（）。
A、明年中秋节的晚上是晴天；B、0>x；+yC、0>xy当且仅当x和y都大于0；D、我正在说谎。
2、下列各命题中真值为真的命题有（）。
A、2+2=4当且仅当3是奇数；B、2+2=4当且仅当3不是奇数；C、2+2≠4当且仅当3是奇数；D、2+2≠4当且仅当3不是奇数；3、 下列符号串是合式公式的有（ ）A 、Q P ⇔；B 、Q P P ∨⇒；C 、)()(Q P Q P ⌝∨∧∨⌝；D 、)(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 或QB 、非P 每当QC 、非P 仅当QD 、除非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 、100B 、101C 、110D 、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 、 不能够确定 19、在命题逻辑中，任何非永假命题公式的主析取范式都是（ A ）A 、 存在并且唯一B 、存在但不唯一C 、 不存在D 、 不能够确定 20、n 个命题变元所产生互不等价的极小项项数为（ D ）A 、nB 、2nC 、2n D 、2n 21、n 个命题变元所产生互不等价的极大项项数为（ D ）A 、nB 、2nC 、2n D 、2n二、填充题（每题4分）1、设P ：你努力，Q ：你失败，则 “虽然你努力了，但还是失败了” 符号化为Q P ∧.2、设P ：它占据空间，Q ：它有质量，R ：它不断运动，S ：它叫做物质， 则 “占据空间的，有质量的而且不断运动的叫做物质”符号化为R Q P S ∧∧↔.3、一个命题含有n 个原子命题，则对其所有可能赋值有2n 种.4、推理规则()A A B B ∧→→的名称为假言推理.5、推理规则()B A B A ⌝∧→→⌝的名称为拒取式.6、推理规则()A A B B ⌝∧∨⇒的名称为析取三段论.7、推理规则()()A B B C A C →∧→⇒→的名称为前提三段论.8、当赋予极小项足标相同的指派时，该极小项的真值为1，当赋予极大项足标相同的指派时，该极大项的真值为0.9、任意两个不同极小项的合取式的真值为0，而全体极小项的析取式的真值为1. 10、任意两个不同极大项的析取式的真值为1，而全体极大项的合取式的真值为0. 11、n 个命题变元可构造包括F 的不同的主析取范式类别为22n.12、n 个命题变元可构造包括T 的不同的主合取范式类别为22n.三、问答题（每题6分）1、设A 、B 是任意命题公式，请问,A B A B →⇒分别表示什么其有何关系 答：A B →表示A 蕴含B ，A B ⇒表示A 永真蕴含B ； 其关系表现为：若A B →为永真式，则有A B ⇒.2、设A 、B 是任意命题公式，请问,A B A B ↔⇔分别表示什么其有何关系 答：A B ↔表示A 等值于B ，A B ⇔表示A 与B 逻辑等价； 其关系表现为：若A B ↔为永真式，则有A B ⇔.3、设A 、B 、C 是任意命题公式，若A C B C ∨⇔∨ ，则A B ⇔成立吗为什么 答：不一定有A B ⇔；若A 为真，B 为假，C 为真，则A C B C ∨⇔∨成立，但A B ⇔不成立.4、设A 、B 、C 是任意命题公式，若A C B C ∧⇔∧ ，则A B ⇔成立吗为什么 答：不一定有A B ⇔；若A 为真，B 为假，C 为假，则A C B C ∧⇔∧成立，但A B ⇔不成立. 5、设A 、B 是任意命题公式，()A A B B ∧→→一定为真吗为什么答：一定为真；因()()()()A A B B A A B B A A A B B ∧→→⇔∧⌝∨→⇔∧⌝∨∧→()F A B B A B B T ⇔∨∧→⇔∧→⇔.（用真值表也可证明）6、设A 、B 是任意命题公式，()()A B A B A →∧→⌝↔⌝一定为真吗为什么答：一定为真；因()()()()()A B A B A B A B A B B →∧→⌝⇔⌝∨∧⌝∨⌝⇔⌝∨∧⌝ A F A ⇔⌝∨⇔⌝.（用真值表也可证明）四、填表计算题（每题10分）1、对命题公式 ()()A p q p q =⌝→∧∨，要求（1）用0或1填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式. 解：p q p q → ()p q ⌝→p q ∨A0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 1111主析取范式(2)A ⇔∑ ；主合取范式(0,1,3)A ⇔∏.2、对命题公式 ()A p q r =→↔，要求（1）用0或1填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式. 解：p q rp q → A 0 0 01 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 11111主析取范式(1,3,4,7)A ⇔∑ ；主合取范式(0,2,5,6)A ⇔∏.3、对命题公式 ()()A p q p r =∧∨∧，要求（1）用0或1填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式. 解：p q rp q ∧ p r ∧ A0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 111111主析取范式(5,6,7)A ⇔∑ ；主合取范式(0,1,2,3,4)A ⇔∏.4、对命题公式()()A p q p r =⌝→∧→，要求（1）用0或1填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式. 解：主析取范式(2,3,5,7)A ⇔∑ ；主合取范式(0,1,4,6)A ⇔∏.5、对命题公式()A p q r =⌝∨⌝→，要求（1）用0或1填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式. 解：主析取范式(1,3,5,6,7)A ⇔∑ ；主合取范式(0,2,4)A ⇔∏.五、证明题（每题10分）1、证明下列逻辑恒等式：()()()P Q R Q P R Q →∧→⇔∨→. 证明 ： 左()()()P Q R Q P R Q ⇔⌝∨∧⌝∨⇔⌝∧⌝∨()P R Q P R Q ⇔⌝∨∨⇔∨→⇔右.（用真值表也可证明） 2、证明下列逻辑恒等式： P Q R R Q P ⌝∧⌝→⌝⇔→∨. 证明：左()P Q R P Q R ⇔⌝⌝∧⌝∨⌝⇔∨∨⌝()R Q P R Q P ⇔⌝∨∨⇔→∨⇔右.（用真值表也可证明）3、证明下列逻辑恒等式：()()()P Q P Q P Q ⌝↔⇔∨∧⌝∧. 证明：左()()()()()P Q P Q P Q P Q ⇔⌝∨⌝∧⌝∨⇔⌝∨⌝∨⌝⌝∨()()()()()()Q Q P Q Q P P P Q P Q P ⌝∨∧∨∧⌝∧⌝∧⌝∨⇔⌝∧∨∧⌝⇔()()⇔⌝∨⌝∧∨⇔Q P Q P ()()P Q P Q ∨∧⌝∧右⇔.（用真值表也可证明）4、用逻辑推理规则证明： ()a b c ∧→ ，d ⌝ ，c d ⌝∨ ⇒ a b ⌝∨⌝ . 证明:(1) c d ⌝∨ P(2) d ⌝ P(3)c ⌝ T (1),(2) (析取三段论) (4) ()a b c ∧→ P (5)()a b ⌝∧ T (3)，(4) (拒取式) (6) a b ⌝∨⌝ T (5) (德.摩根律) .5、用逻辑推理规则证明： , ,p q p s s r r q ∨→→⇒⌝→. 证明: (1) p s →P (2) s r → P(3) p r →T (1),(2) (前提三段论)(4)r p ⌝→⌝ T (3) (逆反律) (5)p q ∨ P (6)p q ⌝→ T (5) (蕴含表达式) (7)r q ⌝→ T (4)，(6) (前提三段论) .6、用逻辑推理规则证明：p q →，p r ∧， q r ⌝∨，r ⌝，s p s ⌝∨⇒⌝. 证明: (1) r ⌝ P(2) q r ⌝∨ P(3) q ⌝ T (1),(2) (析取三段论) (4)p q → P(5) p ⌝ T (3)，(4) (拒取式) (6) s p ⌝∨ P (7) s ⌝ T (5)，(6) (析取三段论) .7、用逻辑推理规则证明：()()p q r s ⌝→→⌝∨，()q p r →∨⌝， r p q ⇒↔. 证明: (1) r P(2) ()q p r →∨⌝ P(3) q p → T (1),(2) (析取三段论) (4) r s ∨ T (1) (加法式)(5) ()()p q r s ⌝→→⌝∨ P (6) p q → T (4)，(5) (拒取式) (7) ()()p q q p →∧→T (3)，(6) (合取式)(8) p q ↔ T (7) (等值表达式) .8、用逻辑推理规则证明： , ,s p p r q r s q ⌝∨→∧⇒→.证明: (1) s P(2) s p ⌝∨ P(3) p T (1),(2) (析取三段论) (4) p r q →∧ P(5) r q ∧ T (3)，(4) (假言推理) (6) q T (5)（简化式） (7) s q → CP .9、用逻辑推理规则证明：()()p q r p q r ∨→⇒∧→ 证明：(1) p q ∧ P (附加前提)(2) p T (1)（简化式）(3) p q ∨ T (2)（加法式） (4) ()p q r ∨→ P(5) r T (3),(4)（假言推理） (6) ()()p q r p q r ∨→⇒∧→ CP .10、用逻辑推理规则证明：,,p q q r r s p s ⌝∨⌝∨→⇒→. 证明：（1）p P (附加前提)(2) p q ⌝∨ P(3) q T (1)，(2) (析取三段论) （4）q r ⌝∨ P(5) r T (3)，(4) (析取三段论) (6) r s → P(7) s T (5)，(6) （假言推理） (8) p s → CP .11、用逻辑推理规则证明：()()p q r s ∨→∧，()r s t p t ∨→⇒→ . 证明：（1）p P (附加前提) (2)p q ∨ T (1)（加法式） (3)()()p q r s ∨→∧ P(4)r s ∧ T (2)，(3)（假言推理） (5)r T (4)（简化式） (6)r s ∨ T (5)（加法式）(7)()r s t ∨→ P (8)t T (6)，(7)（假言推理）(9)p t → CP . 12、用逻辑推理规则证明：(),,t w s q s t s q t →⌝→⌝⌝∨→⌝⇒→ 证明：（1）q P (附加前提)(2) q s ⌝∨ P(3) s T (1)，(2) (析取三段论) (4) ()t w s →⌝→⌝ P(5)()t w ⌝→⌝ T (3)，(4) (拒取式)(6)()t w ⌝⌝∨⌝ T (5) (蕴含表达式) (7) t w ∧ T (6) (德.摩根律) (8) t T (7) (简化式)(9)q t → CP .13、用逻辑推理规则证明：a b c →∧，()e f c →⌝→⌝，()b a s →∧⌝⇒b e →. 证明：（1） b P (附加前提) （2）()b a s →∧⌝ P(3) a s ∧⌝ T (1)，(2) （假言推理） (4) a T (3) (简化式) (5) a b c →∧ P(6) b c ∧ T (4)，(5) （假言推理）(7) c T (6) (简化式) (8)()e f c →⌝→⌝ P(9) ()e f ⌝→⌝ T (7)，(8) (拒取式) (10)()e f ⌝⌝∨⌝ T (9) (蕴含表达式) (11) e f ∧ T (10) (德.摩根律) (12) e T (11) (简化式) (13) b e → CP .14、用逻辑推理规则证明：p q →，p q q ⌝→⇒. 证明：(1) q ⌝ P (附加前提) (2) p q → P(3) p ⌝ T (1),(2) (拒取式) (4) p q ⌝→ P(5) q T (3),(4) (假言推理) (6) q q ⌝∧ T (1),(5) (合取式)由（6）得出矛盾式，故原命题有效.15、用逻辑推理规则证明： p q ∧ ，()()p q t s ↔→∨ ⇒ t s ∨ . 证明:（1）()t s ⌝∨ P (附加前提)(2) ()()p q t s ↔→∨ P(3)()p q ⌝↔ T (1),(2) (拒取式)(4) (()())p q p q ⌝⌝∨∧∨⌝ T (3)（等值与蕴含表达式） (5) ()()p q p q ∧⌝∨⌝∧ T (4) (德.摩根律)(6) ()()p q p q ⌝∨⌝∧∨ T (5) (结合律或范式等价) . (7) p q ⌝∨⌝ T (7) (简化式) (8) ()p q ⌝∧ T (4) (德.摩根律) (9) p q ∧ P(10) ()()p q p q ⌝∧∧∧ T (9),(10) (合取式) 由（10）得出矛盾式，故原命题有效.16、用逻辑推理规则证明：p q →，p r ∧， ()q r ⌝∨不能同时为真. 证明：(1) p r ∧ P(2) p T (1) (简化式) (3) p q → P(4) q T (2),(3) (假言推理) (5) ()q r ⌝∨ P(6) q r ⌝∧⌝ T (5) (德.摩根律) (7) q ⌝ T (6) (简化式)(8) q q ⌝∧ T (4),(7) (合取式)由（8）得出矛盾式，故原命题有效.17、证明下列命题推得的结论有效：或者逻辑难学，或者有少数学生不喜欢它；如果数学容易学，那么逻辑并不难学.因此，如果许多学生喜欢逻辑，那么数学并不难学. 证明：设p ：逻辑难学；q ：有少数学生不喜欢逻辑学；r ：数学容易学.该推理就是要证明：, p q r p q r ∨→⌝⇒⌝→⌝. (1) p q ∨ P(2) p q ⌝→ T (1) (蕴含表达式) (3) r p →⌝ P(4) r q → T (2),(3) (前提三段论)(5) q r ⌝→⌝ T (4) (逆反律) .18、证明下列命题推得的结论有效：如果今天是星期三，那么我有一次离散数学或数字逻辑测验；如果离散数学课老师有事，那么没有离散数学测验；今天是星期三且离散数学老师有事.所以，我有一次数字逻辑测验.证明：设p ：今天是星期三；q ：我有一次离散数学测验；r ：我有一次数字逻辑测验；s ：离散数学课老师有事. 该推理就是要证明：(), , p q r s q p s r →∨→⌝∧⇒. (1) p s ∧ P(2) p T (1) (简化式) (3) s T (1) (简化式) (4) s q →⌝ P(5) q ⌝ T (3) ，(4) （假言推理）(6) ()p q r →∨ P(7) q r ∨ T (2) ，(6) （假言推理） (8) r T (5) ，(7) (析取三段论) .19、证明下列命题推得的结论有效：如果马会飞或羊吃草，则母鸡就会是飞鸟；如果母鸡是飞鸟，那么烤熟的鸭子还会跑；烤熟的鸭子不会跑.所以，羊不吃草。
逻辑测试题及答案
逻辑测试题及答案一、选择题1. 如果所有的苹果都是水果，那么以下哪个陈述是正确的？A. 所有的水果都是苹果B. 一些水果是苹果C. 没有水果是苹果D. 一些苹果不是水果答案：B2. 如果“如果下雨，那么地面会湿”，并且事实上地面湿了，那么以下哪个结论是正确的？A. 一定是下雨了B. 可能是下雨了C. 地面湿了，但不是因为下雨D. 地面湿了，但无法确定是否下雨答案：B二、判断题1. 如果所有的猫都怕水，那么一只怕水的动物一定是猫。
（）答案：错误2. 如果“如果今天是星期三，那么明天是星期四”，并且今天是星期三，那么明天是星期四。
（）答案：正确三、逻辑推理题1. 在一个班级里，如果一个学生是班长，那么他/她一定是数学成绩最好的学生。
现在我们知道小明是班长，那么小明的数学成绩是班级中最好的吗？答案：根据题目信息，我们可以推断小明的数学成绩是班级中最好的。
2. 一个逻辑学家说：“如果所有的天鹅都是白色的，那么所有非白色的鸟都不是天鹅。
”现在我们发现一只黑色的鸟，这只鸟是天鹅吗？答案：根据逻辑学家的陈述，我们可以推断这只黑色的鸟不是天鹅。
四、解答题1. 请解释“逆否命题”的概念，并给出一个例子。
答案：逆否命题是一个命题的逆命题的否定形式。
例如，如果原命题是“如果A，则B”，那么逆否命题是“如果非B，则非A”。
例如，原命题是“如果今天是周末，那么我不上班”，逆否命题则是“如果我上班，那么今天不是周末”。
2. 请解释“充分条件”和“必要条件”的区别。
答案：充分条件是指当一个条件存在时，必然导致某个结果发生；必要条件是指为了某个结果发生，必须存在的条件。
例如，对于命题“如果下雨，那么地面会湿”，“下雨”是“地面湿”的充分条件，而“地面湿”是“下雨”的必要条件。
(完整版)命题逻辑复习题及答案
命题逻辑一、选择题（每题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 或QB 、非P 每当QC 、非P 仅当QD 、除非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 、100B 、101C 、110D 、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 、 不能够确定19、在命题逻辑中，任何非永假命题公式的主析取范式都是（ A ）A 、 存在并且唯一B 、存在但不唯一C 、 不存在D 、 不能够确定 20、n 个命题变元所产生互不等价的极小项项数为（ D ）A 、nB 、2nC 、2n D 、2n 21、n 个命题变元所产生互不等价的极大项项数为（ D ）A 、nB 、2nC 、2n D 、2n二、填充题（每题4分）1、设P ：你努力，Q ：你失败，则 “虽然你努力了，但还是失败了” 符号化为Q P ∧.2、设P ：它占据空间，Q ：它有质量，R ：它不断运动，S ：它叫做物质， 则 “占据空间的，有质量的而且不断运动的叫做物质”符号化为R Q P S ∧∧↔.3、一个命题含有n 个原子命题，则对其所有可能赋值有2n 种.4、推理规则()A A B B ∧→→的名称为假言推理.5、推理规则()B A B A ⌝∧→→⌝的名称为拒取式.6、推理规则()A A B B ⌝∧∨⇒的名称为析取三段论.7、推理规则()()A B B C A C →∧→⇒→的名称为前提三段论.8、当赋予极小项足标相同的指派时，该极小项的真值为1，当赋予极大项足标相同的指派时，该极大项的真值为0.9、任意两个不同极小项的合取式的真值为0，而全体极小项的析取式的真值为1. 10、任意两个不同极大项的析取式的真值为1，而全体极大项的合取式的真值为0. 11、n 个命题变元可构造包括F 的不同的主析取范式类别为22n. 12、n 个命题变元可构造包括T 的不同的主合取范式类别为22n .三、问答题（每题6分）1、设A 、B 是任意命题公式，请问,A B A B →⇒分别表示什么？其有何关系？ 答：A B →表示A 蕴含B ，A B ⇒表示A 永真蕴含B ； 其关系表现为：若A B →为永真式，则有A B ⇒.2、设A 、B 是任意命题公式，请问,A B A B ↔⇔分别表示什么？其有何关系？ 答：A B ↔表示A 等值于B ，A B ⇔表示A 与B 逻辑等价； 其关系表现为：若A B ↔为永真式，则有A B ⇔.3、设A 、B 、C 是任意命题公式，若A C B C ∨⇔∨ ，则A B ⇔成立吗？为什么？ 答：不一定有A B ⇔；若A 为真，B 为假，C 为真，则A C B C ∨⇔∨成立，但A B ⇔不成立.4、设A 、B 、C 是任意命题公式，若A C B C ∧⇔∧ ，则A B ⇔成立吗？为什么？ 答：不一定有A B ⇔；若A 为真，B 为假，C 为假，则A C B C ∧⇔∧成立，但A B ⇔不成立. 5、设A 、B 是任意命题公式，()A A B B ∧→→一定为真吗？为什么？答：一定为真；因()()()()A A B B A A B B A A A B B ∧→→⇔∧⌝∨→⇔∧⌝∨∧→()F A B B A B B T ⇔∨∧→⇔∧→⇔.（用真值表也可证明）6、设A 、B 是任意命题公式，()()A B A B A →∧→⌝↔⌝一定为真吗？为什么？ 答：一定为真；因()()()()()A B A B A B A B A B B →∧→⌝⇔⌝∨∧⌝∨⌝⇔⌝∨∧⌝ A F A ⇔⌝∨⇔⌝.（用真值表也可证明）四、填表计算题（每题10分）1、对命题公式 ()()A p q p q =⌝→∧∨，要求（1）用0或1填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式. 解：p q p q → ()p q ⌝→p q ∨A 00 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 111 0 1主析取范式(2)A ⇔∑ ；主合取范式(0,1,3)A ⇔∏.2、对命题公式 ()A p q r =→↔，要求（1）用0或1填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式. 解：p q r p q → A 00 0 1 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 11111主析取范式(1,3,4,7)A ⇔∑ ；主合取范式(0,2,5,6)A ⇔∏.3、对命题公式 ()()A p q p r =∧∨∧，要求（1）用0或1填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式. 解：p q r p q ∧ p r ∧ A 00 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 111111主析取范式(5,6,7)A ⇔∑ ；主合取范式(0,1,2,3,4)A ⇔∏.4、对命题公式()()A p q p r =⌝→∧→，要求（1）用0或1填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式. 解：主析取范式(2,3,5,7)A ⇔∑ ；主合取范式(0,1,4,6)A ⇔∏.5、对命题公式()A p q r =⌝∨⌝→，要求（1）用0或1填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式. 解：主析取范式(1,3,5,6,7)A ⇔∑ ；主合取范式(0,2,4)A ⇔∏.五、证明题（每题10分）1、证明下列逻辑恒等式：()()()P Q R Q P R Q →∧→⇔∨→. 证明 ： 左()()()P Q R Q P R Q ⇔⌝∨∧⌝∨⇔⌝∧⌝∨()P R Q P R Q ⇔⌝∨∨⇔∨→⇔右.（用真值表也可证明） 2、证明下列逻辑恒等式： P Q R R Q P ⌝∧⌝→⌝⇔→∨. 证明：左()P Q R P Q R ⇔⌝⌝∧⌝∨⌝⇔∨∨⌝()R Q P R Q P ⇔⌝∨∨⇔→∨⇔右.（用真值表也可证明）3、证明下列逻辑恒等式：()()()P Q P Q P Q ⌝↔⇔∨∧⌝∧. 证明：左()()()()()P Q P Q P Q P Q ⇔⌝∨⌝∧⌝∨⇔⌝∨⌝∨⌝⌝∨()()()()()()Q Q P Q Q P P P Q P Q P ⌝∨∧∨∧⌝∧⌝∧⌝∨⇔⌝∧∨∧⌝⇔()()⇔⌝∨⌝∧∨⇔Q P Q P ()()P Q P Q ∨∧⌝∧右⇔.（用真值表也可证明）4、用逻辑推理规则证明： ()a b c ∧→ ，d ⌝ ，c d ⌝∨ ⇒ a b ⌝∨⌝ . 证明:(1) c d ⌝∨ P(2) d ⌝ P(3)c ⌝ T (1),(2) (析取三段论) (4) ()a b c ∧→ P(5)()a b ⌝∧ T (3)，(4) (拒取式) (6) a b ⌝∨⌝ T (5) (德.摩根律) . 5、用逻辑推理规则证明： , ,p q p s s r r q ∨→→⇒⌝→. 证明: (1) p s → P(2) s r → P (3) p r → T (1),(2) (前提三段论) (4)r p ⌝→⌝ T (3) (逆反律) (5)p q ∨ P (6)p q ⌝→ T (5) (蕴含表达式)(7)r q ⌝→ T (4)，(6) (前提三段论) .6、用逻辑推理规则证明：p q →，p r ∧， q r ⌝∨，r ⌝，s p s ⌝∨⇒⌝. 证明: (1) r ⌝ P(2) q r ⌝∨ P(3) q ⌝ T (1),(2) (析取三段论) (4)p q → P(5) p ⌝ T (3)，(4) (拒取式) (6) s p ⌝∨ P(7) s ⌝T (5)，(6) (析取三段论) .7、用逻辑推理规则证明：()()p q r s ⌝→→⌝∨，()q p r →∨⌝， r p q ⇒↔. 证明: (1) r P(2) ()q p r →∨⌝ P(3) q p → T (1),(2) (析取三段论) (4) r s ∨ T (1) (加法式)(5) ()()p q r s ⌝→→⌝∨ P (6) p q → T (4)，(5) (拒取式) (7) ()()p q q p →∧→ T (3)，(6) (合取式) (8) p q ↔ T (7) (等值表达式) .8、用逻辑推理规则证明： , ,s p p r q r s q ⌝∨→∧⇒→.证明: (1) s P(2) s p ⌝∨ P(3) p T (1),(2) (析取三段论)(4) p r q →∧ P(5) r q ∧ T (3)，(4) (假言推理) (6) q T (5)（简化式） (7) s q → CP . 9、用逻辑推理规则证明：()()p q r p q r ∨→⇒∧→ 证明：(1) p q ∧ P (附加前提)(2) p T (1)（简化式）(3) p q ∨ T (2)（加法式） (4) ()p q r ∨→ P(5) r T (3),(4)（假言推理） (6) ()()p q r p q r ∨→⇒∧→ CP .10、用逻辑推理规则证明：,,p q q r r s p s ⌝∨⌝∨→⇒→. 证明：（1）p P (附加前提)(2) p q ⌝∨ P(3) q T (1)，(2) (析取三段论) （4）q r ⌝∨ P(5) r T (3)，(4) (析取三段论) (6) r s → P(7) s T (5)，(6) （假言推理） (8) p s → CP .11、用逻辑推理规则证明：()()p q r s ∨→∧，()r s t p t ∨→⇒→ . 证明：（1）p P (附加前提) (2)p q ∨ T (1)（加法式） (3)()()p q r s ∨→∧ P(4)r s ∧ T (2)，(3)（假言推理） (5)r T (4)（简化式） (6)r s ∨ T (5)（加法式）(7)()r s t ∨→ P (8)t T (6)，(7)（假言推理）(9)p t → CP . 12、用逻辑推理规则证明：(),,t w s q s t s q t →⌝→⌝⌝∨→⌝⇒→ 证明：（1）q P (附加前提)(2) q s ⌝∨ P(3) s T (1)，(2) (析取三段论)(4) ()t w s →⌝→⌝ P(5)()t w ⌝→⌝ T (3)，(4) (拒取式) (6)()t w ⌝⌝∨⌝ T (5) (蕴含表达式) (7) t w ∧ T (6) (德.摩根律) (8) t T (7) (简化式)(9)q t → CP .13、用逻辑推理规则证明：a b c →∧，()e f c →⌝→⌝，()b a s →∧⌝⇒b e →. 证明：（1） b P (附加前提) （2）()b a s →∧⌝ P(3) a s ∧⌝ T (1)，(2) （假言推理） (4) a T (3) (简化式) (5) a b c →∧ P(6) b c ∧ T (4)，(5) （假言推理）(7) c T (6) (简化式) (8)()e f c →⌝→⌝ P(9) ()e f ⌝→⌝ T (7)，(8) (拒取式) (10)()e f ⌝⌝∨⌝ T (9) (蕴含表达式) (11) e f ∧ T (10) (德.摩根律) (12) e T (11) (简化式) (13) b e → CP .14、用逻辑推理规则证明：p q →，p q q ⌝→⇒. 证明：(1) q ⌝ P (附加前提) (2) p q → P(3) p ⌝ T (1),(2) (拒取式) (4) p q ⌝→ P(5) q T (3),(4) (假言推理)(6) q q ⌝∧ T (1),(5) (合取式)由（6）得出矛盾式，故原命题有效.15、用逻辑推理规则证明： p q ∧ ，()()p q t s ↔→∨ ⇒ t s ∨ . 证明:（1）()t s ⌝∨ P (附加前提)(2) ()()p q t s ↔→∨ P(3)()p q ⌝↔ T (1),(2) (拒取式) (4) (()())p q p q ⌝⌝∨∧∨⌝ T (3)（等值与蕴含表达式） (5) ()()p q p q ∧⌝∨⌝∧ T (4) (德.摩根律)(6) ()()p q p q ⌝∨⌝∧∨ T (5) (结合律或范式等价) . (7) p q ⌝∨⌝ T (7) (简化式) (8) ()p q ⌝∧ T (4) (德.摩根律) (9) p q ∧ P(10) ()()p q p q ⌝∧∧∧ T (9),(10) (合取式) 由（10）得出矛盾式，故原命题有效.16、用逻辑推理规则证明：p q →，p r ∧， ()q r ⌝∨不能同时为真. 证明：(1) p r ∧ P(2) p T (1) (简化式) (3) p q → P(4) q T (2),(3) (假言推理) (5) ()q r ⌝∨ P(6) q r ⌝∧⌝ T (5) (德.摩根律) (7) q ⌝ T (6) (简化式) (8) q q ⌝∧ T (4),(7) (合取式)由（8）得出矛盾式，故原命题有效.17、证明下列命题推得的结论有效：或者逻辑难学，或者有少数学生不喜欢它；如果数学容易学，那么逻辑并不难学.因此，如果许多学生喜欢逻辑，那么数学并不难学. 证明：设p ：逻辑难学；q ：有少数学生不喜欢逻辑学；r ：数学容易学.该推理就是要证明：, p q r p q r ∨→⌝⇒⌝→⌝. (1) p q ∨ P(2) p q ⌝→ T (1) (蕴含表达式) (3) r p →⌝ P(4) r q → T (2),(3) (前提三段论)(5) q r ⌝→⌝ T (4) (逆反律) .18、证明下列命题推得的结论有效：如果今天是星期三，那么我有一次离散数学或数字逻辑测验；如果离散数学课老师有事，那么没有离散数学测验；今天是星期三且离散数学老师有事.所以，我有一次数字逻辑测验.证明：设p ：今天是星期三；q ：我有一次离散数学测验；r ：我有一次数字逻辑测验；s ：离散数学课老师有事. 该推理就是要证明：(), , p q r s q p s r →∨→⌝∧⇒. (1) p s ∧ P(2) p T (1) (简化式) (3) s T (1) (简化式) (4) s q →⌝ P(5) q ⌝ T (3) ，(4) （假言推理）(6) ()p q r →∨ P(7) q r ∨ T (2) ，(6) （假言推理）(8) r T (5) ，(7) (析取三段论) .19、证明下列命题推得的结论有效：如果马会飞或羊吃草，则母鸡就会是飞鸟；如果母鸡是飞鸟，那么烤熟的鸭子还会跑；烤熟的鸭子不会跑.所以，羊不吃草。
逻辑学试题及答案期末考试
逻辑学试题及答案期末考试一、选择题（每题2分，共20分）1. 以下哪个选项是演绎推理的结论？A. 如果下雨，地面就会湿。
现在下雨了，所以地面湿了。
B. 如果下雨，地面可能会湿。
现在下雨了，地面湿了。
C. 如果下雨，地面就会湿。
现在地面湿了，所以下雨了。
D. 如果下雨，地面就会湿。
现在地面湿了，但不确定是否下雨。
答案：A2. 以下哪个命题是假命题？A. 所有的人都是有限的生命。
B. 所有的人都是有限的生命，并且苏格拉底是人。
C. 所有人都是有限的生命，因此苏格拉底是有限的生命。
D. 苏格拉底是有限的生命，因此所有人都是有限的生命。
答案：D3. 以下哪个命题是逻辑上的矛盾？A. 苏格拉底是人。
B. 苏格拉底是人且不是人。
C. 苏格拉底是人或者不是人。
D. 苏格拉底是人，但不是哲学家。
答案：B4. 以下哪个命题是逻辑上的同一律？A. 苏格拉底是哲学家，因此苏格拉底是人。
B. 苏格拉底是哲学家，并且苏格拉底是人。
C. 苏格拉底是哲学家，所以苏格拉底是哲学家。
D. 苏格拉底是人，所以苏格拉底是哲学家。
答案：C5. 以下哪个命题是逻辑上的排中律？A. 苏格拉底是哲学家，或者不是哲学家。
B. 苏格拉底既是哲学家，也不是哲学家。
C. 苏格拉底是哲学家，因此他不是人。
D. 苏格拉底是人，但不是哲学家。
答案：A6. 以下哪个命题是逻辑上的充足理由律？A. 因为苏格拉底是哲学家，所以他是人。
B. 因为苏格拉底是人，所以他是哲学家。
C. 苏格拉底是哲学家，因为他是人。
D. 苏格拉底是哲学家，并且他是人。
答案：A7. 以下哪个命题是逻辑上的因果律？A. 因为苏格拉底是哲学家，所以他是人。
B. 苏格拉底是哲学家，因此他有智慧。
C. 苏格拉底是人，因此他是哲学家。
D. 苏格拉底是哲学家，因此他是人。
答案：B8. 以下哪个命题是逻辑上的非矛盾律？A. 苏格拉底是哲学家，并且不是哲学家。
B. 苏格拉底是哲学家，或者不是哲学家。
C. 苏格拉底是哲学家，因此他不是哲学家。
数理逻辑考试题及答案
数理逻辑考试题及答案一、单项选择题（每题2分，共20分）1. 以下哪个选项不是命题逻辑中的联结词？A. 与B. 或C. 非D. 存在答案：D2. 在布尔代数中，以下哪个表达式是正确的？A. ¬(A∧B) = ¬A∨¬ BB. A∧¬ A = AC. A∨¬ A = 1D. A∧(A∨B) = A答案：C3. 以下哪个命题是真命题？A. 如果今天是星期一，那么明天是星期二。
B. 所有的鸟都会飞。
C. 所有的人都是哲学家。
D. 2+2=5答案：A4. 在命题逻辑中，以下哪个命题的否定是正确的？A. 如果A，则B。
B. A且B。
C. A或B。
D. A当且仅当B。
答案：A5. 以下哪个选项是谓词逻辑中的量词？A. 与B. 或C. 存在D. 非答案：C6. 在谓词逻辑中，以下哪个表达式表示“存在一个x，使得x是学生”？A. ∀x (x 是学生)B. ∃x (x 是学生)C. ¬∃x (x 是学生)D. ¬∀x (x 是学生)答案：B7. 以下哪个选项是模态逻辑中的模态词？A. 与B. 或C. 可能D. 非答案：C8. 在模态逻辑中，以下哪个命题表示“必然P”？A. PB. ¬PC. ◊PD. □P答案：D9. 以下哪个命题是逻辑等价的？A. A∧BB. A∨BC. ¬A∧¬ BD. ¬(A∧¬B)答案：C10. 在逻辑推理中，以下哪个选项是演绎推理？A. 归纳推理B. 演绎推理C. 溯因推理D. 类比推理答案：B二、多项选择题（每题3分，共15分）1. 以下哪些选项是命题逻辑中的有效推理形式？A. 从A∧B，可以推出A。
B. 从A∨B，可以推出A。
C. 从A，可以推出A∨B。
D. 从A∧B，可以推出B。
答案：A, C, D2. 在布尔代数中，以下哪些表达式是等价的？A. A∧(B∨¬A)B. A∨(B∧¬A)C. A∧¬ BD. A∨¬ B答案：A, C3. 以下哪些命题是真命题？A. 如果A则B，且A为真，那么B也为真。
命题逻辑习题及答案
习题1l．判断下列语句是否命题。
若是，请给出命题的真值。
(1) 离散数学是计算机专业的必修课。
(2) 2是无理数。
(3) 我正在说谎话。
(4) 今天天气好热呀!(5) 整数3 能被2 整除。
(6) 下午开会吗？(7) 三角形有三条边，当且仅当5是素数。
(8) 马有四条腿。
(9) 雪是白的当且仅当太阳从东方升起。
(10) 9+2≤10。
(11) 如果1+1=2，则2+3=5。
(12) 鲁迅获得过诺贝尔文学奖。
解答：(1) 是命题，T。
(2) 是命题，F。
(3) 不是命题。
(4) 不是命题。
(5) 是命题，F。
(6) 不是命题。
(7) 是命题，T。
(8) 是命题，T。
(9) 是命题，T。
(10) 是命题，T/F。
(11) 是命题，T。
(12) 是命题，F。
2．将下列命题符号化。
(1) 太阳高照且气温不高。
(2) 如果明天下雨，我就乘公交车上班。
(3) 我买电脑，仅当我有钱。
(4) 虽然天气很好，老吴还是不来。
(5) 王明不但学习好而且还有运动天赋。
(6) 明天他在广州，或在深圳。
(7) 若两个圆面积相等，则半径相等，反之亦然。
(8) 打印机既可作为输入设备，又可作为输出设备。
(9) 只有我不复习功课, 我才去看电影。
(10) 如果a和b是奇数，则a+b不是奇数。
解答：(1) 设P：太阳高照；Q：气温不高。
则命题可符号化为：P∧Q。
(2) 设P：明天下雨；Q：我乘公交车上班。
则命题可符号化为：P→Q。
(3) 设P：我买电脑；Q：我有钱。
则命题可符号化为：P→Q。
(4) 设P：天气很好；Q：老吴来。
则命题可符号化为：P∧⌝Q。
(5) 设P：王明学习好；Q：王明有运动天赋。
则命题可符号化为：P∧Q。
(6) 设P：明天他在广州；Q：明天他在深圳。
则命题可符号化为：P∨Q。
(7) 设P：两个圆面积相等；Q：两个圆半径相等。
则命题可符号化为：P↔Q。
(8) 设P：打印机可作为输入设备；Q：打印机可作为输出设备。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
.命题逻辑一、选择题（每题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，否则Q5、永真式的否定是(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 、1118、下列公式中为永真式的是(C)A、P(PQ)B、P (PQ)C、(PQ) QD、(PQ)Q9、下列公式中为非永真式的是(B)A、(P P) QB、(P P) QC、P(P Q)D、P(PQ)10、下列表达式错误的是(D)A、P(PQ) P B 、P(PQ) PC、P(PQ)PQ D 、P(PQ)PQ11、下列表达式正确的是(D)A、PPQB、PQPC、Q (P Q)D、(PQ)Q12、下列四个命题中真值为真的命题为(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 S14、设P：我累，Q：我去打球，则命题：“除非我累，否则我去打球”的符号化为（ B ）A、PQ B 、P Q C、PQ D、P Q15、设P：我听课，Q：我睡觉，则命题“我不能一边听课，一边睡觉”的符号化为(B)A、PQ B 、P QC、PQ D、P Q提示：(P Q) P Q16、设P：停机；Q：语法错误；R：程序错误，则命题“停机的原因在于语法错误或程序错误”的符号化为（ D）A、PQRB、P QRC、QRPD、QRP17、设P：你来了；Q：他唱歌；R：你伴奏则命题“如果你来了，那末他唱不唱歌将看你是否伴奏而的符号化为（D ）定”A、P(QR)B、P (QR)C、P(R Q)D、P(Q R)18、在命运题逻辑中，任何非永真命题公式的主合取范式都是（A）A、存在并且唯一B、存在但不唯一C、不存在 D 、不能够确定..19、在命题逻辑中，任何非永假命题公式的主析取范式都是（A）A、存在并且唯一B、存在但不唯一C、不存在 D 、不能够确定20、n个命题变元所产生互不等价的极小项项数为（ D ）A、n B 、2n C 、n2 D 、2n21、n个命题变元所产生互不等价的极大项项数为（ D ）A、n B 、2n C 、n2 D 、2n二、填充题（每题4分）1、设P：你努力，Q：你失败，则“虽然你努力了，但还是失败了”符号化为PQ.2、设P：它占据空间，Q：它有质量，R：它不断运动，S：它叫做物质，则“占据空间的，有质量的而且不断运动的叫做物质”符号化为S PQR.3、一个命题含有n个原子命题，则对其所有可能赋值有2n种.4、推理规则A (A B) B的名称为假言推理.5、推理规则6、推理规则7、推理规则B (A B) A的名称为拒取式.A (A B) B的名称为析取三段论. (A B) (B C)AC的名称为前提三段论.8、当赋予极小项足标相同的指派时，该极小项的真值为1，当赋予极大项足标相同的指派时，该极大项的真值为0.9、任意两个不同极小项的合取式的真值为0，而全体极小项的析取式的真值为 1.10、任意两个不同极大项的析取式的真值为1，而全体极大项的合取式的真值为0.11、n个命题变元可构造包括F的不同的主析取范式类别为22n.12、n个命题变元可构造包括T的不同的主合取范式类别为22n.三、问答题（每题6分）1、设A、B是任意命题公式，请问A B,A B分别表示什么？其有何关系？答：A B表示A蕴含B，A B表示A永真蕴含B；其关系表现为：若 A B为永真式，则有A B.2、设A、B是任意命题公式，请问A B,A B分别表示什么？其有何关系？答：A B表示A等值于B，A B表示A与B逻辑等价；其关系表现为：若 A B为永真式，则有A B.3、设A、B、C是任意命题公式，若 A C BC ，则A B成立吗？为什么？答：不一定有A B；若A为真，B为假，C为真，则A C B C成立，但A B不成立.4、设A、B、C是任意命题公式，若 A C BC ，则A B成立吗？为什么？答：不一定有A B；若A为真，B为假，C为假，则A C B C成立，但A B不成立.5、设A、B是任意命题公式，A(A B) B一定为真吗？为什么？答：一定为真；因 A (AB) B A( AB) B (A A) (AB) BF (AB) B A BB T.（用真值表也可证明）6、设A、B是任意命题公式，(A B) (A B) A一定为真吗？为什么？答：一定为真；因(A B) (A B) ( AB) ( A B) A (B B)A F A.（用真值表也可证明）..四、填表计算题（每题10分）1、对命题公式A(p q)(p q)，要求（1）用0 1或填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解：p q pq (pq) pq A0 0 10 000 1 10 101 0 0 1 1 11 1 10 10主析取范式A (2) ；主合取范式A (0,1,3).2、对命题公式A(p q)r，要求（1）用0 1或填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解：p q r pq A0 00 100 0 1 1 10 10 100 1 1 1 11 00 0 11 0 1 001 10 101 1 1 1 1主析取范式A (1,3,4,7) ；主合取范式A (0,2,5,6).3、对命题公式A(pq) (pr)，要求（1）用0或1填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解：p q r pq pr A0 0 0 0000 0 1 0000 1 0 0000 1 1 0001 0 0 0001 0 1 0111 1 0 101..1 1 1 1 1 1主析取范式A (5,6,7)；主合取范式A (0,1,2,3,4).4、对命题公式A (pq)(pr)，要求（1）用0或1填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解：p q r p pq pr A0 0 0 1 0 100 0 1 1 0 100 1 0 1 1 1 10 1 1 1 1 1 11 0 0 0 1 001 0 1 0 1 1 11 1 0 0 1 001 1 1 0 1 1 1主析取范式A (2,3,5,7) ；主合取范式A (0,1,4,6).5、对命题公式A( p q) r，要求（1）用0 1或填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解：p q r p q pq A0 0 0 1 1 1 00 0 1 1 1 1 10 1 0 1 0 1 00 1 1 1 0 1 11 0 0 0 1 1 01 0 1 0 1 1 11 1 0 0 00 11 1 1 0 00 1..主析取范式 A (1,3,5,6,7) ；主合取范式 A (0,2,4).五、证明题（每题10分）1、证明下列逻辑恒等式：(P Q)(R Q) (P R) Q.证明：左(PQ)(RQ) (P R)Q(P R) Q P R Q 右.（用真值表也可证明）2、证明下列逻辑恒等式：P Q R R Q P.证明：左(P Q) R P Q RR(QP) R Q P 右.（用真值表也可证明）3、证明下列逻辑恒等式：P Q P Q PQ.证明：左P Q P Q P Q PQPQPQ PP PQQPQQPQ P Q P Q P Q 右.（用真值表也可证明）4、用逻辑推理规则证明：(a b) c ， d ， c d a b.证明:(1) c d P(2)d P(3) c T(1),(2)(析取三段论)(4)(a b) c P(5)(a b) T (3)，(4)(拒取式)(6)a b T (5)(德.摩根律).5、用逻辑推理规则证明：p q,p s,s r r q.证明:(1) p s P(2)s r P(3)p r T (1),(2)( 前提三段论)(4)r p T(3)( 逆反律)(5)pq P(6)p q T (5)( 蕴含表达式)(7)r q T(4)，(6)( 前提三段论).6、用逻辑推理规则证明：p q，p r，q r，r，sp s.证明:(1) r P(2) qr P(3) q T (1),(2)( 析取三段论)(4) p q P(5) p T (3) ，(4)( 拒取式)(6) s p P(7)s T (5)，(6)( 析取三段论).7、用逻辑推理规则证明：(p q) (r s)，(q p) r，r pq. 证明:(1) r P(2(q p) r P)(3) q p T (1),(2)( 析取三段论) (4) r s T(1)( 加法式)..(5) (p q) (r s)P(6) p q T(4) ，(5)(拒取式)(7) (p q) (q p) T(3)，(6)(合取式)(8) p q T(7)( 等值表达式).8、用逻辑推理规则证明：s p, p rq, r sq. 证明:(1) s P(2) s p P(3) p T(1),(2)(析取三段论)(4) p r q P(5) r q T(3) ，(4)( 假言推理)(6) q T(5) （简化式）(7) s q CP.9、用逻辑推理规则证明：(p q) r (pq) r证明：(1) p q P( 附加前提)(2) p T(1)（简化式）(3) p q T(2)（加法式）(4) (p q) r P(5) r T(3),(4) （假言推理）(6)(pq)r(pq)rCP.10、用逻辑推理规则证明：p q, qr,r s p s.证明：（1）p P(附加前提)(2) p q P(3) q T (1) ，(2)( 析取三段论)（4）q r P(5) r T (3) ，(4)( 析取三段论)(6) r s P(7) s T(5) ，(6)（假言推理）(8) p s CP.11、用逻辑推理规则证明：(pq) (r s)，(r s) t p t. 证明：（1）p P(附加前提)(2) p q T(1) （加法式）(3) (p q)(r s) P(4) r s T (2)，(3)（假言推理）(5) r T(4) （简化式）(6) r s T (5)（加法式）(7) (r s)t P(8) t T (6) ，(7)（假言推理）(9) p t CP.12、用逻辑推理规则证明：(t w) s,q s,t s q t证明：（1）q P( 附加前提)(2) q s P(3) s T(1) ，(2)( 析取三段论)(4) (t w) s P(5) (t w) T(3)，(4)( 拒取式) ..(6) ( t w)(7)tw(8)t(9)qt T(5)( 蕴含表达式) T(6)(德.摩根律)T(7)( 简化式) CP.、用逻辑推理规则证明：a b c ，(e f) c，b (a s)be.13证明：（1）b P(附加前提)（2）b (a s) P(3) a s T(1) ，(2) （假言推理）(4) a T(3)( 简化式)(5) a b c P(6) b c T (4) ，(5)（假言推理）(7) c T (6)(简化式)(8) (e f) c P(9) (e f) T (7) ，(8)( 拒取式)(10) ( e f) T(9)( 蕴含表达式)(11) e f T(10)( 德.摩根律)(12) e T (11)( 简化式)(13) b e CP.14、用逻辑推理规则证明：p q，p q q.证明：(1) q P(附加前提)(2) p q P(3) p T(1),(2)( 拒取式)(4) p q P(5) q T(3),(4)( 假言推理)(6) q q T(1),(5)( 合取式)由（6）得出矛盾式，故原命题有效.15、用逻辑推理规则证明：p q ，(p q)(t s) t s.证明:（1）(ts)P (附加前提)(2)(p q) (t s) P(3) (p q) T(4) (( pq) (p q))T(5) (p q)(p q) T(6) ( p q) (p q) T(7) p q T(8) (p q) T(9)p q P (1),(2)( 拒取式)(3)（等值与蕴含表达式）(4)(德.摩根律)(5)(结合律或范式等价).(7)(简化式)(4)(德.摩根律)(10) (pq)(p q) T(9),(10)( 合取式)由（10）得出矛盾式，故原命题有效.16、用逻辑推理规则证明：p q，p r，(q r)不能同时为真.证明：(1) p r P(2)p T(1)( 简化式)(3)p q P(4)q T(2),(3)( 假言推理)(5)(q r) P..(6)q r T(5)( 德.摩根律)(7)q T(6)( 简化式)(8)q q T(4),(7)(合取式)由（8）得出矛盾式，故原命题有效.17、证明下列命题推得的结论有效：或者逻辑难学，或者有少数学生不喜欢它；如果数学容易学，那么逻辑并不难学 .因此，如果许多学生喜欢逻辑，那么数学并不难学.证明：设p：逻辑难学；q：有少数学生不喜欢逻辑学；r：数学容易学.该推理就是要证明：p q,r p q r.(1) p q P(2) p q T(1)( 蕴含表达式)(3) r p P(4) r q T (2),(3)( 前提三段论)(5) q r T (4)(逆反律).18、证明下列命题推得的结论有效：如果今天是星期三，那么我有一次离散数学或数字逻辑测验；如果离散数学课老师有事，那么没有离散数学测验；今天是星期三且离散数学老师有事.所以，我有一次数字逻辑测验.证明：设p：今天是星期三；q：我有一次离散数学测验；r：我有一次数字逻辑测验；s：离散数学课老师有事.该推理就是要证明：p (q r),s q,p s r.(1) p s P(2) p T (1)(简化式)(3) s T (1)( 简化式)(4) s q P(5) q T (3) ，(4) （假言推理）(6) p(q r) P(7) q r T(2) ，(6)（假言推理）(8) r T (5) ，(7)( 析取三段论).19、证明下列命题推得的结论有效：如果马会飞或羊吃草，则母鸡就会是飞鸟；如果母鸡是飞鸟，那么烤熟的鸭子还会跑；烤熟的鸭子不会跑.所以，羊不吃草。