更新时间：2024-03-04 17:33:19
封面
版权信息
文前
推荐序
译者序
前言
第一篇 日常语言中的逻辑
第1章 命题和真假
第2章 推理和演绎
第3章 否定
3.1 双重否定
3.2 矛盾律与排中律
3.3 否定和反对
第4章 我们接下来要学什么
第5章 联言、选言和德·摩根定律
5.1 联言和选言
5.2 联言的否定即否定的选言，选言的否定即否定的联言
第6章 排除法
第7章 假言和相反、倒换、对偶
7.1 “如果”的意思
7.2 “如果P则Q”的相反、倒换、对偶
7.3 “F是G”的相反、倒换、对偶
7.4 将德·摩根定律和对偶相结合
第8章 对偶论证法
第9章 推移律
第10章 归谬法
第11章 全称命题、存在命题、单称命题
第12章 运用“所有”和“有的”的演绎
第13章 全称和存在的德·摩根定律
13.1 全称的否定即否定的存在，存在的否定即否定的全称
13.2 全称类似联言，存在类似选言
13.3 即使野槌蛇不存在，也可以说“所有的野槌蛇……”
13.4 “也存在”比“存在”包含的意义更多
第14章 将全称和存在相结合
14.1 将全称和存在相结合这类命题的意义
14.2 把德·摩根定律运用于全称和存在相结合的命题
第15章 第一篇的复习
第二篇 创制出表述逻辑的符号语言
第16章 逻辑学是怎样的学问
16.1 演绎重在形式
16.2 “逻辑常项”是理解逻辑学最重要的概念
16.3 逻辑的本质在于语言的意义
16.4 逻辑常项决定逻辑学的涵盖范围
第17章 否定的意义
17.1 二值原理
17.2 否定的定义
17.3 双重否定律
第18章 联言和选言的意义
18.1 联言的定义
18.2 选言的定义
18.3 使用符号的原因
第19章 逻辑公式
第20章 命题逻辑的逻辑定律（1）：关于否定、联言、选言
20.1 矛盾律
20.2 排中律
20.3 命题逻辑的德·摩根定律
第21章 假言的意义
21.1 假言的定义
21.2 计算机和逻辑电路
21.3 逻辑公式的定义
第22章 命题逻辑的逻辑定律（2）：加上假言
22.1 确认A和A的对偶为等值
22.2 前件肯定式与后件否定式（对偶论证法）
第23章 现在我们正在做什么
23.1 回顾之前的内容
23.2 假言的恒真式和演绎
第24章 制作各种逻辑公式的真值表
24.1 P≡Q的真值表
24.2 从矛盾中可以得出任何结论
24.3 制作真值表很有趣吗
第25章 将“所有”和“有的（存在）”加进逻辑常项
25.1 单称命题、个体变项、论域
25.2 全称命题和存在命题的符号化
第26章 谓词逻辑的逻辑公式
第27章 谓词逻辑的德·摩根定律
第28章 所有的哲学家都是懒汉，有的哲学家是懒汉
第29章 有效式
29.1 如果否定“有的哲学家是懒汉”会怎样
29.2 怎么解释都为真的逻辑公式
29.3 如何表示是否为有效式
第30章 多重量化
第31章 公理系统
31.1 公理和定理
31.2 命题逻辑的公理系统
31.3 不完全性定理
练习问题的解答
会计极速入职晋级
作者简介
封底
