简介
本书以通俗易懂的语言讲述了命题逻辑、命题演算、谓词逻辑、谓词演算等内容。
目录
目录
绪论
0.1 数理逻辑
0.2 逻辑和语言
第一章 命题逻辑
1.1 命题和命题形式
1.2 命题逻辑的语言
1.3 逻辑符号语义学
1.4 符号化
1.5 真值表法
1.6 等值式和置换规则
1.7 命题分析图
1.8 对偶原则
1.9 范式
1.10 推理形式有效性的判定
第二章 命题演算
2.1 形式系统
2.2 自然推理系统
2.3 推理有效性的形式证明
2.4 形式公理系统
2.5 演绎定理（一）
2.6 命题演算系统的特征
第三章 谓词逻辑
3.1 个体词、谓词和量词
3.2 一阶语言
3.3 一阶语言的语义学
3.4 一阶分析表
3.5 关系逻辑初步
第四章 谓词演算
4.1 关于量词的推演规则
4.2 一阶逻辑的自然推理系统〓
4.3 一阶逻辑有效性推理形式的证明
4.4 论证非有效性的证明
4.5 一阶谓词演算
4.6 演绎定理（二）
4.7 范式
4.8 谓词演算系统F的特征问题
参考文献
?
绪论
0.1 数理逻辑
0.2 逻辑和语言
第一章 命题逻辑
1.1 命题和命题形式
1.2 命题逻辑的语言
1.3 逻辑符号语义学
1.4 符号化
1.5 真值表法
1.6 等值式和置换规则
1.7 命题分析图
1.8 对偶原则
1.9 范式
1.10 推理形式有效性的判定
第二章 命题演算
2.1 形式系统
2.2 自然推理系统
2.3 推理有效性的形式证明
2.4 形式公理系统
2.5 演绎定理（一）
2.6 命题演算系统的特征
第三章 谓词逻辑
3.1 个体词、谓词和量词
3.2 一阶语言
3.3 一阶语言的语义学
3.4 一阶分析表
3.5 关系逻辑初步
第四章 谓词演算
4.1 关于量词的推演规则
4.2 一阶逻辑的自然推理系统〓
4.3 一阶逻辑有效性推理形式的证明
4.4 论证非有效性的证明
4.5 一阶谓词演算
4.6 演绎定理（二）
4.7 范式
4.8 谓词演算系统F的特征问题
参考文献
?
数理逻辑导论
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
