關(guān)于我們
書單推薦
新書推薦
|
條件句邏輯
條件句邏輯是哲學(xué)邏輯的一個(gè)重要分支,是對(duì)(狹義)模態(tài)邏輯的重要發(fā)展。它的主要目的在于刻畫關(guān)于虛擬條件句、直陳條件句和正常條件句的推理。本書系統(tǒng)闡述了條件句邏輯的基本概念、基本方法、重要成果及其恰當(dāng)性理論。為了便于讀者理解,本書對(duì)條件句邏輯的基本概念、方法以及表述重要成果所需的引理和定理給予詳細(xì)的證明、必要的分析和比較。本書可以作為邏輯學(xué)、哲學(xué)、人工智能以及相關(guān)領(lǐng)域的科研人員的參考書,也可作為上述領(lǐng)域研究生的教材或參考書。
你還可能感興趣
我要評(píng)論
|