逻辑模拟试卷

逻辑模拟试卷1一、填空题（每小题2分，共14分）1、在命题形式“¬ p→q”与“aRb”中，常项是_________，变项是_________。

2、以“在守财奴中也有穷人，皇帝决不是穷人”为前提进行三段论推理，可推出有些_________不是________。

3、求同法的特点是____________，共变法的特点是_____________。

4、根据推出关系的不同，推理可分为_________推理和_________推理。

5、若¬SAP取值为真，则POS取值为______，SEP取值为________。

6、若“p→q”真且p与q不同真不同假，则“pν¬ q”取值为____，“¬ p∧q”取值为____。

7、与“当且仅当甲上场，乙才不上场”等值的联言命题是（用自然语言表达）“___________________________________________”。

二、单项选择题（每小题2分，共16分）1、命题“青年是祖国的未来”和“青年应该奋发向上”中的“青年”（）a、都是集合概念b、前者是集合概念，后者不是集合概念c、都不是集合概念d、前者不是集合概念，后者是集合概念2、在下列关系中，具有对称性的关系是（）a、父子关系b、信任关系c、同乡关系d、蕴涵关系3、若SAP与SIP一真一假，则S与P之间的外延关系是（）a、全同b、真包含c、真包含于d、全异4、已知“明天不必然下雪”，可推出（）a、明天必然下雪b、明天可能下雪c、明天可能不下雪d、明天必然不下雪5、与“只有甲不去，乙才去”相等值的命题是（）a、甲乙都不去b、甲乙都去c、或者甲去或者乙去d、或者甲不去或者乙不去6、下列违反逻辑基本规律的公式是（）a、（pνq）∧¬（¬ p →q）b、SEP∧¬ SIPc、L¬ p∧M¬ pd、¬（SAPνSEP）7、若“A可以分为B、C、D”是一正确的划分，则B与C的外延一定是（）a、矛盾关系b、属种关系c、交叉关系d、反对关系8、以MAP与SAM为前提，不能必然推出（）a、SAPb、PISc、PO Sd、SEP三、双项选择题（每小题3分，共15分）1、下列推理形式中，有效的是（）（）a、p→q∧r，¬ r├p →sb、PAS∧SIM →MIPc、¬ SEP├¬ SAPd、SOP∧SAM├MOPe、¬A→¬B，¬C→¬D，¬ Cν¬ D├AνB2、下列推理形式中，无效的是（）（）a、SaP├¬ SEPb、Mp├¬ Lpc、（p∧¬ q）ν（¬ p∧q），p├¬ qd、p→¬ q├q→¬ pe、¬ MOP∧¬ SEM├¬ SOP3、某些理发师留胡子。

因此，某些留胡子的人穿白衣服。

下述（）（）为真，足以佐证上述论断的正确性？a、某些理发师不喜欢穿白衣服。

b、某些穿白衣服的理发理由不留胡子。

c、所有理发师都穿白衣服。

d、没有理发师不穿白衣服。

d、所有穿白衣服的人都是理发师。

4、如命题A与命题B等值，则下列断定违反逻辑基本规律的公式是（）（）a、A∧Bb、¬ B∧Ac、A→Bd、¬（Aν¬B）e、A←B5、下列各组形式中，可同真的是（）（）a、PES与SAPb、p与M¬ pc、p∧q与p↔¬ qd、¬ Lp与¬ L¬ pe、¬ p→q与¬ p∧¬ q四、图表题（共15分，1题8分，2题7分）1．下列命题形式中只有一真。

用欧拉图表示S与P的关系，并写出推导过程。

①SOM∨MOP ②MOP→SAM ③PAS∨SOM2．刑侦队长要在A、B、C、D四名警探中，安排二名去捉拿逃犯（四名警员中A年龄最长，B次之，C再次。

D最小）。

故征询了他们四人的意见。

四人陈述如下：A：我和C之中至少有一人不能去。

B：如果D不去，那么我去。

C：我和D只能去一个人。

D：除非A去，我才不出。

队长综合了四人的意见，在不违反他们意见的原则下，同时又考虑锻炼年轻的警员，那么他会派哪两位警员去？（用真值表解题）五、分析题（每题5分，共20分）1．下面的定义和划分是否正确，为什么？“直言命题就是反映事物具有某种性质的思维形态，它包括A、E、I、O、a、e和负命题。

”2．写出下列推理的种类和形式，简要说明它们的异同。

①A、I、a的谓项都不周延，所以，肯定命题的谓项不周延。

②对当关系推理和命题变形推理都是直接推理，所以，简单命题推理都是直接推理。

3．以下四个命题中只有一个是真的，谁是作案者？写出推导过程。

①如果甲作案，那么乙是同案犯。

②作案者是丙。

③作案者是甲，但乙没作案。

④作案者是甲或丁。

4．分析下面推理是否正确，为什么？并写出推理形式。

这个推理的结论为真，所以，这个推理是有效的。

六、证明题（每题10分）同格的两个三段论为一组，其结论是下反对关系的命题，小前提是同质的全称命题。

问：共有几组这样的有效三段论？请推断出其格式并简述理由。

七、综合题（10分）关于法语考试成绩，已知情况如下：如果甲组同学都及格，那么乙组若有人不及格，则丙组都不及格；甲组有人不及格并且丁组有人不及格是不可能的；班长成绩是及格的且是丙组成员，乙组是有人不及格。

问：甲乙丙丁四组法语的考试情况？请用形式证明的方法推出。

