豆瓣
扫码直接下载
经编辑与著者讨论，本书习题4.4的证明中，所表达的框架性质应为： ∀x∀y∀z(Rbxz→Rkxy∧Rbyz) ∀x∀y∀z(Rbyz→Rkxy∧Rbxz) ∀x∀y(Rkxy→Rbxy) 更加妥帖。
> 哲学逻辑导论
1人觉得有用 九章勾股弦 2024-06-27 20:15:25 河南
经编辑与著者讨论，本书习题4.4的证明中，所表达的框架性质应为： ∀x∀y∀z(Rbxz→Rkxy∧Rbyz) ∀x∀y∀z(Rbyz→Rkxy∧Rbxz) ∀x∀y(Rkxy→Rbxy) 更加妥帖。