Re: [請益] 邏輯句子的表達

看板logic作者 (馬上漸漸中毒~)時間17年前 (2008/10/13 22:56), 編輯推噓4(4推 0噓 11→)
留言15則, 2人參與, 最新討論串40/51 (看更多)
※ 引述《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
推
10/13 23:00, , 1F
他不能修某門研究所的課 所以他可以修某門研究所的課
10/13 23:00, 1F
→
10/13 23:01, , 2F
因為你是用Ey 而不是用Vy 所以說 如果我是大學生的話
10/13 23:01, 2F
→
10/13 23:02, , 3F
存在著一堂研究所的課 不能修 可是我可以修其他的啊
10/13 23:02, 3F
→
10/13 23:04, , 4F
題目沒說你不能修其他的阿，只是想要有全修的資格
10/13 23:04, 4F
→
10/13 23:04, , 5F
必須修過某些大學部的課。
10/13 23:04, 5F
推
10/13 23:06, , 6F
假設Ey ~xQy 是真 Ez xRz是假 所以我是大學生
10/13 23:06, 6F
→
10/13 23:06, , 7F
而且 我可以修研究所的某一門課
10/13 23:06, 7F
→
10/13 23:07, , 8F
那不就跟題目矛盾了嗎
10/13 23:07, 8F
→
10/13 23:08, , 9F
不對
10/13 23:08, 9F
→
10/13 23:09, , 10F
Ey ~xQy 是x不能修某門研究所的課。
10/13 23:09, 10F
推
10/13 23:10, , 11F
所以說我可以修某門研究所的課 Ex 1+x不等於零
10/13 23:10, 11F
→
10/13 23:11, , 12F
可是我x可是用-1啊
10/13 23:11, 12F
→
10/13 23:12, , 13F
你想找我抬槓喔?
10/13 23:12, 13F
推
10/13 23:15, , 14F
如果對你的式子產生問題 就算是抬槓 那就不用再討論了
10/13 23:15, 14F
→
10/13 23:16, , 15F
看不懂就別勉強了
10/13 23:16, 15F
‣ 更多 ERT312 的文章
文章代碼(AID): #18ys6doD (logic)
討論串 (同標題文章)
本文引述了以下文章的的內容：
以下文章回應了本文：
完整討論串 (本文為第 40 之 51 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共51篇)
‣ 更多 ERT312 的文章
文章代碼(AID): #18ys6doD (logic)