用真值表来验证((p→q)∧┓q)├┓P是否为有效式。
答:由上表可知, ((p→q)∧┓ q)├┓P 为有效式。
暂无解析
“A不是瘙綈[KG-*5]A”是___公式。
有人说:“我完全同意老张的意见,但是有一点保留。”此人的言论()
断言“小夏是一位画家”和“小夏不是一位画家”同时都真,违反了()。
古希腊学者克拉底鲁说:“一切命题都是假的。”亚里士多德反驳说:“如果一切命题都是假的,那么这个‘一切命题都是假的’也是假的。”亚里士多德的反驳用的是()。