用真值表来验证((p→q)∧┓q)├┓P是否为有效式。
答：由上表可知， ((p→q)∧┓ q)├┓P 为有效式。
暂无解析
下列逻辑错误中，直接违反同一律要求的有（）
“(p→q)∧(r→s)∧(p∨r)→q∨s”这一推理式是（）
思维的基本特征是概括性和___。
下列关系中既传递又对称的关系有（）
已知某有效三段论的大前提为O判断，试证明：(1)其小前提必为A判断;(2)该三段论为第三格OAO式。