Re: [請益] 邏輯句子的表達
※ 引述《luciferii (路西瓜)》之銘言:
: ※ 引述《ERT312 (馬上漸漸中毒~)》之銘言:
: : 則寫成邏輯語句如下:
: : Vx ( (Vy ~P(x)^xQy) => (Ez xRz) )
: 你真的看不懂你錯在哪嗎?
: (Vy ~P(x)^xQy)
: 對所有研究所課程,若x不是碩士生,且可以修y
: => (Ez xRz
: 則一定要修某門大學課程
: 這裏就漏了一個地方,
: for all的反義是 there exists one
: not all allowed 不是 all denied ,而是 exist one denied
: 所以若是只有一門研究所的課,是所有學生都可以修,但不需先修大學部課程
: 也並不違反原題目的邏輯
你真的錯了,再好好想想吧。
我知道你想改成 Vx ( (Ey ~P(x)^xQy) => (Ez xRz) )
只能說你一錯再錯。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.171.116.237
推
10/13 23:45, , 1F
10/13 23:45, 1F
→
10/13 23:45, , 2F
10/13 23:45, 2F
→
10/13 23:48, , 3F
10/13 23:48, 3F
→
10/13 23:50, , 4F
10/13 23:50, 4F
→
10/13 23:50, , 5F
10/13 23:50, 5F
→
10/13 23:52, , 6F
10/13 23:52, 6F
→
10/13 23:57, , 7F
10/13 23:57, 7F
→
10/13 23:58, , 8F
10/13 23:58, 8F
推
10/13 23:59, , 9F
10/13 23:59, 9F
→
10/13 23:59, , 10F
10/13 23:59, 10F
→
10/14 00:03, , 11F
10/14 00:03, 11F
→
10/14 00:03, , 12F
10/14 00:03, 12F
討論串 (同標題文章)