书籍名称：数理逻辑
页数：205
作者：汪芳庭编著
出版时间：2010
ISBN：9787312027086
出版社：合肥：中国科学技术大学出版社
简介：
前部分目录
引言——1
0 预备知识——3
0.1 集论初等概念——3
0.2 Peano自然数公理——5
0.3 可数集——6
1 命题演算——9
1.1 命题联结词与真值表——9
1.2 命题演算的建立——13
1.2.1 命题演算公式集——14
1.2.2 命题演算L——19
1.2.3 演绎定理——23
1.2.4 反证律与归谬律——25
1.2.5 析取，合取与等值——28
1.3 命题演算的语义——33
1.3.1 真值函数——33
1.3.2 赋值与语义推论——36
······
······
······
声明：本站资源均来源于互联网，旨在给网友提供一个交流学习的平台，产生费用仅为网站运营赞助费。版权属于原作者，若有侵权，请联系微信客服告知，我们会立即处理。
