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