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