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