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