批踢踢實業坊
›
精華區
beta
logic
關於我們
聯絡資訊
返回上層
看板
精華區
◆ 語言哲學
◆ 命題及述詞邏輯(包含一階邏輯與常識中邏輯)
◆ 非古典邏輯(模態邏輯,直覺邏輯等)
◆ 集合論
◆ 模型理論
◆ 證明理論
◆ 益智問題
◇ Zeno詭辯
◇ 學好邏輯是不是就可以少背一點?
◇ [請益] 古人說過的有效論證
◇ 常見的 2 = 1
◇ [請益] 有效論證
◇ [請益] 關於無效論證、有效論證幾個問題
◇ [問題] 邏輯與時間性..?
◇ [請益] 全稱命題、超驗、先驗
◇ [請益] 如何推翻決定論?
◇ [問題] 關於學習淺度到深度的logic
◇ [問題]海德格在形上學中的開顯存有俱何特質?
◇ 時間有定義嗎?
◇ [討論] 實質蘊含悖論
◇ [問題] 事上有沒有絕對的東西?
◇ [問題] 套套邏輯,矛盾句,未確定句。
◇ [請益] 邏輯真、邏輯蘊含
◇ [請益] 充分條件、充要條件、必要條件
◇ [請益] 小前題、大前題
◇ 不合理的單選題
◇ 何謂一階邏輯?
◇ [請益] 大前題、小前題、結論
◇ 學好邏輯是不是就可以少背一點?
◇ [請益] 重言式、套套邏輯
◇ [問題] 兩點的中間
◇ [問題] 真值表推論法
◇ [請益] 論證、語句
◇ [問題] 請教自然演繹法
◇ [問題] 請問充分條件、必要條件、充分必要條件
◇ [請益] P -> Q (formula vs. sentence)
◇ [請益] 到底有沒有失去?
◇ [討論] A和B不能比較?
◇ [請益] 有關Deduction Theorem
◇ [請益] 一個應該算邏輯的問題...
◇ [請益] 關於三段論證的問題@@?
◇ [請益] 福爾摩斯遇到的問題
◇ [請益] 真值表的判斷
◇ [請益] 離斷率、逆斷率、基始符號
◇ 如何翻譯成量化邏輯
◇ [請益]2x=3x
◇ [請益] vacuous implication的意義?
◇ [請益] 何為Occam's Razer?