我又來了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