逻辑试卷.doc

逻辑模拟试卷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、POSd、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、下列各组形式中,可同真的是()()PES与SAPb、p与M¬pc、p∧q与p↔¬qd、¬Lp与¬L¬pe、¬p→q与¬p∧¬q四、图表题(共15分,1题8分,2题7分)。用欧拉图表示S与P的关系,并写出推导过程。①SOM∨MOP②MOP→SAM③PAS∨、B、C、D四名警