网页资讯视频图片知道文库贴吧地图采购
进入贴吧全吧搜索
符号逻辑吧 关注：150贴子：422
  • 2回复贴，共1页

大神们，帮忙解释下

全称概括规则，x在假设前提和依赖假设前提中不是自由的。比如这个∴∀x(Fx→Gx∧Hx) 1)∀x(Fx→Gx) 前提
2)∀x(Fx→Hx) 前提
3)Fy 假设前提
4)Fy→Gy 1)，∀－
…
9)Fy→Gy∧Hy 3)－8)，条件证明
10)∀x(Fx→Gx∧Hx)，9)，∀+
中间过程省略了，这里假设前提y是自由的，为什么可以在第9步可以全称概括了？


1)∀x(Fx→Gx) 前提
2)∀x(Fx→Hx) 前提
@3)Fy 假设前提
@4)Fy→Gy 1)， ∀－
@8）…
9)Fy→Gy∧Hy 3)－8)，条件证明
10)∀x(Fx→Gx∧Hx)，9)，∀+
因为，第9步骤的y，使用条件证明规则以后，它已经跳出了假设的范围。此时，它与前提处于相同的层次了。
所以，此时可以使用全称概括规则了。
在步骤序号里，应该标记假设的范围。


在前提中就是任意的自由的。


扫二维码下载贴吧客户端

下载贴吧APP
看高清直播、视频！
  • 2回复贴，共1页
分享到: