命题逻辑复习题(共5页).doc

《命题逻辑复习题(共5页).doc》由会员分享，可在线阅读，更多相关《命题逻辑复习题(共5页).doc（5页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、精选优质文档-倾情为你奉上命题逻辑一、选择题（每题3分）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、真真

2、D、真假7、下列为命题公式成假指派的是( )A、 B、 C、 D、8、 下列公式中为永真式的是 ( )A、 B、 C、 D、9、 下列公式中为非永真式的是( )A、 B、 C、D、10、下列表达式错误的是( )A、 B、C、 D、11、下列表达式正确的是( )A、 B、 C、 D、12、下列四个命题中真值为真的命题为( )（1）当且仅当是奇数 （2）当且仅当不是奇数；（3）当且仅当是奇数 （4）当且仅当不是奇数A、（1）与（2） B、（1）与（4） C、（2）与（4） D、（3）与（4）13、设：龙凤呈祥是成语，：雪是黑的，：太阳从东方升起，则下列假命题为( )A、 B、 C、 D、 14、设

3、：我累，：我去打球，则命题：“除非我累，否则我去打球”的符号化为（ ）A、 B、 C、 D、15、设：我听课，：我睡觉，则命题 “我不能一边听课，一边睡觉”的符号化为( )A、 B、 C、 D、提示：16、设：停机；：语法错误；：程序错误，则命题 “停机的原因在于语法错误或程序错误” 的符号化为（ ）A、 B、 C、 D、17、设：你来了；：他唱歌；：你伴奏则命题 “如果你来了，那末他唱不唱歌将看你是否伴奏而定” 的符号化为（ ）A、 B、 C、 D、18、在命运题逻辑中，任何非永真命题公式的主合取范式都是（ ）A、 存在并且唯一 B、存在但不唯一 C、 不存在 D、 不能够确定19、在命题逻

4、辑中，任何非永假命题公式的主析取范式都是（ ）A、 存在并且唯一 B、存在但不唯一 C、 不存在 D、 不能够确定20、个命题变元所产生互不等价的极小项项数为（ ）A、 B、 C、 D、21、个命题变元所产生互不等价的极大项项数为（ ）A、 B、 C、 D、二、填充题（每题4分）1、设：你努力，：你失败，则 “虽然你努力了，但还是失败了” 符号化为.2、设：它占据空间，：它有质量，：它不断运动，：它叫做物质，则 “占据空间的，有质量的而且不断运动的叫做物质”符号化为.3、一个命题含有个原子命题，则对其所有可能赋值有 种.4、推理规则的名称为假言推理.5、推理规则的名称为拒取式.6、推理规则的名

5、称为析取三段论.7、推理规则的名称为前提三段论.8、当赋予极小项足标相同的指派时，该极小项的真值为1，当赋予极大项足标相同的指派时，该极大项的真值为0.9、任意两个不同极小项的合取式的真值为0，而全体极小项的析取式的真值为1.10、任意两个不同极大项的析取式的真值为1，而全体极大项的合取式的真值为0.11、个命题变元可构造包括的不同的主析取范式类别为.12、个命题变元可构造包括的不同的主合取范式类别为.三、问答题（每题6分）1、设、是任意命题公式，请问分别表示什么？其有何关系？2、设、是任意命题公式，请问分别表示什么？其有何关系？3、设、是任意命题公式，若 ，则成立吗？为什么？4、设、是任意命

6、题公式，若 ，则成立吗？为什么？5、设、是任意命题公式，一定为真吗？为什么？6、设、是任意命题公式，一定为真吗？为什么？四、填表计算题（每题10分）1、对命题公式 ，要求（1）用或填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解：000110112、对命题公式 ，要求（1）用或填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解：0000010100111001011101113、对命题公式 ，要求（1）用或填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解：0000010100111001011101114、对命题公式，要求（1）用或填补

7、其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解： 000001010011100101110111 5、对命题公式，要求（1）用或填补其真值表的空格处；（2）求该命题公式的主析取范式与主合取范式.解： 00011100011111010101001110111000110101011111000011110001 五、证明题（每题10分）1、证明下列逻辑恒等式：.2、证明下列逻辑恒等式： .3、证明下列逻辑恒等式：.4、用逻辑推理规则证明： ， ， . 5、用逻辑推理规则证明： .6、用逻辑推理规则证明：， ，. 7、用逻辑推理规则证明：， . 8、用逻辑推理规则证明： .9

8、、用逻辑推理规则证明：10、用逻辑推理规则证明：.11、用逻辑推理规则证明：， . 12、用逻辑推理规则证明：13、用逻辑推理规则证明：，.14、用逻辑推理规则证明：，.15、用逻辑推理规则证明： ， . 16、用逻辑推理规则证明：， 不能同时为真.17、证明下列命题推得的结论有效：或者逻辑难学，或者有少数学生不喜欢它；如果数学容易学，那么逻辑并不难学.因此，如果许多学生喜欢逻辑，那么数学并不难学.18、证明下列命题推得的结论有效：如果今天是星期三，那么我有一次离散数学或数字逻辑测验；如果离散数学课老师有事，那么没有离散数学测验；今天是星期三且离散数学老师有事.所以，我有一次数字逻辑测验.19、证明下列命题推得的结论有效：如果马会飞或羊吃草，则母鸡就会是飞鸟；如果母鸡是飞鸟，那么烤熟的鸭子还会跑；烤熟的鸭子不会跑.所以，羊不吃草。20、证明下列命题推得的结论有效：若队第一，则队或队获亚军；若队获亚军，则队不能获冠军；若队亚军，则队不能获亚军；队获第一.所以，队不是亚军.专心-专注-专业