作者gooogle79 (北风乱 夜未央)
看板logic
标题[请益] 述词逻辑的一个小问题
时间Wed Aug 3 19:27:27 2011
1. (Ex)Ax & (x)(y)﹁(Ay-->Ax)
(^存在的意思)
假设这是题目好了，那麽
2. (Ex)Ax & (x)(y)(Ay & ﹁Ax) 1. Impl、DeM
请问这样做有符合推论规则吗?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.115.224
※ 编辑: gooogle79 来自: 140.112.115.224 (08/03 19:29)
1F：→ JaegwonKim:基本上是有效的 但我觉得要一步骤一步骤做比较好 08/03 19:45
2F：→ JaegwonKim:Simp UI UI Impl DeM UG UG Add... 08/03 19:46
3F：→ JaegwonKim:有没有符合推论规则应该要看你用什麽规则而定 08/03 19:47
5F：→ gooogle79:那如果&改成or呢? 08/03 20:34
6F：推 JaegwonKim:不太懂你的意思? 我第二推最後应该是conj不是add 记错 08/03 20:43
7F：→ gooogle79:改成：(Ex)Ax or (x)(y)﹁(Ay-->Ax) 08/03 22:30
8F：推 JaegwonKim:其实只要明白(x)(y)﹁(Ay-->Ax)与(x)(y)(Ay & ﹁Ax)等 08/04 18:52
9F：→ JaegwonKim:价的 那都有效的 08/04 18:54
10F：→ JaegwonKim:如果前提换成OR 建议用Indirect Proof来证明 08/04 18:55
11F：→ gooogle79:感谢!!! 08/05 08:36