※ 引述《luciferii (路西瓜)》之铭言： : 每篇都帮你挑逻辑谬误，就当是改考卷 : 用你自己的逻辑否证你的式子 : Vx ( : (Vy ~P(x)^xQy) => : (Ez xRz) : ) : 暂且我们就把学生划分成 硕士生 与 非硕士生吧 : 但是不管是什麽学生 : 在R是你定义"修过"的状态下 : 只要x有修过某门大学课程，你的式子永远都是 TRUE : 事实上原句中不谈实际有没有修过，而是有没有必要修 : 除非你想从结果来写，那也可以，但是 xQy 就要改成 x已修y : 而你的式子造成与原题完全搭不上关系 : 而即使你依题意，把R定义成"先修"的状态下 : 只要x必须修某门大学课程，你的式子永远都是 TRUE : 所以若某硕士生必须修某门大学先修课，也不会造成式子FALSE，但却违反了题意 假设今天你想去修实变 学校规定必须先修高微 教授说问你修过高微没? 你说:我必须先修高微，请让我修实变 教授再问:那你修过高微没? 你说:我真的必须先修高微，请让我修实变 教授:到底是修过高微没嘛 你说:我真的知道必须先须先修过高微，我可以修实变吗 教授:你去死吧.... --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 118.171.116.237