联言推理有两种推理式：分解式和___。

已知某有效三段论的大前提为O判断，试证明：(1)其小前提必为A判断;(2)该三段论为第三格OAO式。

“p←q”中，p判断与q判断之间的逆蕴涵关系是（）

王小红、叶小白、徐小橙三位同学在商店门口不期而遇。忽然，她们中背着红包的一个人说：“真有趣，我们三个人的包，一个是白色的，一个是红色的，一个是橙色的，可是没有一个人的包的颜色与自己的名字所表示的颜色是相同的。”叶小白立即接着说：“一点也不错!”根据以上条件，判断三位同学各背什么颜色的包?说明推导理由。

“有些大学生是党员”，通过换质位推理，可以得到()。