作者bagaqq (彭小黑)
看板logic
标题Re: [请益] 这样做有问题吗?
时间Fri Jan 22 00:07:46 2010
※ 引述《Searle (♂拥抱後的寂寞♀)》之铭言：
: 我又来了orz
: (1)
: 1. ∀x[Rx → ∀y(Dy→Nxy)]
: 2. Ra → ∀y(Dy→Nay) ,UI1
: 这样的UI会有问题吗？（被那个∀y困惑住了）
应该不会
: (2)
: 1. (∃x)(∀y)~Rxy
: 2. ~(∀x)(∃y) Rxy ,QN 1
: 这样的QN有问题吗？
应该没有 不过最好把两个QN步骤都写出来
: (3)
: 1. (∃x)(∀y)(Syx → ~Sxy)
: /∴ ~(∀x)Sxx
: 这题卡住了...
: 恳请帮忙orz
2. (∀y)(Syx → ~Sxy) ,EI 1
3. Sxx → ~Sxx ,UI 2
4. ~Sxx V ~Sxx ,Impl 3
5. ~Sxx ,Taut 4
6. (∃x)~Sxx ,EG 5
7. ~(∀x)Sxx ,QN 6
不知道有没有帮到忙...
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.119.192.38
1F：推 Searle:第三题我很困惑的是 forall y可以UI成x @_@ 01/22 18:05
2F：→ bagaqq:可以 但是这样就不能用来做UG回去了 01/22 18:08