西南大学《形式逻辑》网上作业及参考答案.docx
《西南大学《形式逻辑》网上作业及参考答案.docx》由会员分享，可在线阅读，更多相关《西南大学《形式逻辑》网上作业及参考答案.docx（13页珍藏版）》请在冰豆网上搜索。
西南大学《形式逻辑》网上作业及参考答案
1：
[单选题]“中国位于亚洲”这句话中的“中国”与“亚洲”这两个词项外延之间具有（）
A：
真包含于关系
B：
真包含关系
C：
交叉关系
D：
全异关系
参考答案：
D
2：
[单选题]“成年人”和“限制行为能力的人”的外延间的关系是：
（）
A：
真包含关系
B：
真包含于关系
C：
同一关系
D：
交叉关系
参考答案：
D
3：
[单选题]a方形，b方桌，c桌子，这三词项的外延关系是（）
A：
c全包含于b，b全包含于a
B：
a与b是交叉关系，b与c是交叉关系，a与c全异
C：
a全包含于b，c与它们交叉
D：
b全包含于c，a与它们是全异关系
参考答案：
D
4：
[单选题]ａ"犯罪团伙”、ｂ"盗窃团伙”、ｃ"盗窃团伙首犯”这三个词项之间的关系用欧拉图表示为（）
A：
c全包含于b，b全包含于a
B：
a与b是交叉关系，b与c是交叉关系，a与c全异
C：
b全包含于a，c与它们是全异关系
D：
b全包含于a，c与它们是交叉关系
参考答案：
C
5：
[单选题]“等边三角形”和“等角三角形”的外延间的关系是：
（）
A：
真包含关系
B：
同一关系
C：
交叉关系
D：
全异关系
参考答案：
B
6：
[单选题]“这个班的学生来自全国各地,他们都是考试入学的。
”在这句话中两次出现的词项“这个班的学生”是（）
A：
都是集合词项
B：
都是非集合词项
C：
前者是集合词项，后者是非集合词项
D：
前者是非集合词项，后者是集合词项
参考答案：
C
7：
[单选题]矛盾律要求相互否定的两个命题不能同（）
A：
指一个事物
B：
真
C：
假
D：
可靠
参考答案：
B
8：
[单选题]排中律要求两个相互矛盾的命题不能同（）
A：
指一个事物
B：
真
C：
假
D：
可靠
参考答案：
C
9：
[单选题]违反矛盾律所犯的逻辑错误是（）
A：
模棱两可
B：
混淆词项
C：
模棱两不可
D：
自相矛盾
参考答案：
D
10：
[多选题]同一律要求人们在使用词项时，必须保持词项的（）和（）的同一。
（）
A：
指称
B：
外延
C：
所指
D：
内涵
参考答案：
BD
11：
[多选题]“文学作品”可以概括或限制为（）
A：
作品
B：
文章
C：
小说
D：
论文
参考答案：
AC
12：
[多选题]下列连续限制中不正确的（）
A：
人民法院______高级人民法院________中级人民法院
B：
国家_______发展中国家________发展中国家经济
C：
大学_______师范大学________法律系
D：
诗歌_______诗人_______中国诗人
E：
市场_______中国市场_______农村市场
参考答案：
ABCDE
1：
[单选题]主项、谓项和量项相同，而联项不同的两个直言命题之间有（）
A：
矛盾关系
B：
反对关系
C：
差等关系
D：
反对关系或下反对关系
参考答案：
D
2：
[单选题]“没有什么人是无所畏惧的”，该命题中的主项是（）
A：
人
B：
无所畏惧
C：
是
D：
没有什么人
参考答案：
A
3：
[单选题]当主项S与谓项P之间有交叉关系时，则（）
A：
Ａ命题真,Ｅ命题假
B：
Ａ命题真，Ｉ命题真
C：
Ｉ命题真，Ｏ命题假
D：
Ｏ命题真，Ｅ命题假
参考答案：
D
4：
[单选题]由A、E、I、O四种命题在前提和结论中的不同组合所决定的形式是（）
A：
三段论的格
B：
三段论的式
C：
三段论的规则
D：
三段论的有效形式
参考答案：
B
5：
[多选题]直言命题的组成部分中属于逻辑常项的有（）
A：
主项
B：
量项
C：
联项
D：
谓项
参考答案：
BC
6：
[多选题]如果主项S和谓项P之间是S包含于P的关系，那么下列各式逻辑值为真的是（）
A：
SAP
B：
SEP
C：
SIP
D：
SOP
E：
SE~P
参考答案：
ACE
7：
[多选题]根据直言命题的量项不同，可以把直言命题分为（）
A：
肯定命题
B：
否定命题
C：
全称命题
D：
特称命题
参考答案：
CD
8：
[多选题]“所有的金属都是导电的”，该命题属于（）
A：
简单命题
B：
关系命题
C：
性质命题
D：
直言命题
参考答案：
ACD
9：
[多选题]以命题"凡不劳动者不得食”为前提，可以推出如下哪些结论？
A：
“得食的都是劳动者”
B：
“凡不得食的都不是劳动者。
”
C：
“有些劳动者是得食的。
”
D：
“并非有的得食的不是劳动者”
参考答案：
ACD
10：
[多选题]设"这个厂有的工人是职高毕业生”是真的，则（）是真的
A：
“这个厂所有的工人都是职高毕业生”
B：
“有的职高毕业生是这个厂的工人”
C：
“这个厂的工人都不是职高毕业生”
D：
“这个厂有的工人不是非职高毕业生”
参考答案：
BD
1：
[论述题]
3.有一个正确的三段论，大项在前提中周延在结论中不周延，请问它是哪一格的什么式？
参考答案：
答案：
大项在结论中不周延，则结论只能是肯定命题，因为大项是结论的谓项，只有肯定命题谓项不周延。
结论是肯定的则大前提一定也是肯定的，因为三段论规则5规定：
有一前提否定，结论必否定，由结论肯定可推知两个前提都必肯定。
大项在大前提中周延，则它一定是主项，因为肯定命题谓项不周延。
主项周延的命题是全称命题，因此大前提是全称肯定命题PAM。
当大前提是PAM时，中项M是不周延的，根据规则2：
中项在前提中至少周延一次，因此M必须在小前提中周延。
由于小前提是肯定的，M就只能是小前提的主项，因此小前提一定是全称肯定命题MAS。
当小前提是MAS是，小项S是不周延的，根据规则3：
前提中不周延的命题结论中不得周延，则S在结论中不周延。
小项S是结论的主项，主项不周延的命题是特称命题，因此结论是特称肯定命题SIP。
所以，该三段论是AAI-4
2：
[论述题]
2．所有优秀教师都有丰富的教学经验，李明是教师。
所以李明有丰富的教学经验。
参考答案：
答案：
可看出：
"李明”是小项，为S,"丰富的教学经验”为大项，为P,"优秀教师”，"教师”在这儿做了中项，所以犯"四词项”错误
其推理形式为：
MAP
SAM
SAP
所以，是AAA-1的无效式。
3：
[论述题]
1、证明:
一个有效三段论如果大前提是特称命题,则小前提必须是A命题。
参考答案：
答案：
用反证法。
如果小前提是特称命题，即I命题或O命题，则会两个特称前提的不出结论，就不是有效三段论。
如果小前提是E命题时，大前提一定是I命题。
因为连否定前提推不出结论。
这是大项P不周延。
而结论一定是O命题，大项周延。
会犯"大项扩大”的错误。
所以只能是A命题。
1：
[单选题]既断定p∧q为真，又断定p∧～q为真，则（）
A：
违反同一律
B：
违反矛盾律
C：
违反排中律
D：
不违反逻辑规律
参考答案：
B
2：
[单选题]当ｐ为真、ｑ为假时，下列命题公式为真的是（）
A：
ｐ∧ｑ
B：
Øｐ∨ｑ
C：
ｐ→ｑ
D：
ｐ∧Øｑ
参考答案：
D
3：
[多选题]下列复合命题中违反逻辑思维规则要求的有（）
A：
这架飞机上所有乘客都是外国人,但也有一位中国人
B：
这架飞机上所有乘客都不是外国人,但也有一位英国人
C：
这架飞机上并非所有乘客都是外国人,但也并非所有乘客都不是外国人
D：
并非这架飞机上所有乘客都是外国人,但也有乘客是外国人
参考答案：
ABC
4：
[多选题]下列描述中违反矛盾律的有（）
A：
既断定p∧q真又断定Øp∧Øq真
B：
既断定p∧q假又断定Øp∧Øq假
C：
既断定p∨q真又断定Øp∨Øq真
D：
既断定p→q真又断定Øp→Øq真
参考答案：
ACD
5：
[多选题]如果p是q的必要条件，那么
A：
无p必无q
B：
无p未必无q
C：
有p必有q
D：
有p未必有q
参考答案：
AD
6：
[多选题]设A、B为真，X、Y为假，P、Q的值不确定，下列命题公式的值能够确定的是（）
A：
P∨（X∨ØP）
B：
Ø（P∧Q）∨（ØP∧ØQ）
C：
（P→A）→（B→Y）
D：
（A→Y）→（B→（（A→Q）→Y））
参考答案：
CD
7：
[多选题]“Øp→ｑ”为真，若（）
A：
ｐ真ｑ假
B：
ｐ真ｑ真
C：
ｐ假ｑ真
D：
ｐ假ｑ假
参考答案：
ABC
8：
[多选题]“ｐ→Øｑ”为真，且仅当（）
A：
ｐ真ｑ假
B：
ｐ真ｑ真
C：
ｐ假ｑ真
D：
ｐ假ｑ假
参考答案：
ABD
9：
[多选题]当命题"ｐ∨ｑ”为假时，下列命题为真的有（）
A：
ｐ→ｑ
B：
Øｐ∧Øｑ
C：
Øｐ∨Øｑ
D：
ｐ∧ｑ
参考答案：
ABC
10：
[多选题]当命题"ｐ∧ｑ”为真时，下列命题公式为假的有（）
A：
ｐ→ｑ
B：
Øｐ∧Øｑ
C：
ｐ→Øｑ
D：
ｐ∨ｑ
参考答案：
BC
1：
[论述题]
1.用归缪赋值法证明下列推理是否有效
A→（B∧C）
（C∨D）→F
∴A→F
参考答案：
答案：
假设该推理是无效的，则有前件真而后件假的情况。
设前件真后件假，则有：
A→（B∧C）
（C∨D）→F
A→F
T
TT
TT
T
FF
FF
F
TF
在这里，出现了C既为真，又为假的情况，所以假设不成立。
所以，原推理有效
2：
[论述题]
2．用归缪赋值法证明下列推理是否有效
C→（A∧B）
A∨C\∴B→C
参考答案：
答案：
假设该推理是无效的，则有前件真而后件假的情况。
设前件真后件假，则有：
ABC
C→（A∧B）
A∨C
B→C
TTF
T
FT
TT
T
TF
F
TF
从这儿可以看出，存在使该推理无效的赋值（A：
T；B：
T；C：
F），所以，原推理无效。
1：
[论述题]
1根据给出的符号，构造推理有效性的形式证明
（A→B）∧（C→D）
B∧D
∴A∨C
参考答案：
证明：
①（A→B）∧（C→D）P
②B∧DP
③A→B①∧-
④C→D①∧-
⑤B②∧-
⑥A③⑤MP
⑦D②∧-
⑧C④⑦MP
⑨A∨C⑥⑧∨+
2：
[论述题]
2根据相应规则，构造以下形式证明
A∨（B∧C）
（A→D）∧（D→C）
∴C
参考答案：
①A∨（B∧C）P
②（A→D）∧（D→C）P
③（A∨B）∧（A∨C）①Dist
④A∨C③∧-
⑤C→A④Impl
⑥A→C②HS
⑦C→C⑤⑥HS
⑧C∨C⑦Impl
⑨C⑧∨-
升级会员 