一、填空题
1. 在逻辑学中，"p"中的逻辑常项是（ ）。
2. 在空括号内填入适当的变项符号"O"，可构成有效的推理式。
3. 根据"概念反映的对象数量"来考虑所属的种类，语句"贵阳是城市"中的"城市"属于（ ）概念。
4. 在关系概念"全同、真包含于、交叉、矛盾"中，属于反传递关系的是（）。
5. 在定义"判断是对思维对象有所断定的思维形式"中，"对思维对象有所断定"是定义的（）。
二、单项选择题
1. 在性质判断的对当关系中，如两个判断是互相矛盾的，那么它们的常项和变项关系是（ ）。
A. 常项相同，变项不同
B. 常项和变项都相同
C. 常项和变项都不同
D. 常项不同，变项相同
2. 普通逻辑研究推理，主要研究的是（ ）。
A. 前提的真假 B. 前提与结论的内容联系 C. 结论的真假 D. 前提与结论间的形式联系
三、双项选择题
1. 下列各组概念中，具有属种关系的是（ ）和（ ）。
A. 常项——量项 B. 太阳系——地球 C. 《鲁迅》——《》 D. 亚洲——
E. 变项——支判断
2. 下列依据概念间内涵与外延反变关系来明确概念的逻辑方法是（ ）和（ ）。
A. 定义 B. 划分 C. 分类 D. 限制 E. 概括
四、多项选择题
1. 如果一次划分的子项外延处于（ ）关系，则该划分犯了子项相容的逻辑错误。
A. 全同 B. 真包含 C. 交叉 D. 矛盾 E. 反对
五、图解题
1. 根据下列语句，用欧拉图表示出S与P的外延关系： "巴金（A）是文学家（B）而不是历史学家（C），（D）既是文学家又是历史学家。"
六、表解题
使用真值表回答：当下面A、B、C三判断不同真时，可否判定"小金是否当选班长？"和"小赵是否当选学习？"
P Q
真 真
真 假
假 真
假 假
（P为"小金当选班长"，q为"小赵当选学习"）
七、分析题
1. 分析下列定义和划分是否正确，并说明原因。 "简单判断就是仅对一类对象有所断定的判断。简单判断可以分为性质判断，关系判断和模态判断。"
八、证明题
根据以下两条件，证明概念B不与概念C全异。
（1）若A与B全异，则A与C全异。
（2）A真包含于C。
九、综合题
1. 根据下列条件，推导张明、王洪、高亮三人是否得奖：
（1）"只有张明没有得奖或李东没有得奖，王洪和高亮才都得奖。"
（2）"王洪没得奖或高亮没得奖"是不真的。
（3）"李东得奖了。"
2. 从下列A、B、C三人的议论中，只有一句是真的，请问：甲班班长是否是上海人？并写出推导过程。
A：有上海人是甲班学生。
B：甲班王英与刘民都不是上海人。
C：甲班学生有的不是上海人。