Re: [請益] 邏輯句子的表達

[aletheia (cOnJeCTuRe)]

※ 引述《krisnight (krisnight)》之銘言：
: 試試看
: (x)((y)(Gy→Axy)→Mx)
: Axy=x被允許修y

  這樣寫的話
  可能有人可以修研究所全部的課 不過這是因為他把大學部的先修都修完了

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 220.134.201.196