Re: [請益] 這樣做有問題嗎?

看板logic作者 (♂擁抱後的寂寞♀)時間16年前 (2010/01/21 18:31), 編輯推噓0(0推 0噓 0→)
留言0則, 0人參與, 最新討論串2/3 (看更多)
我又來了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有問題嗎？ (3) 1. (∃x)(∀y)(Syx → ~Sxy) /∴ ~∀xSxx 這題卡住了... 懇請幫忙orz -- Plurk: http://plurk.com/epmud/invite Facebook: http://www.facebook.com/Epmud -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.27.193.58
‣ 更多 Searle 的文章
文章代碼(AID): #1BM2px1I (logic)
‣ 更多 Searle 的文章
文章代碼(AID): #1BM2px1I (logic)