《数理逻辑入门》求取 ⇩
| 作者 | 李锡胤编译 编者 |
|---|---|
| 出版 | 北京：知识出版社 |
| 参考页数 | 155 ✅ 真实服务 非骗流量 ❤️ |
| 出版时间 | 1984（求助前请核对） 目录预览 |
| ISBN号 | 2214·6 — 违规投诉 / 求助条款 |
| PDF编号 | 87730308（学习资料 勿作它用） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
目录1
命题逻辑和谓词逻辑1
一、命题逻辑1
§1 逻辑研究什么？1
§2 逻辑与自然语言2
§3 命题3
§4 联接符号3
§5 命题符号9
§6 真值表9
§7 永真命题与永假命题11
§8 演绎推理13
§9 命题推演：自然演绎法15
§10 基本加行规则18
§11 直接证明法21
§12 间接证明法24
§13 非蕴涵式的证明法25
§14 命题逻辑的定理和派生规则26
§15 命题逻辑的公理系统48
§16 公理系统的方法论52
§17 公理系统的无矛盾性55
§18 公理系统的独立性58
§19 模型，解释61
二、谓词逻辑62
§20 谓词逻辑与命题逻辑62
§21 量词，辖域65
§22 一阶谓词逻辑的基本规则68
§23 一阶谓词逻辑的定理和派生规则72
§24 一阶谓词逻辑的公理系统86
附录：〔美〕《哲学百科全书·现代逻辑》96
命题逻辑：非形式化的简介96
一阶谓词逻辑：非形式化的简介109
形式化的命题逻辑：命题演算121
形式化的初等逻辑：一阶谓词演算138
初等逻辑与高等逻辑152
1984《数理逻辑入门》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由李锡胤编译 1984 北京：知识出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 数理逻辑导引
- 1990 北京：中国社会科学出版社
-
- 逻辑入门（原名《学点逻辑》）
- 1984.02 人民出版社
-
- 数理逻辑
- 1986.11 华东师范大学出版社
-
- 数理逻辑、集合
- 1987年02月第1版 人民邮电出版社
-
- 数理逻辑
- 1992 广州：华南理工大学出版社
-
- 数理逻辑
- 1990 上海：华东化工学院出版社
-
- 当代数学哲学与逻辑哲学入门
- 1991 上海：华东师范大学出版社
-
- 数理逻辑
- 1984 北京：高等教育出版社
-
- 数理逻辑
- 1990 杭州：浙江大学出版社
-
- 数据处理入门
- 1984 北京：科学出版社
-
- 数理逻辑、集合
- 1987 北京：人民邮电出版社
-
- 数理逻辑基础
- 1958 北京：科学出版社
-
- 医学逻辑入门
- 1986 北京：人民卫生出版社
-
- 管理数学入门
- 1982 石家庄：河北人民出版社
-
- 数理逻辑
- 1986 上海：华东师范大学出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD