Re: [請益] 邏輯句子的表達
※ 引述《aletheia (cOnJeCTuRe)》之銘言:
: ※ 引述《ht4300 (低調)》之銘言:
: : 請問各位大大
: : 我在書上看到一題
: : 只有碩士生可以修所有的研究所課程
: : 而不用先修過任何的大學課程
: : 這句話要怎麼表達
: : 想了半天想不出來
: : 我先設
: : x 是學生
: 這邊這樣寫不好 x是變數(項)
: 你要寫成 {x|學生}
沒有人會這樣定義集合
你連集合都不會定義
你真的在教邏輯?
: : M(x) x 是碩士生
: : y 是課程
: : G(y) 是 y 是研究所的課
: : T(x,y) 是 x 有修過 y 課
: : U(y) 是 y 是大學部的課
: : 之後就不知道怎麼組合起來
: : 請大家幫幫忙
: 除了你設定的外 我多加點東西
: Pxy x可以修y
: {z|課程}
不知所云
: 原句子變成
: "對所有的學生來說,如果所有研究所的課程,x都能修,
: 而且沒有一個z,z是大學部課程,並且x沒修z會導致他不可以修y,那麼x是碩士生。"
: 那答案就是
你不覺得"而且沒有一個z,z是大學部課程,並且x沒修z會導致他不可以修y"這句是空的?
前一句早就包含這句了,再想想看吧。
: for all x (for all y((Gy-->Pxy) and not-exsit z ((Uz and not-Txz)-->
: not-Pxy))-->Mx)
: 上面的黃色箭號也可以用雙箭號
: 請參考看看
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.171.122.150
討論串 (同標題文章)