.据真值表,以下命题形式中与p→q具有等值关系的是()。
D
暂无解析
“(p→q)∧(r→s)∧(p∨r)→q∨s”这一推理式是()
“p←q”中,p判断与q判断之间的逆蕴涵关系是()
用真值表来验证((p→q)∧┓q)├┓P是否为有效式。
“A不是瘙綈[KG-*5]A”是___公式。
选言证法是通过先论证与原论题相关的其他可能性的论断都不能成立,然后确定论题真的一种间接论证方法。其依据的是()