看板 [ logic ]
討論串一個問題
共 6 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
2
下一頁
尾頁
#6
Re: 一個問題
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者b9108018 (論文發表後一點都不喜悅)時間20年前 (2006/04/26 17:46), 編輯資訊
0
0
0
內容預覽:
這題以形式邏輯的方式去解。. "P"表「及格者」。. "Q"表「需補考者」。. "R"表「重修者」。. 前提1.~P→QvR. 前提2.~P. 前提3.~R. 4.QvR 1.2.肯定前件而肯定後件. 5.Q 4.3.選言三段論. 以述詞邏輯的方式去解. Px：x是及格者. Qx：x是需補考者. R
(還有469個字)
#5
Re: 一個問題
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者copular (睡中乾坤)時間20年前 (2006/03/27 21:16), 編輯資訊
0
0
0
內容預覽:
題目在這呢. Ax {F(x)->[T(x) V R(x)]}. Ex F(x). Ex ~R(x). /∴Ex T(x). 無效論證啦. 設論域只有兩個人a和b. 而這兩個人的情況是. F(a),~F(b). R(a),~R(b). ~T(a),~T(b). 原論證就破工囉. --. ※ 發信站:
#4
Re: 一個問題
推噓0(0推 0噓 1→)留言1則，0人參與, 最新作者clifflu (缺錢啦 @@)時間20年前 (2006/03/27 18:27), 編輯資訊
0
0
0
內容預覽:
F : 不及格者之集合. R : 重修之集合. T : 補考之集合. 前提一:. for all x 屬於 F, 則 x 屬於 R 或 x 屬於 T. 前提二:. F 非空集合. 前提三:. Exists y, y 不屬於 R. 結論:. 若 F 非宇集合: 及格者不需要補考，故 "有人補考" 之結
#3
Re: 一個問題
推噓1(1推 0噓 2→)留言3則，0人參與, 最新作者shadowpower (mypower)時間20年前 (2006/03/27 18:19), 編輯資訊
0
0
0
內容預覽:
這樣解釋怪怪的 @@?. "因為所有不及格的都重修. 而 剩下的及格的 不需要重修. 及格的就是 前提三所說的. 又因為及格 當然就不需要補考". --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 218.175.174.124.
#2
Re: 一個問題
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者melodyjail (被窩暖暖睡得飽飽)時間20年前 (2006/03/27 16:45), 編輯資訊
0
0
0
內容預覽:
不一定吧 因為可以是. 所有不及格的人都重修. 且並非所有人都不及格(有些人是及格的 不用補考). --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 221.169.78.111. ※ 編輯: melodyjail 來自: 221.169.78.111 (03/27 17:01)
首頁
上一頁
1
2
下一頁
尾頁