一、填空题(每小题1分,共10分) 1.当S与P的外延间具有真包含或反对关系时,并非SOP为。 2.科学归纳法是在考察了对象与属性之间的联系后作出结论的。 3.在“[A()B]→B”的空括号内,填入逻辑常项符号,可构成有效的推理式。 4.若SEP为真,则SI。 5.以“SIP或者SOP,并非SOP”为前提进行选言推理,可必然得出结论。 6.如果有的a是b,有的b不是a,而且,那么a与b之间在外延上的关系是交叉关系。 7.若一个有效三段论的大前提为MOP,则这个三段论属于第格三段论。 8.在论证中,若“论证过少”,那么就违反了普通逻辑的规律的要求。