已知某有效三段论的大前提为O判断，试证明：(1)其小前提必为A判断;(2)该三段论为第三格OAO式。
若“A可以分为B、C”是一个正确的划分，则B与C的外延间一定是（）
某宿舍住着四位研究生，分别是四川人、安徽人、河北人和北京人。他们分别在中文、国政和法律三个系就学。其中
(1)北京籍研究生单独在国政系;
(2)河北籍研究生不在中文系;
(3)四川籍研究生和另外某个研究生同在一个系;
(4)安徽籍研究生不和四川籍研究生同在一个系。
梧桐树是阔叶树，因此，梧桐树不是常绿树。对上述省略三段论，指出其大项、小项和中项，将被省略部分恢复，并说明它是三段论中的哪一部分。
“p并且q”是___的逻辑形式。
