逻辑学概论

定义

以推理为主要研究对象的一门学科，更准确来说，研究的是推理的形式，也叫推理的结构。
正确的推理形式叫做有效推理形式，否则叫做无效推理形式。
一直有效的推理形式不会由真前提得到假结论。

逻辑学的特点：

抽象性，应用性，工具性。

逻辑学的基本准则：

同一律：A是A。通俗说就是不能跑题。
矛盾律：A不是非A，即A和非A不能同时成立。
排申律：A和非A必有一真。

数理逻辑的内容：

两个演算：逻辑演算：命题演算和谓词演算
四论：证明论、递归论、集合论、模型论
经典逻辑：以罗素和怀特海的数学原理为代表。经典逻辑只有真和假。
非经典逻辑：多值逻辑、模糊逻辑、模态逻辑（可能、一定、有时候、永远）、广义模态逻辑。非经典逻辑是经典逻辑在特定情况下的子系统。

命题：

对事务及其性质或关系的陈述叫做命题。命题一定是一个句子，但句子并不一定是命题。
基本命题：不包含其他命题的命题。
复合命题：由多个基本命题通过连接词组合而成的命题。

命题连接词：

非
合取（与）
析取（或）否定肯定式
不相容析取（异或） (p | q) & ~(p & q)
蕴含（条件关系，相当于充分条件）
蕴含的基本推理形式：
肯定前件式：若p->q为真，且p为真，则q一定为真
否定后件式：若p->q为真，且q为假，则p一定为假
易位：p->q (~ q)->(~p)
连锁式：p->q q->s 则 p->s
反蕴含：p<-q
等值（同或）：p <-> q
构成式
(p & q) | (~p & ~q)

重言式（tautology）（永真式）
矛盾式（contradiction）（永假式）
可满足式（satisfaction）（某些条件为真，某些条件为假）

一个推理形式可以转化为一个复合命题。当且仅当一个复合命题为永真式时，其对应推理形式为有效的。
真值表法：
验证一个推理形式是否有效可以使用真值表法，当且仅当真值表全为真时，推理形式有效。
归谬赋值法：
找到推理形式对应的复合命题为假时的情况，从结果入手，反推是否存在莫种情况使该命题为假。

范式：

合取范式：所有为假的情况用析取（或）表示，并用合取（与）连接，相当于最大值表达式。
析取范式：所有为真的情况用合取（与）表示，并用析取（或）连接，相当于最小值表达式。

命题连接词的充足集：

理论上存在2 ^ 2 ^ n个命题连接词，这些无穷无尽的命题连接词可以用一个有限集表示。根据范式存在定理，{否定，合取，析取}就是一个充足集。由于析取和合取可以相互替换，因此{否定，合取}，{否定，析取}也是充足集。{否定，蕴含}也是充足集。
单独的与非和或非也是充足集。

公理系统：
构成：符号库、形成规则、公理、变形规则。
命题演算的公理系统L：{否定、蕴含}

基本命题的结构：

量词 主词 谓词
有的、所有 人 会游泳

词项的内涵和外延：

内涵：该词项所对应的对象所共同具有的属性
外延：词项所对应的某一具体事务
根据外延的数量，可以分为普遍词项（有多个外延），单独词项（只有一个外延）和空词项（没有外延）。

词项之间的关系：

根据词项的外延，词项之间具有同一关系、包含关系、包含于关系、交叉关系、全异关系。
词项可以划分，一个母项可以划分为多个子项，母线与子项之间是包含关系。子项相加应恰好等于母项，且子项之间不能有重合。

定义：

描述词项的内涵。定义包含定义项和被定义项。同一个词项可以有不同的定义。
同语反复和循环定义是无效的。

谓词的分类：

一元谓词：需要一个主项
二元谓词：需要两个主项
由一元谓词构成的命题的是性质命题，否则是关系命题。

量词的分类：
全称量词、存在量词、单称量词。