炊才砰线迫发井悄痴佩刮伪饯
乏筷魄排插错汐窘卤桑亭室赁
第一章 单元测试
1、单选题:
令p:我们划船。 q:我们跑步。命题“我们不能既划船又跑步”符号化为( )。
A:
B:
C:
D:
答案:
2、单选题:
下面哪个语句是真命题?
A:如果1+2=3,那么雪是黑的。
B:如果1+2=3,那么雪是白的。
C:严禁吸烟。
D:我只知道一件事,那就是我什么都不知道。
答案: 如果1+2=3,那么雪是白的。
3、多选题:
令p:我将去镇上。 q:我有时间。命题“我将去镇上,仅当我有时间”符号化为( )。
A:
B:
C:
D:
答案: ;
4、单选题:
n个命题变元可以产生( )个具有不同真值的命题公式。
A:
B:
C:
D:
答案:
5、单选题:
命题公式是( )。
A:重言式
B:不能确定
C:矛盾式
D:非重言式的可满足式
答案: 重言式
6、单选题:
下面命题公式中,( )与等值。
A:
B:
C:
D:
答案:
7、单选题:
下面联结词集中,不是联结词完备集的是( )。
A:
B:
C:
D:
答案:
8、单选题:
若公式的主析取范式是
,则其主合取范式是( )。
A:
B:
C:
D:
答案:
9、单选题:
设A、C为两个命题公式,当且仅当( )为重言式时,称C可由A逻辑地推出。
A:
B:
C:
D:
答案:
10、单选题:
下列推理定理中,( )是不正确的。
A:
B:
C:
D:
答案:
第二章 单元测试
1、单选题:
设C(x):x是国家足球队选手。G(x):x是健壮的。命题“没有一个国家足球队选手不是健壮的”可符号化为( )。
A:
B:
C:
D:
答案:
2、单选题:
设L(x):x是人。 J(x):x是花。 A(x,y):x喜欢y。 命题“有的人喜欢所有的花”符号化为( )。
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
4、单选题:
设论域为整数集,下列公式中值为真的是( )
A:
B:
C:
D:
答案:
5、单选题:
设个体域A={a, b}, 公式在A上消去量词后应为( )
A:
B:
C:
D:
答案:
6、单选题:
下列谓词公式中,( )是等值的。
A:
B:
C:
D:
答案:
7、单选题:
下列谓词公式中,是逻辑有效式的是( )。
A:
B:
C:
D:
答案:
8、单选题:
下列各式中哪个是正确的?
A:
B:
C:
D:
答案:
9、单选题:
下列推理步骤错在( )。① P②
①US③
P④
③ES⑤
②④假言推理⑥
⑤EG
A:②
B:⑥
C:④
D:⑤
答案: ④
10、单选题:
下列推导错在( )。① P②
①US③
②ES④
③UG
A:无
B:④
C:②
D:③
答案: ③
如需购买完整答案,请点击下方红字:
获取更多网课答案,请点击这里,进入www.mengmianren.com
清枢敢猫琼哗舶布接殴呻氮经
擞短殊解哩皮绵绩官辣帛倦虫