2022大学慕课答案 逻辑导论(湖北文理学院) 最新大学MOOC满分章节测试答案
本答案对应课程为:点我自动跳转查看
本课程起止时间为:2020-02-17到2020-06-15
本篇答案更新状态:已完结
第二周 命题逻辑（一） 第二周单元测验
1、 问题:“只有p，才q”用命题逻辑公式表示是：
选项：
A:p→q
B:q→p
C:p«q
D:Øp∨Øq
答案: 【q→p】
2、 问题:“只要p，就q”用命题逻辑公式表示是：
选项：
A:p→q
B:q→p
C:p«q
D:Øp∨Øq
答案: 【p→q】
3、 问题:已知p假q真，则下列公式中为真的是：
选项：
A:(p∨Øq)∨Øq
B:(p∨q)∧p
C:p∨Øq→p
D:Ø(q∧p)→p
答案: 【p∨Øq→p】
4、 问题:关于命题逻辑公式的下列说法正确的有：
选项：
A:公式是满足一定排列组合规则的符号串
B:(p∧q)和(q∧p)是相同的公式
C:一个否定式的否定不再是否定式
D:公式的数量是无穷的，但每个公式的长度总是有穷的
答案: 【公式是满足一定排列组合规则的符号串;
公式的数量是无穷的，但每个公式的长度总是有穷的】
5、 问题:下列公式满足形式A→(B→C)的有：
选项：
A:p→(q→(r→s))
B:p→((q→r)→s)
C:(p→(q→r))→s
D:(p→q)→(r→s)
答案: 【p→(q→(r→s));
p→((q→r)→s);
(p→q)→(r→s)】
第三周 命题逻辑（二） 第三周单元测验
1、 问题:使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了矛盾的赋值结果，则可以证明原公式是____。
选项：
A:重言式
B:矛盾式
C:可满足式
D:偶真式
答案: 【矛盾式】
2、 问题:画树形图时，如果根节点的公式为A，最后有的枝不封闭，则可以证明：
选项：
A:A是重言式
B:A不是重言式
C:A是可满足式
D:A是矛盾式
答案: 【A是可满足式】
3、 问题:下列公式中属于重言式的是：
选项：
A:(p→q)→q
B:q→(q→p)
C:(p→q)→p
D:p→(q→p)
答案: 【p→(q→p)】
4、 问题:下列公式与A∨ØB逻辑等值的有
选项：
A:ØA→ØB
B:Ø(ØA∧B)
C:B→A
D:A∨ØA→A∨ØB
答案: 【ØA→ØB;
Ø(ØA∧B);
B→A;
A∨ØA→A∨ØB】
5、 问题:公式(p→(q→r))→((p→q)→(p→r))的真值表共有____种命题变项的真值组合。（填半角阿拉伯数字）
本文章不含期末不含主观题！！
本文章不含期末不含主观题！！
支付后可长期查看
有疑问请添加客服QQ 2356025045反馈
如遇卡顿看不了请换个浏览器即可打开
请看清楚了再购买哦，电子资源购买后不支持退款哦
