一、填空题
1、如果所有A都是B，但有的B不是A，那么A、B之间的外延关系是（包含于关系）。
2、任何一种逻辑形式都由（ 常项 ）和（ 变项）两部分构成。
3、从定义的结构看，在定义判断是对思维对象有所断定的思维形式中，判断是（ 被定义概念），对思维对象有所断定的思维形式是（ 定义概念）。
4、已知并非所有天鹅是白的为假，则有的天鹅是白的为（可真可假 ）。
5、以（p∧q）→r和 r为前提进行充分条件假言推理，可以必然得出结论（此题有误，无法得出必然结论）。
6、逻辑形式之间的区别，取决于（逻辑常项）。
7、SEP →（ ）→（ ）→PIS （此题有误，不能推出最后结论）
8、若p→q 取值为假，则p∧q 取值为（ 假），p• q取值为（ 真）。
9、主项与谓项均周延的直言命题的逻辑形式是（ SEP），主项与谓项均不周延的直言命题的逻辑形式是（ SIP）。
10、一个有效的三段论，结论为SAP，则其大前提为（ MAP），小前提为（SAM ）。
11、如p∨q取值为假，则p∧q→p取值为（真 ）。
12、属词项与种词项的内涵外延之间的反变关系，是对词项进行（ 限制 ）和（ 概括 ）的逻辑根据。
13、在[ A（ ）B]→B的空括号中，填入逻辑常项符号（∧ ），可构成有效的推理形式。
二、判定下列推理形式是否正确，正确的打√，错误的打×。
1、要是这个降落的球不受外力影响，它就不会改变降落方向，它受到了外力影响，因此它会改变降落方向。×
2、下午马芳或去看电影或去游泳。她没去看电影，所以，她去游泳了。√
3、所有学者不是堕落者，所以，并非有的学者是堕落者。√
4、许多学生干部写了入党申请书，小李同学是学生干部。所以，小李肯定写了入党申请书。×
5、并非所有的无神论者都是唯物主义者，有些无神论者是马克思主义者，所以，有些马克思主义者是唯物主义者。 ×
三、名词解释
1、共变法
在被研究现象发生变化的各个场合，如果其中有一个情况是变化的，而其他情况保持不变，那么，这个唯一变化的情况就是被研究现象的原因。
2、三段论
是由两个含有一个共同项的性质判断做前提得出一个新的性质判断为结论的演绎推理。
3、同一律
指在同一个思维过程中，每一个思想的自身必须是同一的。
四、证明如下推出关系
1、3有误，不能推出结论，也就无法证明。
2、A∨B，A→C，B→C ├ C
证明：
（1）A∨B为真，意味着或者A真，或者B真，或者A、B均真。
（2）A→C为真，意味着如果A真C必然真，如果A假，C可真可假。
（3）B→C为真，意味着如果B真C必然真，如果B假，C可真可假。
（4）前提（1）中已经说明A、B至少一个为真。
（5）可以得出结论C。

可能你在复制问卷的过程中，由于“百度知道”中文本编辑工具不齐全，致使有些符号没有显示出来，所以问卷中有些无法得出结论的填空或证明题。请你仔细核实后，将目前没有答案的题目重新提交。