作者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
1F：推 jayfrog:他不能修某門研究所的課 所以他可以修某門研究所的課 10/13 23:00
2F：→ jayfrog:因為你是用Ey 而不是用Vy 所以說 如果我是大學生的話 10/13 23:01
3F：→ jayfrog:存在著一堂研究所的課 不能修 可是我可以修其他的啊 10/13 23:02
4F：→ ERT312:題目沒說你不能修其他的阿，只是想要有全修的資格 10/13 23:04
5F：→ ERT312:必須修過某些大學部的課。 10/13 23:04
6F：推 jayfrog:假設Ey ~xQy 是真 Ez xRz是假 所以我是大學生 10/13 23:06
7F：→ jayfrog:而且 我可以修研究所的某一門課 10/13 23:06
8F：→ jayfrog:那不就跟題目矛盾了嗎 10/13 23:07
9F：→ ERT312:不對 10/13 23:08
10F：→ ERT312:Ey ~xQy 是x不能修某門研究所的課。 10/13 23:09
11F：推 jayfrog:所以說我可以修某門研究所的課 Ex 1+x不等於零 10/13 23:10
12F：→ jayfrog:可是我x可是用-1啊 10/13 23:11
13F：→ ERT312:你想找我抬槓喔? 10/13 23:12
14F：推 jayfrog:如果對你的式子產生問題 就算是抬槓 那就不用再討論了 10/13 23:15
15F：→ ERT312:看不懂就別勉強了 10/13 23:16