2025年学历类自考市场信息学-普通逻辑参考题库含答案解析.docxVIP

2025年学历类自考市场信息学-普通逻辑参考题库含答案解析

一、单项选择题

下列各题只有一个正确答案，请选出最恰当的选项（共30题）

1、在命题逻辑中，逻辑联结词∧表示什么运算？

A.非运算

B.或运算

C.与运算

D.蕴含运算

2、下列公式属于析取范式的是（）

A.P∧(Q∨?R)

B.(P→Q)∧R

C.P∨?Q∨R

D.?(P∧Q)

3、集合A={1,2,3}和B={3,4}的交集运算结果为（）

A.{1,2,3,4}

B.{3}

C.{1,2}

D.?

4、关系命题张三大于李四属于哪种关系？

A.自反关系

B.对称关系

C.等价关系

D.不等价关系

5、在逻辑推理中，如果A则B的否定形式是（）

A.A且B

B.非A且非B

C.A且非B

D.非A或非B

6、逻辑联结词的优先级顺序是（）

A.?→∧

B.∨?

C.∧→

D.?∨

7、命题逻辑中，P∨?P属于哪种范式？

A.合取范式

B.析取范式

C.主范式

D.矛盾式

8、集合运算中，分配律成立的是（）

A.A∪(B∩C)=(A∪B)∩(A∪C)

B.A∩(B∪C)=(A∩B)∪(A∩C)

C.A∪B=B∪A

D.A∩B=B∩A

9、逻辑等价式(P→Q)?(?Q→?P)称为（）

A.悖论

B.合取律

C.命题定律

D.蕴含定律

10、在逻辑推理中，若?P则?Q和Q→P是否等价？

A.等价

B.互否

C.互逆

D.互为逆否

11、全称命题所有S都是P的否定形式是（）

A.没有S不是P

B.存在S不是P

C.所有S都不是P

D.存在P不是S

12、若命题A∧B为假，则其肢命题的真假情况是（）

A.A真且B真

B.A假且B假

C.A真或B假

D.A假或B真

13、以下属于肯定前件式的是（）

A.若A则B，A真，故B真

B.非A则非B，B真，故A假

C.A或B，A假，故B真

D.A且B，B假，故A假

14、集合{1,2,3}与{3,4}的并集运算结果是（）

A.{1,2,3,4}

B.{1,2,3}

C.{3}

D.{1,3,4}

15、命题如果下雨，那么地湿对应的逻辑符号是（）

A.R→S

B.R∧S

C.R∨S

D.R⊕S

16、选言命题A∨B为假时，其肢命题的真假情况是（）

A.A真且B真

B.A假且B假

C.A真或B假

D.A假或B真

17、命题甲或乙是逻辑学教授与甲是逻辑学教授的等值关系是（）

A.蕴含

B.等价

C.矛盾

D.异或

18、量词?x与?x的否定转换关系是（）

A.?x?P(x)与?x?P(x)

B.?x?P(x)与??xP(x)

C.?x?P(x)与??xP(x)

D.?xP(x)与??xP(x)

19、命题逻辑中，A→B等值于（）

A.A∧B

B.?A∨B

C.A∨?B

D.A⊕B

20、假言推理肯定后件式的前提和结论是（）

A.若A则B，B真，故A真

B.若A则B，A真，故B真

C.若非A则非B，B假，故A真

D.若A则B，B假，故A假

21、命题逻辑中，公式(p∧q)→r的真值表在p、q、r均为真时取值为？

A.假

B.真

C.无法确定

D.取决于具体运算顺序

22、三段论中，若大项在结论中周延而在前提中不周延，则该三段论属于？

A.第一格

B.第二格

C.第三格

D.第四格

23、集合论中，若A={1,2},B={2,3},则A∪B的结果是？

A.{1,2,3}

B.{2}

C.{1,3}

D.{1,2}

24、逻辑推理中，若前提为“所有鸟都会飞，企鹅是鸟”，结论为“企鹅会飞”，该推理的无效性体现在？

A.大项不当周延

B.中项不周延

C.前提虚假

D.结论超出前提

25、归纳推理与演绎推理的根本区别在于？

A.前者结论可证真

B.后者结论必然为真

C.前者从一般到特殊

D.后者从特殊到一般

26、逻辑电路中，与门(Y=AB)、或门(Y=A+B)、非门(Y=?A)的真值表中，当A=1，B=0时，各门的输出为？

A.与门=0，或门=1，非门=0

B.与门=0，或门=0，非门=1

C.与门=1，或门=1，非门=0

D.与门=1，或门=0，非门=1

27、命题逻辑中，公式(p→q)∧(q→p)等价于？

A.p≡q

B.p∨q

C.p∧q

D.p→q

28、集合论中，若A={a,b},B={b,c},则A∩B的结果是？

A.{a,b,c}

B.{b}

C.{a,c}

D.{}

29、逻辑推理中，若前提为“所有学生都完成作业”，结论为“小明是学生”，该结论的推出属于？

A.必然性推理

B.或然性推理