命题逻辑复习题及答案.docx
命题逻辑-习题参考解答
命题逻辑参考答案及提示1.（1）是命题，真值为1（2）不是命题（3）是命题，真值视具体情况而定（4）不是命题（5）是命题，真值为1（6）是命题，真值为1（7）是命题，真值为0（8）不是命题（9）是命题，真值视具体情况而定（10）不是命题2.（1）不是命题（2）不是命题（3）不是命题（4）是命题。
令P：所有的人都是要死的；Q：所有的人都怕死，则命题可符号化为：可表示为P∧⌝Q（5）是命题。
令P：我明天去苏州；Q：我后天去苏州，则命题可符号化为：P∨Q（6）是命题。
令P：我明天去苏州；Q：我后天去苏州，则命题可符号化为：⌝(P∨Q)（7）是命题。
令P：我明天去北京；Q：我明天去天津；R：我后天去北京；S：我后天去天津，则命题可符号化为：P∨Q∨R∨S（8）是命题。
令P：我买到飞机票；Q：我出去，则命题可符号化为：⌝P→⌝Q（9）是命题。
令P：他余款多；Q：他出门；R：他买书，则命题可符号化为：(P∧Q→R) ∧(⌝P∧Q→R)（10）是命题。
令P：你陪伴我；Q：你代我雇车；R：我去，则命题可符号化为：R↔ (P∨Q)（11）是命题。
令P：你充分考虑了一切论证；Q：你得到了可靠见解，则命题可符号化为：(P→Q)∧(Q→P)或P↔Q（12）是命题。
令P：我懂得希腊文；Q：我了解柏拉图，则命题可符号化为：(Q→P)→⌝Q （13）是命题。
令P：你去；Q：他去；R：我去，则命题可符号化为：(P→R)∧(Q→R) ∧(⌝P→R)∧(⌝Q→R)（14）是命题。
令P：上午下雨；Q：我去看电影；R：我在家里看书；S：我在家里看报，则命题可符号化为：(⌝P→Q)∧(P→(R∨S))（15）是命题。
令P：我今天进城；Q：下雨，则命题可符号化为：P→⌝Q（16）是命题。
令P：你走；Q：我留下，则命题可符号化为：P↔Q（17）是命题。
令P：某一个数是素数；Q：某一个数能被1整除；R：某一个数能被它自身整除；则命题可符号化为：P↔Q∧R3.（1）不是命题公式。
命题逻辑-习题参考解答.doc
命题逻辑参考答案及提示1.(1)是命题，真值为1(2)不是命题(3)是命题，真值视具体情况而定(4)不是命题(5)是命题，真值为1(6)是命题，真值为1(7)是命题，真值为0(8)不是命题(9)是命题，真值视具体情况而定(10)不是命题2.(1)不是命题(2)不是命题(3)不是命题(4)是命题。
令P：所有的人都是要死的；Q：所有的人都怕死，则命题可符号化为：可表示为P A-,Q(5)是命题。
令P：我明天去苏州；Q：我后天去苏州，则命题可符号化为：PvQ(6)是命题。
令P：我明天去苏州；Q：我后天去苏州，则命题可符号化为：-i(PvQ)(7)是命题。
令P：我明天去北京；Q：我明天去天津；R：我后天去北京；S：我后天去天津，则命题可符号化为：PvQvRvS(8)是命题。
令P：我买到飞机票；Q：我出去，则命题可符号化为：―iP—>―iQ(9)是命题。
令P：他余款多；Q：他出门；R：他买书，则命题可符号化为：(P A Q-»R) A(-.P A Q^R)(10)是命题。
令P：你陪伴我；Q：你代我雇车；R：我去，则命题可符号化为：Rf (PvQ)(11)是命题。
令P：你充分考虑了一切论证；Q：你得到了可靠见解，则命题可符号化为：(P T Q)A(Q T P)或P—Q(12)是命题。
令P：我懂得希腊文；Q：我了解柏拉图，则命题可符号化为：(Q T P)T「Q(13)是命题。
令P：你去；Q：他去；R：我去，则命题可符号化为：(P->R)A(Q T R) A (-P —R) A(―Q—R)(14)是命题。
令P：上午下雨；Q：我去看电影；R：我在家里看书；S：我在家里看报, 则命题可符号化为：(~>P—>Q) A (P—> (RvS))(15)是命题。
令P：我今天进城；Q：下雨，则命题可符号化为：(16)是命题。
令P：你走；Q：我留下，则命题可符号化为：PeQ(17)是命题。
命题逻辑复习题及答案
命题逻辑一、选择题（每题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.如果昨天下雨，那么今天地面湿润。
今天地面湿润，所以昨天下雨。
答案：B3.下列哪个陈述是“矛盾论证”的？A.王国良是一位出色的数学家，所以他能解决这个难题。
B.明天会下雨，因为天气预报准确。
C.如果这只猫是白色的，那么它一定不是黑色的。
D.这张纸的大小是20厘米 x 20厘米，并且它的面积是400平方厘米。
答案：C试题二：谬误分析4.下列识别谬误的方法中，不属于非因果谬误的是：A.事后归因谬误B.成因迷思谬误C.分类迷思谬误D.必然因果谬误答案：D5.下面的推理中，包含了“偷换概念谬误”的是：A.丽丽不喜欢吃橙子，所以她不可能喜欢喝橙汁。
B.我国的邮政系统非常发达，由此可见我们国家的经济一定很繁荣。
C.如果他是一个诚实的人，那么他一定不会撒谎。
D.因为电脑可以帮助人们处理大量的数据，所以猪肉的价格一定会上涨。
答案：A6.下列推理中，哪个是“延误谬误”的例子？A.这个职位的工资待遇很高，所以这个工作压力也一定很大。
B.如果你不努力学习，你就无法考上大学。
C.参加职业培训可以提高就业机会，所以每个人都应该参加培训。
D.这位歌手很有才华，因此她的专辑一定会畅销。
答案：A试题三：证据和支持7.下列哪个陈述是“转移焦点”？A.每个人都对环境保护负有责任，我们应该减少使用塑料袋。
B.政府应该对医疗保健体系进行改革，以便提供更好的医疗服务。
C.企业应该减少使用化学物质，以保护环境和员工的健康。
D.环境问题是由个人消费行为引起的，所以我们应该降低个人消费水平。
逻辑期末考试试题及答案
逻辑期末考试试题及答案一、选择题（每题2分，共20分）1. 如果所有的苹果都是水果，那么以下哪个陈述是正确的？A. 所有的水果都是苹果。
B. 苹果是水果的一种。
C. 水果是苹果的一种。
D. 苹果不是水果。
2. 以下哪个选项是有效的演绎推理？A. 如果下雨，地面就会湿。
地面湿了，所以下雨了。
B. 如果下雨，地面就会湿。
下雨了，所以地面湿了。
C. 如果下雨，地面就会湿。
地面没湿，所以没有下雨。
D. 如果下雨，地面就会湿。
地面湿了，但不能确定是否下雨。
3. 以下哪个命题是假命题？A. 如果今天是星期三，那么明天是星期四。
B. 如果今天是星期三，那么明天是星期五。
C. 如果今天是星期三，那么昨天是星期二。
D. 如果今天是星期三，那么明天是星期二。
4. 以下哪个命题与“所有学生都通过了考试”相矛盾？A. 有些学生通过了考试。
B. 有些学生没有通过考试。
C. 所有的学生都努力学习。
D. 所有的学生都参加了考试。
5. 以下哪个命题是真命题？A. 所有的猫都会飞。
B. 有些猫会飞。
C. 所有的猫不会飞。
D. 有些猫不会飞。
6. 以下哪个命题是必然事件？A. 明天会下雨。
B. 明天会下雪。
C. 明天是晴天。
D. 明天是周末。
7. 以下哪个命题是或然事件？A. 太阳从东方升起。
B. 地球是圆的。
C. 明天会下雨。
D. 2+2=4。
8. 以下哪个命题是不可能事件？A. 人可以在水中呼吸。
B. 人可以在空中飞行。
C. 人可以跑步。
D. 人可以游泳。
9. 以下哪个命题是充分条件？A. 如果天下雨，那么地面会湿。
B. 如果地面湿了，那么天可能下雨。
C. 如果天下雨，那么地面可能湿。
D. 如果地面湿了，那么天下雨了。
10. 以下哪个命题是必要条件？A. 如果天下雨，那么地面会湿。
B. 如果地面湿了，那么天可能下雨。
C. 如果地面湿了，那么天下雨了。
D. 如果天下雨，那么地面可能湿。
二、简答题（每题10分，共30分）1. 解释什么是逻辑谬误，并给出一个例子。
命题逻辑习题及其参考答案
1.某地发生一起刑事案件，经过公安人员的努力侦破，作案嫌疑人锁定在A、E、C三人中，并且摸清了以下情况：①只有0 1号案件成功告破，才能确认A、B、C三人都是作案人。
②目前，0 1号案件还是一起悬案。
③如果A不是作案人，那么A的供词是真的，但A说自己与B都不是作案人。
④如果B不是作案人，那么B的供词也是真的，但B说自己与C是好朋友。
⑤现已查明C根本不认识B。
根据上述线索，问：A、B、C三人中谁是作案人？解：令p： 0 1号案件成功告破；q、r、s分别表示A、E、C作案；t： E与C是好朋友。
据题意有：1.⑴n (qArAs)P2.{2}-1 p P3.⑴"1 qfqAn r)P4.{4}n Lt P5.{5}n t P6.{4.5}r T4.5否定后件7.{1.2}n (qArAs)T1.2肯定前件&{1.2}"1 qVn rVq s T7德摩根9.{1.2.3}q T3.6否定后件10.{123.4.5}qAr P6.9组合式答：AB作案，至于C尚待侦查。
2.综合分析题（要求写出推导过程）：某班有学生61人，卞面有三句话：①该班有些学生会使用计算机。
②该班有些学生不会使用计算机。
③该班班长不会使用计算机。
已知上述三句话中，只有一句话是真的，试问：哪一句话是真话？该班有多少学生会使用计算机？解：①②分别为I命题和O命题，二者是下反对关系，必有一真，或许都真；但据题设只有一句真话，可知③为假，真实情况是班长会使用计算机。
既然这样第一句话“该班有些学生会使用计算机”就是真的，而第二句话就是假的。
O命题假，根据矛盾关系可知，A命题即“该班所有学生都会使用计算机”就真，所以，全班61个学生都会计算机。
3.下面有三句话：①如果甲是篮球队员，则乙就是足球队员。
②如呆乙是足球队员，则甲就是篮球队员。
③甲不是篮球队员。
已知上述三句话中只有一句话是真话，问：甲是不是篮球队员？乙是不是足球队员？哪一句话是真话？（要求写出推导过程）解：令p表示“甲是篮球队员”，q表示''乙是足球队员”，再令③即5 p”真，据题设有:①{1} 1(p~*q)②{2} 1(q~p)③{3} 1 p④{1} pAn q⑤{1}P pppT①等值关系T④合取分解T ③©合取组合 T 归谬③⑥ T ②等值关系 T ⑧合取分解 T ⑦©合取组合 归谬②®一三两句为假。
逻辑学试题及答案期末考试
逻辑学试题及答案期末考试一、选择题（每题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. 苏格拉底是哲学家，因此他不是哲学家。
命题逻辑习题及答案
习题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、命题公式不能表述为( B )A、或B、非每当C、非仅当D、除非，否则5、永真式的否定是( B )A、永真式B、永假式C、可满足式D、以上答案均有可能6、下列哪组赋值使命题公式的真值为假( D )A、假真B、假假C、真真D、真假7、下列为命题公式成假指派的是( B )A、B、C、D、8、下列公式中为永真式的是( C )A、B、C、D、9、下列公式中为非永真式的是( B )A、B、C、D、10、下列表达式错误的是( D )A、B、C、D、11、下列表达式正确的是( D )A、B、C、D、12、下列四个命题中真值为真的命题为( B )（1）当且仅当是奇数（2）当且仅当不是奇数；（3）当且仅当是奇数（4）当且仅当不是奇数A、（1）与（2）B、（1）与（4）C、（2）与（4）D、（3）与（4）13、设：龙凤呈祥是成语，：雪是黑的，：太阳从东方升起，则下列假命题为( A )A、B、C、D、14、设：我累，：我去打球，则命题：“除非我累，否则我去打球”的符号化为（B ）A、B、C、D、15、设：我听课，：我睡觉，则命题“我不能一边听课，一边睡觉”的符号化为( B )A、B、C、D、提示：16、设：停机；：语法错误；：程序错误，则命题“停机的原因在于语法错误或程序错误”的符号化为（D ）A、B、C、D、17、设：你来了；：他唱歌；：你伴奏则命题“如果你来了，那末他唱不唱歌将看你是否伴奏而定”的符号化为（D ）A、B、C、D、18、在命运题逻辑中，任何非永真命题公式的主合取范式都是（A ）A、存在并且唯一B、存在但不唯一C、不存在D、不能够确定19、在命题逻辑中，任何非永假命题公式的主析取范式都是（A ）A、存在并且唯一B、存在但不唯一C、不存在D、不能够确定20、个命题变元所产生互不等价的极小项项数为（D ）A、B、C、D、21、个命题变元所产生互不等价的极大项项数为（D ）A、B、C、D、二、填充题（每题4分）1、设：你努力，：你失败，则“虽然你努力了，但还是失败了”符号化为.2、设：它占据空间，：它有质量，：它不断运动，：它叫做物质，则“占据空间的，有质量的而且不断运动的叫做物质”符号化为.3、一个命题含有个原子命题，则对其所有可能赋值有种.4、推理规则的名称为假言推理.5、推理规则的名称为拒取式.6、推理规则的名称为析取三段论.7、推理规则的名称为前提三段论.8、当赋予极小项足标相同的指派时，该极小项的真值为1，当赋予极大项足标相同的指派时，该极大项的真值为0.9、任意两个不同极小项的合取式的真值为0，而全体极小项的析取式的真值为1.10、任意两个不同极大项的析取式的真值为1，而全体极大项的合取式的真值为0.11、个命题变元可构造包括的不同的主析取范式类别为.12、个命题变元可构造包括的不同的主合取范式类别为.三、问答题（每题6分）1、设、是任意命题公式，请问分别表示什么？其有何关系？答：表示蕴含，表示永真蕴含；其关系表现为：若为永真式，则有.2、设、是任意命题公式，请问分别表示什么？其有何关系？答：表示等值于，表示与逻辑等价；其关系表现为：若为永真式，则有.3、设、、是任意命题公式，若，则成立吗？为什么？答：不一定有；若为真，为假，为真，则成立，但不成立.4、设、、是任意命题公式，若，则成立吗？为什么？答：不一定有；若为真，为假，为假，则成立，但不成立.5、设、是任意命题公式，一定为真吗？为什么？答：一定为真；因.（用真值表也可证明）6、设、是任意命题公式，一定为真吗？为什么？答：一定为真；因.（用真值表也可证明）四、填表计算题（每题10分）1、对命题公式，要求（1）用或填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解：0 0 1 0 0 00 1 1 0 1 01 0 0 1 1 11 1 1 0 1 0主析取范式；主合取范式.2、对命题公式，要求（1）用或填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解：0 0 0 1 00 0 1 1 10 1 0 1 00 1 1 1 11 0 0 0 11 0 1 0 01 1 0 1 01 1 1 1 1主析取范式；主合取范式.3、对命题公式，要求（1）用或填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解：0 0 0 0 0 00 0 1 0 0 00 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主析取范式 ；主合取范式.4、对命题公式，要求（1）用或填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式. 解： 主析取范式 ；主合取范式.5、对命题公式，要求（1）用或填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解： 主析取范式 ；主合取范式.五、证明题（每题10分） 1、证明下列逻辑恒等式：. 证明 ： 左 右.（用真值表也可证明） 2、证明下列逻辑恒等式： . 证明：左 右.（用真值表也可证明） 3、证明下列逻辑恒等式：. 证明：左 .（用真值表也可证明） 4、用逻辑推理规则证明： ， ， .证明:(1)(2)(3) (1),(2) (析取三段论) (4)(5) (3)，(4) (拒取式) (6) (5) (德.摩根律) .0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 1 1 1 0 1 111111 0 0 0 1 0 01 0 1 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 10 0 1110 0 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 00 0 0 1 1 1 1 0 0 0 15、用逻辑推理规则证明： .证明: (1)(2)(3) (1),(2) (前提三段论)(4) (3) (逆反律)(5)(6) (5) (蕴含表达式)(7) (4)，(6) (前提三段论) .6、用逻辑推理规则证明：，，，，.证明: (1)(2)(3) (1),(2) (析取三段论)(4)(5) (3)，(4) (拒取式)(6)(7) (5)，(6) (析取三段论) .7、用逻辑推理规则证明：，， .证明: (1)(2)(3) (1),(2) (析取三段论)(4) (1) (加法式)(5)(6) (4)，(5) (拒取式)(7) (3)，(6) (合取式)(8) (7) (等值表达式) .8、用逻辑推理规则证明： .证明: (1)(2)(3) (1),(2) (析取三段论)(4)(5) (3)，(4) (假言推理)(6) (5)（简化式）(7) .9、用逻辑推理规则证明：证明：(1) (附加前提)(2) (1)（简化式）(3) (2)（加法式）(4)(5) (3),(4)（假言推理）(6) .10、用逻辑推理规则证明：.证明：（1）(附加前提)(2)(3) (1)，(2) (析取三段论)（4）(5) (3)，(4) (析取三段论)(6)(7) (5)，(6) （假言推理）(8) .11、用逻辑推理规则证明：， .证明：（1）(附加前提)(2) (1)（加法式）(3)(4) (2)，(3)（假言推理）(5) (4)（简化式）(6) (5)（加法式）(7)(8) (6)，(7)（假言推理）(9) .12、用逻辑推理规则证明：证明：（1）(附加前提)(2)(3) (1)，(2) (析取三段论)(4)(5) (3)，(4) (拒取式)(6) (5) (蕴含表达式)(7) (6) (德.摩根律)(8) (7) (简化式)(9) .13、用逻辑推理规则证明：，，.证明：（1）(附加前提)（2）(3) (1)，(2) （假言推理）(4) (3) (简化式)(5)(6) (4)，(5) （假言推理）(7) (6) (简化式)(8)(9) (7)，(8) (拒取式)(10) (9) (蕴含表达式)(11) (10) (德.摩根律)(12) (11) (简化式)(13) .14、用逻辑推理规则证明：，.证明：(1) (附加前提)(2)(3) (1),(2) (拒取式)(4)(5) (3),(4) (假言推理)(6) (1),(5) (合取式)由（6）得出矛盾式，故原命题有效.15、用逻辑推理规则证明：， .证明:（1）(附加前提)(2)(3) (1),(2) (拒取式)(4) (3)（等值与蕴含表达式）(5) (4) (德.摩根律)(6) (5) (结合律或范式等价) .(7) (7) (简化式)(8) (4) (德.摩根律)(9)(10) (9),(10) (合取式)由（10）得出矛盾式，故原命题有效.16、用逻辑推理规则证明：，，不能同时为真.证明：(1)(2) (1) (简化式)(3)(4) (2),(3) (假言推理)(5)(6) (5) (德.摩根律)(7) (6) (简化式)(8) (4),(7) (合取式)由（8）得出矛盾式，故原命题有效.17、证明下列命题推得的结论有效：或者逻辑难学，或者有少数学生不喜欢它；如果数学容易学，那么逻辑并不难学.因此，如果许多学生喜欢逻辑，那么数学并不难学.证明：设：逻辑难学；：有少数学生不喜欢逻辑学；：数学容易学.该推理就是要证明：.(1)(2) (1) (蕴含表达式)(3)(4) (2),(3) (前提三段论)(5) (4) (逆反律) .18、证明下列命题推得的结论有效：如果今天是星期三，那么我有一次离散数学或数字逻辑测验；如果离散数学课老师有事，那么没有离散数学测验；今天是星期三且离散数学老师有事.所以，我有一次数字逻辑测验.证明：设：今天是星期三；：我有一次离散数学测验；：我有一次数字逻辑测验；：离散数学课老师有事.该推理就是要证明：.(1)(2) (1) (简化式)(3) (1) (简化式)(4)(5) (3) ，(4) （假言推理）(6)(7) (2) ，(6) （假言推理）(8) (5) ，(7) (析取三段论) .19、证明下列命题推得的结论有效：如果马会飞或羊吃草，则母鸡就会是飞鸟；如果母鸡是飞鸟，那么烤熟的鸭子还会跑；烤熟的鸭子不会跑.所以，羊不吃草。