※ 引述《ERT312 (馬上漸漸中毒~)》之銘言： : ※ 引述《jayfrog (若要人不宅 除非己莫宅)》之銘言： : 這個式子要這樣看 : x 代表任何一個學生 : 暫且我們就把學生劃分成 碩士生 與 非碩士生吧 : 如果帶入右式的是碩士生，那麼 P(x)為真，故原命題為真 : 如果帶入的是非碩士生，則P(x)為假， : 那麼要嘛 Ey ~xQy 為真 或是 Ez xRz 為真。 : 換句話說對一個非碩士生，要不是他不能修某門研究所的課 : 就是他已經過某門大學部的課。 每篇都幫你挑邏輯謬誤，就當是改考卷 用你自己的邏輯否證你的式子 Vx ( (Vy ~P(x)^xQy) => (Ez xRz) ) 暫且我們就把學生劃分成 碩士生 與 非碩士生吧 但是不管是什麼學生 在R是你定義"修過"的狀態下 只要x有修過某門大學課程，你的式子永遠都是 TRUE 事實上原句中不談實際有沒有修過，而是有沒有必要修 除非你想從結果來寫，那也可以，但是 xQy 就要改成 x已修y 而你的式子造成與原題完全搭不上關係 而即使你依題意，把R定義成"先修"的狀態下 只要x必須修某門大學課程，你的式子永遠都是 TRUE 所以若某碩士生必須修某門大學先修課，也不會造成式子FALSE，但卻違反了題意 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 59.121.9.167