1．逻辑学研究思维是暂时撇开（具体内容），专门研究（形式）。
2．任何一种逻辑形式都是由两部分构成的，即（逻辑常项）和（变项）。
3．逻辑常项是指逻辑形式中（不变）的部分，变项是指逻辑形式中（可变）的部分。判别逻辑形式的类型的唯一依据是（逻辑常项）。
4．形式逻辑研究的对象及其特点决定形式逻辑是一门（工具）性学科，它是没有（民族、阶级）性的。
二、单项选择题
1．思维的逻辑形式之间的区别，取决于（B）
A．思维的内容B．逻辑常项C．逻辑变项D．语言表达形式2．“所有S是P”与“有的S不是P”，（B）
A．逻辑常项相同但变项不同B．逻辑常项不同但变项相同C．逻辑常项与变项均相同D．逻辑常项与变项均不同3．“任何改革者不是思想僵化的，有些干部是改革者，所以有些干部不是思想僵化的”。此推理的逻辑形式是（B）
A．所有M不是P，S是M，所以S不是P
B．所有M不是P，有些S是M，所以有些S不是PC．有些M不是P，有些S是M，所以S不是PD．M是P，S不是M，所以S不是P
三、指出下列各段文字中个“逻辑”一词的含义
1．“虽说马克思没有留下‘逻辑’（大写字母的），但他遗留下《资本论》的‘逻辑’……”答：前一个“逻辑”是指逻辑学，即研究思维形式及其规律的科学。后一个“逻辑”
是指某种理论观点。
答：思维的规律和规则。
3．跨过战争的艰难路程之后，胜利的坦途就到来了，这是战争的自然逻辑。
答：客观事物发展的规律。
4．艾奇逊当面撒谎，将侵略写成了“友谊”……美国老爷的逻辑，就是这样。
答：表示某种特殊的立场观点或论证方法
四、下列各组命题是否具有相同的命题形式？为什么？
1．“有些唯物主义是马克思主义者”与“有些唯物主义者是先验论者”。
答：具有。它们的命题形式都是“有的S是P”。
2．“如果甲是三好学生，那么甲会按时到校”与“只有甲是三好学生，甲才会按时到校”。答：不具有。前者的命题形式是“如果p那么q”，后者的是“只有p才q”。3．“某罪犯或犯有走私罪，或犯有贪污罪”与“某罪犯既犯有走私罪，又犯有贪污罪”。
答：不具有。前者的命题形式是“p或者q”，后者的是“p并且q”。4．“所有货币都是商品”与“没有共同犯罪不是故意犯罪”。
答：具有。它们的命题形式都是“所有S是P”。
五、试例示具有下列命题形式和推理形式的命题或推理
1．所有S都不是P。2．要么r，要么s。
3．如果p，那么q；非q；所以非p。
4．所有M都是P，S都是M，所以S都是P。
答：1．所有乌鸦都不是白的。
2．定居在海外的华人要么保留中国国籍，要么取得外国国籍。
3．如果一个国家是法制国家，那么它在制度上是人人平等的；它在制度上不是人人平等的；所以它不是法制国家。
六、试分析下列两个命题哪个是事实真，哪个是逻辑真。
1．所有金属都能导电。
答：事实真。
2．或者所有金属都能导电，或者有的金属不能导电。
答：逻辑真。
第二章词项与概念
1．概念的基本逻辑特征是，任何概念都有（内涵）和（外延）。2．从概念的外延关系来看，“教师”与“劳动模范”具有（交叉）关系，“陈述句”与“疑问句”具有（全异）关系。注：更详细地说，“陈述句”与“疑问句”具有反对关系。3．如果“凡A不是B”，那么A与B的外延关系是（不相容）关系；如果“凡A是B并且凡B是A”，那么A与B的外延关系是（同一）关系。
4．在定义“犯罪就是危害社会的、触犯刑律的、应受到刑罚处罚的行为”中，种差是（危害社会的、触犯刑律的、应当受到刑罚处罚的），属是（行为）。
5．一个定义项在外延上真包含于被定义项，则该定义犯的逻辑错误是（定义过窄）。
6．在一个正确的划分中，母项与子项在外延上具有（真包含）关系，而子项与子项之间则具有（不相容）关系。
7．具有属种关系的概念的内涵与外延之间的反变关系，是对概念进行（限制）和（概括）的逻辑根据。
8．划分后各子项外延之和大于母项外延，就会犯（多出子项）的逻辑错误。划分后各子项外延之和小于母项外延，就会犯（划分不全）的逻辑错误。
1．“中国人是不怕死的，奈何以死惧之”中的“中国人”这一概念属于（A）
A．集合概念B．非集合概念C．普遍概念D．负概念
2．如果有的A是B，并且有的A不是B，则A于B的外延关系是（C）
A．全异关系B．同一关系C．交叉关系D．真包含于关系3．“学生考试成绩分为优、良、中、及格、不及格”和“学生补考成绩分为及格和不及格”这一对陈述，其中的“及格”与“不及格”两个概念之间（D）A．都是矛盾关系B．都是反对关系C．前者是矛盾关系，后者是反对关系D．前者是反对关系，后者是矛盾关系4．将“母项”概括为“划分”、限制为“子项”，则（C）
A．概括和限制都对B．概括对，限制错C．概括和限制都错D．概括错，限制对5．“不动产”这一负概念的论域是（C）
A．动产B．土地C．财产D．企业
6．若用“DS就是DP”表示定义公式，则犯“定义过窄”的逻辑错误是指在外延上（D）A．DS等于DPB．DS真包含于DPC．DP真包含DSD．DS真包含DP