用真值表来验证((p→q)∧┓q)├┓P是否为有效式。
答:由上表可知, ((p→q)∧┓ q)├┓P 为有效式。
暂无解析
以“只有坚持不断创新,才能突破发展瓶颈”为前提,(1)加上另一个前提:“坚持了不断创新”,能否必然得出结论,为什么?(2)加上另一个前提:“突破了发展瓶颈”,能否必然得出结论,为什么?
从“可能明天有雾霾”为假可必然推出()。
若“A可以分为B、C”是一个正确的划分,则B与C的外延间一定是()
“有些大学生是党员”,通过换质位推理,可以得到()。
选言证法是通过先论证与原论题相关的其他可能性的论断都不能成立,然后确定论题真的一种间接论证方法。其依据的是()