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、主项与谓项均周延的直言命题的逻辑形式是( ),主项与谓项均不周延的直言命题的逻辑形式是( )。 10、一个有效的三段论,结论为SAP,则其大前提为( ),小前提为( )。 11、如p∨q取值为假,则p∧q→p取值为()。 12、属词项与种词项的内涵外延之间的反变关系,是对词项进行()和( )的逻辑根据。 13、在"[ A( )B]→B"的空括号中,填入逻辑常项符号( ),可构成有效的推理形式。