內容簡介
本書從邏輯學的兩個核心概念“命題”和“論證”出發,論述了符號邏輯學的兩套推理(命題邏輯和謂詞邏輯)使用的兩種規範語言,以及相應的推導規則。命題邏輯繫統具有可判定性,真值表方法和真值樹方法都能夠為命題,命題集和論證的所有可能賦值提供完整的且圖表化的表征表;命題邏輯語言並不能完全充分表達所有有效論證和語義關繫,謂詞邏輯語言則彌補了其缺陷。謂詞邏輯繫統具有不可判定性,真值樹方法隻可為謂詞邏輯提供部分決策過程。命題邏輯的整套推導規則都可引入謂詞邏輯的推導中。
|
|
首頁 | 電影 | 連續劇 | 音樂 | 圖書 | 女裝 | 男裝 | 童裝 | 內衣 | 百貨家居 | 包包 | 女鞋 | 男鞋 | 童鞋 | 計算機周邊 |
|