掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
心靈元?dú)馍?/p>
-
>
縣中的孩子 中國縣域教育生態(tài)
-
>
(精)人類的明天(八品)
-
>
厭女（增訂本）
-
>
這樣學(xué)習(xí)才高效/楊慧琴
-
>
心理學(xué)經(jīng)典文叢:女性心理學(xué)
-
>
中國文化5000年
中圖價(jià):¥74.3
加入購物車
符號(hào)邏輯:語法.語義和證明 版權(quán)信息
- ISBN：9787030480392
- 條形碼：9787030480392 ; 978-7-03-048039-2
- 裝幀：暫無
- 冊(cè)數(shù)：暫無
- 重量：暫無
- 所屬分類：>
符號(hào)邏輯:語法.語義和證明 內(nèi)容簡介
大衛(wèi)·W.安格勒著的《符號(hào)邏輯－－語法語義和證明》從邏輯學(xué)的兩個(gè)核心概念“命題”和“論證”出發(fā)，論述了符號(hào)邏輯學(xué)的兩套推理（命題邏輯和謂詞邏輯）使用的兩種規(guī)范語言，以及相應(yīng)的推導(dǎo)規(guī)則。命題邏輯系統(tǒng)具有可判定性，真值表方法和真值樹方法都能夠?yàn)槊}、命題集和論證的所有可能賦值提供完整的且圖表化的表征表；命題邏輯語言并不能完全充分表達(dá)所有有效論證和語義關(guān)系，謂詞邏輯語言則彌補(bǔ)了其缺陷。謂詞邏輯系統(tǒng)具有不可判定性，真值樹方法只可為謂詞邏輯提供部分決策過程。命題邏輯的整套推導(dǎo)規(guī)則都可引入謂詞邏輯的推導(dǎo)中。 本書可供邏輯學(xué)、邏輯哲學(xué)、科學(xué)哲學(xué)、心靈哲學(xué)、認(rèn)知（科學(xué)）哲學(xué)，以及相關(guān)專業(yè)的讀者閱讀。
書友推薦
- >
月亮虎
- >
小考拉的故事-套裝共3冊(cè)
- >
姑媽的寶刀
- >
【精裝繪本】畫給孩子的中國神話
- >
推拿
- >
自卑與超越
- >
回憶愛瑪儂
- >
有舍有得是人生
本類暢銷
