推 Searle:第三題我很困惑的是 forall y可以UI成x @_@ 01/22 18:05
→ bagaqq:可以 但是這樣就不能用來做UG回去了 01/22 18:08
※ 引述《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