※ 引述《ERT312 (馬上漸漸中毒~)》之銘言： : 假設今天你想去修實變 : 學校規定必須先修高微 : 教授說問你修過高微沒? : 你說:我必須先修高微，請讓我修實變 : 教授再問:那你修過高微沒? : 你說:我真的必須先修高微，請讓我修實變 : 教授:到底是修過高微沒嘛 : 你說:我真的知道必須先須先修過高微，我可以修實變嗎 : 教授:你去死吧.... 真的開始語意混亂了， 注意原句是「對所有課程不用先修過」 請注意這三者的不同 需修過 需沒修過 不需修過 如果你要定義R為修過， 則可以將 對所有被允許修的課程y，均須修過某門z 寫為 Vy Qy => Ez Rz 但是你可以試試用這個定義寫出 「對所有被允許修的課程y，均不須修過某門z」 注意 ~Qy代表不被允許, ~Rz代表沒修過 也注意，如果你只寫成 Vy Qy，那就跟本串最早的錯誤一樣。 如果你寫出來，再回頭去比對你的式子 Vx ( (Vy ~P(x)^xQy) => (Ez xRz) ) 看看它倒底產生了什麼樣的意義? ※ 編輯: luciferii 來自: 59.121.9.167 (10/14 01:41)