任何判斷都有兩個特征：第一，判斷都有所斷定(肯定或否定);第二，___。
王小紅、葉小白、徐小橙三位同學在商店門口不期而遇。忽然，她們中背著紅包的一個人說：“真有趣，我們三個人的包，一個是白色的，一個是紅色的，一個是橙色的，可是沒有一個人的包的顏色與自己的名字所表示的顏色是相同的。”葉小白立即接著說：“一點也不錯!”根據以上條件，判斷三位同學各背什么顏色的包?說明推導理由。
用真值表來驗證((p→q)∧┓q)├┓P是否為有效式。
選言證法是通過先論證與原論題相關的其他可能性的論斷都不能成立，然后確定論題真的一種間接論證方法。其依據的是（）
下列斷定中違反邏輯基本規律的有（）
