※ 引述《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)