Re: 請問各位大大

看板logic作者 (邪龍之鳳黑暗之心)時間21年前 (2003/05/27 23:58), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串4/6 (看更多)
※ 引述《aletheia (HERESY)》之銘言: : ※ 引述《evildragon (邪龍之鳳黑暗之心)》之銘言: : : 嗯 "我說過p" 整體被才是被看作是命題吧 : : 如果"我說過p"是一個命題 它才可以有真假ㄚ : p未嘗不能當做一proposition? : 我說:"我剛剛吃了東西." : 我剛剛吃了東西豈不是一proposition? : : (命題 proposition) : : 我印象中三斷論證的邏輯式是 : : if p then q : : p : : q : : 第二行的意思 其時就是 p is true 才可以推出第三行的 q is true : 不對喔 第二行的意思不是p is true... : 你講的是sound 中文好像翻健全的(?) : 有效論證要求的只有不可能前提全真而結論為假 健全的論證要求的更高 : 有效且前提全真 : 邏輯通常不討論健全的論證 要確定前提全為真 已經超出邏輯系統的範圍 : 若p為假, q為真仍可能成立 : 例: : 若斷頭則死 : 沒有斷頭 : 死(這是有可能的) 所以斷頭是死的充份條件不是嗎? @@ if 斷頭 then 死 (斷頭和死是描述命題 也就是 斷頭了(T or F) 還有 死了(T of F) 斷頭 (T) 死 (T) 我大概是這樣解讀的 : : 還是說哲學語言使用的時候比較不嚴謹 就直接縮了 數學不行 我也不知道 : 哲學和數學都蠻開放的 只要你提出合理的解釋就可以了... -- ※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw) ◆ From: 210.85.88.246
文章代碼(AID): #-quilnH (logic)
文章代碼(AID): #-quilnH (logic)