用真值表来验证( (p→ q)∧┓ q)├┓ P是否为有效式。
答:由上表可知, ((p→q)∧┓ q)├┓P 为有效式。
暂无解析
已知“可能p”假,可推知()
“一个推理只有形式正确,才能得出可靠的结论,这个推理结论不可靠,所以这个推理形式不正确。”这个假言推理使用了()。
在下列各式的括号内填入适当的符号,使之成为有效的三段论式。
一个美国旅游者去希腊克里特岛观光,碰到了一个年轻人。年轻人说:“别相信克里特人,他们说的每句话都是谎话。我最了解这一点,因为我是克里特人。”这个美国人对年轻人说:“我无法相信你的话,既然克里特人都不说真话,那么,凭什么让我相信你这个克里特人没说谎呢?”以下哪项最为确切地评价美国人的反应()
用欧拉图表示下列概念之间的关系