2025 年大学逻辑学（现代逻辑）技能试卷

2025年大学逻辑学（现代逻辑）技能试卷

（考试时间：90分钟满分100分）班级______姓名______一、单项选择题（总共10题，每题3分，每题只有一个正确答案，请将正确答案填写在括号内）1.下列关于命题逻辑中联结词的说法，正确的是（）A.“并且”表示合取关系，只有当两个支命题都为假时，合取命题才为真B.“或者”表示析取关系，只要两个支命题有一个为假，析取命题就为假C.“如果……那么……”表示充分条件假言关系，前件为真后件为假时，假言命题为真D.“当且仅当”表示必要条件假言关系，前后件同真同假时，假言命题为真2.在谓词逻辑中，对于量词的理解，正确的是（）A.全称量词“所有”表示对论域中所有对象都具有某种性质B.存在量词“有的”表示论域中只有部分对象具有某种性质C.全称量词的否定是存在量词，存在量词的否定是全称量词D.以上说法都不正确3.以下关于模态逻辑中模态词的表述，错误的是（）A.“必然”表示某种情况肯定会发生B.“可能”表示某种情况有发生的可能性C.“必然”和“可能”是相互矛盾的模态词D.模态命题之间的逻辑关系可以通过模态方阵来表示4.命题“如果今天下雨，那么地面会湿。今天下雨了，所以地面湿了”，这是运用了（）推理形式。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.特定个体B.所有个体C.部分个体D.不确定个体范围10.模态命题“明天可能会下雪”的矛盾命题是（）A.明天必然会下雪B.明天必然不会下雪C.明天可能不会下雪D.明天不一定会下雪二、多项选择题（总共5题，每题5分，每题有两个或两个以上正确答案，请将正确答案填写在括号内）1.以下属于命题逻辑中复合命题的有（）A.联言命题B.选言命题C.假言命题D.负命题E.直言命题2.在谓词逻辑中，个体词可以分为（）A.个体常项B.个体变项C.谓词D.量词E.命题变项3.模态逻辑中的模态对当关系包括（）A.反对关系B.下反对关系C.矛盾关系D.差等关系E.等价关系4.下列关于逻辑推理规则的说法，正确的有（）A.肯定前件式是有效的推理规则B.否定后件式是有效的推理规则C.肯定后件式是无效的推理规则D.否定前件式是无效的推理规则E.所有推理规则都是先验的5.逻辑论证的要素包括（）A.论题B.论据C.论证方式D.前提E.结论三、判断题（总共10题，每题2分，请判断下列说法的对错，在括号内打“√”或“×”）1.命题逻辑中，“p并且q”为真当且仅当p为真且q为真。（）2.谓词逻辑中，量词只作用于个体变项。（）3.模态逻辑中，“必然p”和“可能非p”是矛盾关系。（）4.有效的推理形式一定能得出正确的结论。（）5.同一律要求在不同思维过程中思想保持同一。（）6.逻辑常项决定了逻辑形式的性质。（）7.论证方式就是论据和论题之间的联系方式。（）8.谓词逻辑中，个体常项可以用具体的个体名称来表示。（）9.模态命题的真假取决于现实世界的实际情况。（）10.逻辑推理规则是人们任意制定的。（）四、简答题（总共3题，每题10分，请简要回答下列问题）1.请简述命题逻辑中合取命题、析取命题和假言命题的逻辑性质。2.说明谓词逻辑中量词的作用以及全称量词和存在量词的区别。3.阐述模态逻辑中模态词的种类及其相互关系。五、分析题（总共2题，每题15分，请分析下列逻辑问题）1.分析“如果甲参加比赛，那么乙也参加比赛。乙参加比赛了，所以甲一定参加比赛了”这个推理是否正确，并说明理由。2.分析“所有的金属都是导电的，铁是金属，所以铁是导电的”这个论证的结构，指出论题、论据和论证方式。答案：一、单项选择题1.A2.A3.C4.A5.A6.A7.C8.D9.B10.B二、多项选择题1.ABCD2.AB3.ABCD4.ABCD5.ABC三、判断题1.√2.√3.√4.×5.×6.√7.√8.√9.×10.×四、简答题1.合取命题：只有当所有合取支都为真时，合取命题才为真，否则为假。析取命题：只要有一个析取支为真，析取命题就为真，只有当所有析取支都为假时，析取命题才为假。假言命题：充分条件假言命题，前件真后件假时为假，其余情况为真；必要条件假言命题，前件假后件真时为假，其余情况为真；充分必要条件假言命题，前后件同真同假时为真，否则为假。2.量词用于限定个体变项的范围。全称量词表示论域中所有对象都具有某种性质，存在量词表示论域中至少有一个对象具有某种性质。区别在于全称量词涵盖全部对象，存在量词只需存在部分对象满足条件。3.模态词有“必然”“可能”等。“必然”表示肯定会发生，“可能”表示有发生的可能性。“必然p”和“可能非p”、“必然非p”和“可能p”是矛盾关系；“必然p”和“必然非p”是反对关系；“可能p”和“可能非p”是下反对关系；“必然p”蕴涵“可能p”，“必然非p”蕴涵“可能非p”是差等关系。五分析题1.这个推理不正确。它运用了充分条件假言推理的肯定后件式，而充分条件假言推理中肯定后件并不能必然肯定前件。虽然已知乙参加比赛了，但不