基礎(chǔ)邏輯

定　價：￥12.80

作　者：	孫明湘，譚希培編著
出版社：	中南大學(xué)出版社
叢編項：
標(biāo)　簽：	命題邏輯謂詞邏輯

購買這本書可以去

當(dāng)當(dāng)網(wǎng) (￥10.50)

ISBN：	9787810615419	出版時間：	2002-04-01	包裝：	平裝
開本：	21cm	頁數(shù)：	233	字?jǐn)?shù)：

內(nèi)容簡介

　　本書包括：命題邏輯的基礎(chǔ)理論、命題邏輯的形式系統(tǒng)、謂詞邏輯的基礎(chǔ)理論、謂詞邏輯的形式系統(tǒng)等內(nèi)容。

作者簡介

暫缺《基礎(chǔ)邏輯》作者簡介

圖書目錄

第一章導(dǎo) 論
第一節(jié) 邏輯學(xué)的研究對象
第二節(jié) 邏輯學(xué)的研究方法
第二章命題邏輯的基礎(chǔ)理論
第一節(jié) 復(fù)合命題
第二節(jié) 真值形式
第三節(jié) 真值函項重言式
第四節(jié) 復(fù)合命題的推理形式
第五節(jié) 重言式的判...