Re: [請益] 邏輯句子的表達
※ 引述《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
討論串 (同標題文章)