› 看板 logic 關於我們 聯絡資訊
作者ERT312 (馬上漸漸中毒~)
看板logic
標題Re: [請益] 邏輯句子的表達
時間Mon Oct 13 22:56:38 2008
※ 引述《jayfrog (若要人不宅 除非己莫宅)》之銘言： : ※ 引述《jayfrog (若要人不宅 除非己莫宅)》之銘言： : : Vx ( (Vy ~P(x)^xQy) => (Ez xRz) ) : : => Vx ( Ey P(x)ˇ~xQy ˇ (Ez xRz ) 應該沒錯吧 P=>Q ≡ ~PˇQ 這個式子要這樣看 x 代表任何一個學生 暫且我們就把學生劃分成 碩士生 與 非碩士生吧 如果帶入右式的是碩士生，那麼 P(x)為真，故原命題為真 如果帶入的是非碩士生，則P(x)為假， 那麼要嘛 Ey ~xQy 為真 或是 Ez xRz 為真。 換句話說對一個非碩士生，要不是他不能修某門研究所的課 就是他已經過某門大學部的課。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 118.171.116.237
推 jayfrog:他不能修某門研究所的課 所以他可以修某門研究所的課 10/13 23:00
→ jayfrog:因為你是用Ey 而不是用Vy 所以說 如果我是大學生的話 10/13 23:01
→ jayfrog:存在著一堂研究所的課 不能修 可是我可以修其他的啊 10/13 23:02
→ ERT312:題目沒說你不能修其他的阿，只是想要有全修的資格 10/13 23:04
→ ERT312:必須修過某些大學部的課。 10/13 23:04
推 jayfrog:假設Ey ~xQy 是真 Ez xRz是假 所以我是大學生 10/13 23:06
→ jayfrog:而且 我可以修研究所的某一門課 10/13 23:06
→ jayfrog:那不就跟題目矛盾了嗎 10/13 23:07
→ ERT312:不對 10/13 23:08
→ ERT312:Ey ~xQy 是x不能修某門研究所的課。 10/13 23:09
推 jayfrog:所以說我可以修某門研究所的課 Ex 1+x不等於零 10/13 23:10
→ jayfrog:可是我x可是用-1啊 10/13 23:11
→ ERT312:你想找我抬槓喔? 10/13 23:12
推 jayfrog:如果對你的式子產生問題 就算是抬槓 那就不用再討論了 10/13 23:15
→ ERT312:看不懂就別勉強了 10/13 23:16