中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
妙相梵容
-
>
基立爾蒙文:蒙文
-
>
我的石頭記
-
>
心靈元氣社
-
>
女性生存戰爭
-
>
縣中的孩子 中國縣域教育生態
-
>
(精)人類的明天(八品)
符號邏輯:語法.語義和證明 版權信息
- ISBN：9787030480392
- 條形碼：9787030480392 ; 978-7-03-048039-2
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
符號邏輯:語法.語義和證明 內容簡介
大衛·W.安格勒著的《符號邏輯－－語法語義和證明》從邏輯學的兩個核心概念“命題”和“論證”出發，論述了符號邏輯學的兩套推理（命題邏輯和謂詞邏輯）使用的兩種規范語言，以及相應的推導規則。命題邏輯系統具有可判定性，真值表方法和真值樹方法都能夠為命題、命題集和論證的所有可能賦值提供完整的且圖表化的表征表；命題邏輯語言并不能完全充分表達所有有效論證和語義關系，謂詞邏輯語言則彌補了其缺陷。謂詞邏輯系統具有不可判定性，真值樹方法只可為謂詞邏輯提供部分決策過程。命題邏輯的整套推導規則都可引入謂詞邏輯的推導中。 本書可供邏輯學、邏輯哲學、科學哲學、心靈哲學、認知（科學）哲學，以及相關專業的讀者閱讀。
書友推薦
- >
詩經-先民的歌唱
- >
推拿
- >
唐代進士錄
- >
山海經
- >
李白與唐代文化
- >
伯納黛特,你要去哪(2021新版)
- >
小考拉的故事-套裝共3冊
- >
大紅狗在馬戲團-大紅狗克里弗-助人
本類暢銷
