选言证法是通过先论证与原论题相关的其他可能性的论断都不能成立，然后确定论题真的一种间接论证方法。其依据的是（）

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

直接推理形式“SAP→PIS”属于什么推理（）

“p并且q”是___的逻辑形式。

“一个推理只有形式正确，才能得出可靠的结论，这个推理结论不可靠，所以这个推理形式不正确。”这个假言推理使用了()。