用真值表来验证( (p→ q)∧┓ q)├┓ P是否为有效式。
答：由上表可知， ((p→q)∧┓ q)├┓P 为有效式。
暂无解析
以下概念为非空概念的是()。
已知某有效三段论的大前提为O判断，试证明：(1)其小前提必为A判断;(2)该三段论为第三格OAO式。
直接推理形式“SAP→PIS”属于什么推理（）
必要条件假言判断“p←q”为假，那么一定为（）
“有些大学生是党员”，通过换质位推理，可以得到()。
