SIP与SOP之间的关系是（）
D
暂无解析
用真值表来验证((p→q)∧┓q)├┓P是否为有效式。
下列三段论的各个式中，属于第三格的有效式是()。
“没有一个人是生而知之的。”这判断是（）
选言证法是通过先论证与原论题相关的其他可能性的论断都不能成立，然后确定论题真的一种间接论证方法。其依据的是（）
必要条件假言判断“p←q”为假，那么一定为（）
