离散数学 命题逻辑一览

命题与逻辑联接词

命题：具有确定真假性的陈述句

• 原子命题：不可继续拆分的简单命题
• 复合命题：由原子命题通过联接词组成

联接词

联接词	符号	示例
否定	$\neg$	$\neg p$ 称非p,或p的否定
合取	$\wedge$	$p\wedge q$ 表示 p并且q。p,q真值均为1时$p\wedge q$为1
析取	$\vee$	p,q真值均为0时$p\vee q$为0（与并集符号开口方向一致）
蕴含	$\to$	p为蕴含式$p\to q$ 的前件，q为后件，$p\to q$真值为0当且仅当p值为1，q值为0
等价	$\leftrightarrow$	p当且仅当q记为$p\leftrightarrow q$ ，$p\leftrightarrow q$ 真值为1当且仅当p，q真值相同

注：对于蕴含运算，p,q均为真时，$p\to q$ 为真，而p为假的情况下，
$p\to q$ 真假性并不重要，因而不论q为真假，$p\to q$ 总为真

命题公式

命题公式可由命题常量，命题变量，命题联接词组合而成
含有n个命题变量的命题公式称为n元命题公式
命题公式可等价视为对各命题变量的一个真值赋值

等值运算

定义：命题公式A,B对任意真值赋值都取相同的真值，记为$A\iff B$

下面列出一些真值恒等式：

• $A\wedge (A\vee B)=A$
• $(A\wedge B)\vee C\iff (A\vee C)\wedge (B\vee C)$
• $\neg (A\wedge B)\iff \neg A\vee \neg B$
• 蕴含恒等式：$A\to B\iff \neg A\vee B$
• 假言易位：$A\to B\iff \neg B\to \neg A$
• 等价恒等式：$A\leftrightarrow B\iff (A\to B)\wedge (B\to A)$

例:证$(A\vee B)\to C=(A\to C)\wedge (B\to C)$
$$\begin{array}{rl}(A\vee B)\to C& =\neg (A\vee B)\vee C\\ & =(\neg A\wedge \neg B)\vee C\\ & =(\neg A\vee C)\wedge (\neg B\vee C)\\ & =(A\to C)\wedge (B\to C)\end{array}$$

范式

即某种特定表达式

主析取范式

前提：命题公式有成真赋值
设命题变量A中有n个命题变量，称依次含有A中每个命题变量的合取式（$\wedge$）为A的极小项。极小项的析取式主析取范式。
更一般地，称若干合取式组成的析取式称为析取范式

为什么是析取？
命题公式的所有成真赋值均有对应的极小项（真值1），将其析取（类比取并集，只要一项为1，命题公式为1）则得到与命题公式等值的范式
例题：注意补足相关变量构成极小项

极小项顺序： A的极小项含n个文字，将它们按指定的顺序排列，命题变量记作1、命题变量的否定记作0，得到长度为n的二进制串，其数值k即为该极小项的编码
而按照极小项的编码递增顺序排列，得到的主析取范式唯一

主合取范式

同样的，非永真的命题公式有主合取范式
极大项(maxterm)：文字的析取式，每个命题变量都出现一次
主合取范式(PCNF / product-of-sums expansion)：极大项的合取式，与原命题公式等值

极大项顺序： 命题变量记作0、命题变量的否定记作1（恰与极小项相反），得到长度为n的二进制串，其数值k即为该极小项的编码

功能完备集

n元真值函数

n个不同的命题变量对应n元真值函数2⁽²n)个
若每个n元真值函数均有对应的命题公式，则引出功能完备集概念

功能完备集

联结词集合S，对任意真值函数F(x1,x2,…,xn) ，存在仅含S中的联结词的命题公式A，A所对应的真值函数恰为F(x1,x2,…,xn)

联结词$\neg ,\wedge ,\vee$足以描述所有的逻辑关系
$\to$和$\leftrightarrow$ 并非必须

几个术语：

• 冗余联结词：联结词，删除它后的联结词集仍功能完备
• 独立联结词：非冗余联结词、
• 极小完备集：不含冗余联结词

自然推理系统

逻辑推理就是从若干前提(命题)依据一些推理规则推出一个结论(命题)
推理规则：

• P规则(前提引入规则)：前提可在推理的任何一步引入
• T规则(重言蕴涵规则)：如果推理中前面已有的某些公式可合乎逻辑地推出公式C，则在推理中可以引入C

n常用推理规则(由T规则派生)