出自:《逻辑与哲学-现代逻辑导论 第九版》的习题.
题目: 有简单的量词规则系统给出有效性证明:
(∃x)Fx→(∃x)Gx
/ ∴(∃y)(x)(Fx→Gy)
注: 如题所述, 看似理所当然, 但难点在于使用“简单的量词规则”, 即只能使用如下规则:
和2个“量词否定规则”
再加上18个命题逻辑的规则.
我尝试了条件证明CP,间接证明IP, 都限于不能使用UG和EG而无法完成证明, 请问有人知道证明方法么?
出自:《逻辑与哲学-现代逻辑导论 第九版》的习题.
题目: 有简单的量词规则系统给出有效性证明:
(∃x)Fx→(∃x)Gx
/ ∴(∃y)(x)(Fx→Gy)
注: 如题所述, 看似理所当然, 但难点在于使用“简单的量词规则”, 即只能使用如下规则:
和2个“量词否定规则”
再加上18个命题逻辑的规则.
我尝试了条件证明CP,间接证明IP, 都限于不能使用UG和EG而无法完成证明, 请问有人知道证明方法么?