参考答案一、1、¬ →R；pqab 2、守财奴；皇帝3、异中求同；同中求变4、必然性；或然性5、真；真假不定6、假；真7、甲上场或乙上场但甲乙不能都上场二、1、b 2、c 3、b 4、c 5、d 6、a 7、d 8、d三、1、ad 2、bd 3、cd 4、bd 5、bd四、答案：1．①②是下反对关系，必有一真，③假。

SOM和PAS为假。

MOP 必假，MAP 和SAM为真。

SAP为真和POS为真，所以，S真包含于P。

2．B、D去。

五、答案：1 定义不正确，定义过窄。

划分不正确，划分过宽。

2 ①完全归纳推理，②枚举归纳推理。

形式略。

相同：都是个别到一般。

不同：①归纳了类的所有对象，必然性推理；②归纳了类的部分对象，或然性推理。

3 ①和③是矛盾命题，必有一真。

②④为假。

甲、丙和丁不是作案者，①真②假，所以，乙是作案者。

4 省略三段论。

或者形式无效，或者前提虚假。

形式略。

六、1 结论分别是SIP 和SOP，2 小前提不可能是SEP，否则两个结论都是否定命题，3 有一三段论大前提是肯定命题，另一大前提是否定命题，4 不可能是第二格，否则结论都是否定命题，5 根据上述理由可推出其形式（形式略）。

七、1 p →（q → r）2 ¬ （¬ p ∧ S ）3 q ∧¬ r4 由上述形式推出¬ p和¬ S 。

（p 是甲组同学都及格，q 是乙组有人不及格，r是丙组都不及格，S是丁组有人不及格）结论：甲组有人不及格。

乙组有人不及格。

丙组有人及格和丁组同学都及格。

逻辑模拟试卷2一、填空题（每小题2分，共14分）1．逻辑形式是由项和项二部分构成。

2．若“p∨q”取值为假，则“⌝p∧⌝q”取值为，“⌝p→q”取值为。

3．求同求异法的特点是，共变法的特点是。

4．根据律，若“要么A去，要么B去”为假，则充要条件命题(用自然语言表达)“”为真。

5．若有a不是b，且，则a真包含b。

若所有的a是b，且，则a真包含于b。

6．若命题A与命题B矛盾，命题B与命题C矛盾，则A与C必然是关系。

若命题A蕴涵命题B，命题B蕴涵命题C，则A与C必然是关系。

7．如果母项的外延真包含于诸子项的外延之和，则犯了的错误。

如果被定义项的外延真包含与定义项的外延，则犯了的错误。

二、单项选择题（每小题2分，共10分）1．当⌝P为真时，下列为假的是（）。

①L P ②L⌝P ③M P ④M⌝P2．如“有A是B”、“有A不是B”、“有B不是A”都真，则（）。

①A与B都是单独概念②A是单独概念，B是普遍概念③A与B都是普遍概念④B是单独概念，A是普遍概念3．命题“工人阶级大公无私。

”和“工人阶级要自强。

”中的“工人阶级”（）。

①. 都是集合概念②. 前者是集合概念，后者不是集合概念③. 都不是集合概念④. 前者不是集合概念，后者是集合概念4．如“p←q”真且“p↔q”假，则（）。

①.p、q都真②.p、q都假③.p真q假④.q真p假5．“概念A真包含B，B真包含C，所以A真包含C。

”和“A与B不相容，B与C不相容，所以A与C不相容。

”这两关系推理（）。

① . 都有效②. 前者有效，后者无效③. 都无效④. 前者无效，后者有效三、双项选择题（每小题3分，共24分）1．下列推理中，属于或然性推理的是（）。

①完全归纳推理②类比推理③二难推理④溯原推理⑤换位法推理2．下列各组中，可同真的是（）。

①SAP与SIP ②SAP与PES ③SEP与PIS ④SOP与PIS ⑤POS与PAS3．下列不能表示逻辑常项的语词是（）。

①不是②概念③可能④有的⑤命题4．如SAP与SEP中恰有一真，则必然有（）与（）。

①．SIP与SOP恰有一真②. SAP与SIP恰有一假③. SEP与SOP恰有一假④SIP与SOP恰有一假⑤. SAP与SIP恰有一真5．如命题A逆蕴涵命题B，则下列断定违反逻辑基本规律的公式是（）。

①. A∧⌝B ②. ⌝A∧B ③. ⌝（⌝B∨A）④. A∧B ⑤. ⌝A∧⌝B6．下列推理形式中无效的是（）（）。

①. p↔q ┣┫(p∨⌝q)∨(⌝p∨q) ②p ∧⌝q┣⌝q ③SAP∧PAM ┣SIM④p∨q→r , ⌝r ┣⌝p∧⌝q ⑤⌝SAP ┣POS7．下列推理形式中有效的是（）（）。

①. p↔q，⌝p┣q ②⌝MOP∧⌝SEM┣SOP ③⌝P┣M⌝P④ p←q，r←s，q∨s┣ p∨r ⑤⌝SEP┣ POS8．与“如果不跳马，那么就出车。

”相等值的命题是（）。

①并非不跳马，也不出车②或者跳马，或者出车③并非既跳马，又出车④如果出车，那么不跳马。

⑤如果跳马，那么不出车。

四、图表题（每小题7分，共14分）1．设A命题是连言命题，B是不相容选言命题，C是充分必要条件假言命题，D是相容选言命题，p、q是命题变项。

请写出A、B、C、D的真值形式，令A、B、D等值，A与C 矛盾，并用真值表验证。

2．下列四命题中只有一个是真的，其中S、P、M、N是概念。

请用欧拉图表示S与P可能存在外延关系。

A：S不都是非P。

B：没有M是P。

C：有非S是PD：或者有N不是S，或者有M不是N。