命题逻辑＜1＞——命题逻辑

$\S 1$ 命题逻辑的基本概念

命题

定义1.1 命题

同时满足以下所有条件:

1. 被判断的对象具有确定性。
2. 判断的结果(真值)也具有确定性,非真既假(只能是0或1之一)。
3. 形式为陈述句。

逻辑联结词

定义1.2 非(否定)联结词$\neg$

使用了否定联结词的复合命题$\neg p$称为否定式。
运算真值表如下:

$p$	$\neg$ p
0	1
1	0

电路的形象化表示为反转开关开闭状态。

开关	反转	电路
关	开	通
开	关	断

在集合中,设1代表全集$E$,0代表空集$\varnothing$,则否定联结词对应补集运算。

$P$	$\sim P$
$E$	$\varnothing$
$\varnothing$	$E$

定义1.3 与(合取)联结词$\wedge$

使用了合取联结词的复合命题$p\wedge q$称为合取式。
运算真值表如下:

$p$	$q$	$p\wedge q$
0	0	0
0	1	0
1	0	0
1	1	1

电路的形象化表示为串联状态。

开关1	开关2	串联	电路
关	关	关	断
关	开	关	断
开	关	关	断
开	开	开	通

在集合中,设1代表全集$E$,0代表空集$\varnothing$,则合取联结词对应交集运算。

$A$	$B$	$A\cap B$
$\varnothing$	$\varnothing$	$\varnothing$
$\varnothing$	$E$	$\varnothing$
$E$	$\varnothing$	$\varnothing$
$E$	$E$	$E$

定义1.4 或(析取)联结词$\vee$

使用了析取联结词的复合命题$p\vee q$称为析取式。
运算真值表如下:

$p$	$q$	$p\vee q$
0	0	0
0	1	1
1	0	1
1	1	1

电路的形象化表示为并联状态。

开关1	开关2	并联	电路
关	关	关	断
关	开	开	通
开	关	开	通
开	开	开	通

在集合中,设1代表全集$E$,0代表空集$\varnothing$,则合取联结词对应并集运算。

$A$	$B$	$A\cup B$
$\varnothing$	$\varnothing$	$\varnothing$
$\varnothing$	$E$	$E$
$E$	$\varnothing$	$E$
$E$	$E$	$E$

定义1.5 蕴含联结词$\to$

使用了蕴含联结词的复合命题$p\to q$称为蕴含式。
运算真值表如下:

$p$	$q$	$p\to q$
0	0	1
0	1	1
1	0	0
1	1	1

在集合中蕴含联结词对应包含关系。

$x\in A$	$x\in B$	$A\subseteq B$
0	0	1
0	1	1
1	0	0
1	1	1

从集合运算角度可以真正理解蕴含联结词定义的目的,若任意的元素$x\notin A$,此时$x\in B$或$x\notin B$都有成立的可能性,并且不影响$A\subseteq B$的成立,只有当$x\in A$但是$x\notin B$时,才能推出$A⊈B$;
特殊情况$A=\varnothing$下,$x\in B$恒为假,则$A\subseteq B$恒为真,所以空集是所有集合的子集。
进一步，如果考虑对集合的描述,则集合中的任意元素都满足集合的描述,将集合$A$的描述视为充分条件,$x\in A$代表$A$的描述中有关于$x$的命题$p$成立,集合$B$的描述视为必要条件,$x\in B$代表$B$的描述中有关于$x$的命题$q$成立,则当$p$不满足充分条件时,讨论$p\to q$的推理过程一致性没有意义,同时,必要条件是否成立都有可能,不受充分条件影响。

定义1.5 等价联结词$\leftrightarrow$

使用了等价联结词的复合命题$p\leftrightarrow q$称为等价式。
运算真值表如下:

$p$	$q$	$p\leftrightarrow q$
0	0	1
0	1	0
1	0	0
1	1	1

在集合中等价联结词对应相等关系。

$x\in A$	$x\in B$	$A=B$
0	0	1
0	1	0
1	0	0
1	1	1

命题公式

定义1.7 命题公式(合式公式/命题形式)

不含有任何逻辑联结词的命题称为原子命题,全体原子命题集合称为$\mathsf{Atom}\left(\mathsf{p}\right)$,反之则是复合命题。
真值为常数的命题称为命题常元(命题常项)。
而真值为变量,值域为 { 0 , 1 } \left \{ 0,1 \right \} {0,1}的命题称为命题变元(命题变项)。
命题常元与命题变元统称为原子公式。
命题变项可以通过括号和逻辑联结词组成有限长度的命题公式(合式公式/命题形式),全体命题公式集合称为$\mathsf{Form}\left(\mathsf{p}\right)$,通常只使用逻辑联结词五元组 S = { ∨ , ∧ , ¬ , → , ↔ } S = \left \{ \vee, \wedge ,\neg ,\to ,\leftrightarrow \right \} S={∨,∧,¬,→,↔},就能满足逻辑联结词的完备性。
逻辑连结词的运算优先级从高到低排序为为非逻辑连结词,合取连结词,析取联结词,蕴含联结词,等价联结词。
命题公式的递归定义:

1. 命题常元$r$和命题变元$p$,$q$都是命题公式。
2. 如果$A$,$B$是命题公式,则$\neg A$,$A\wedge B$,$A\vee B$,$A\to B$,$A\leftrightarrow B$也是命题公式。
3. 只有有限步引用上述规则生成的合式才是命题公式。

命题公式层数的递归定义:

1. 若公式$A$为单个命题变元,则$A$为0层公式。
2. 若$A$为$n-1$层公式,则公式$\neg A$为$n$层公式。
3. 若$A$,$B$分别是$i$,$j$层公式,则公式$A\wedge B$,$A\vee B$,$A\to B$,$A\leftrightarrow B$为 n = max ⁡ { i , j } n=\max \left \{ i,j \right \} n=max{i,j}层公式。

定义$n$为命题公式的层数。

定义1.8 赋值(指派/解释)

对于公式$A$中所有命题变元 { p 1 , p 2 , … , p i , … , p n ∣ i , n ∈ N + , 1 ≤ i ≤ n } \left \{ p_{1},p_{2},\dots, p_{i},\dots , p_{n} \mid i,n\in \mathbb{N^{+},1\le i \le n } \right \} {p1​,p2​,…,pi​,…,pn​∣i,n∈N+,1≤i≤n},对其中每一个命题变元$p_i$都指定真值 π = { α 1 , α 2 , … , α i , … , α n ∣ i , n ∈ N + , 1 ≤ i ≤ n , α i ∈ B } \pi=\left \{ \alpha _{1},\alpha _{2},\dots ,\alpha _{i},\dots ,\alpha _{n}\mid i,n\in \mathbb{N^{+},1\le i \le n },\alpha _{i}\in B \right \} π={α1​,α2​,…,αi​,…,αn​∣i,n∈N+,1≤i≤n,αi​∈B},则命题公式$A$也能计算真值,称对给定命题变元 { p 1 , p 2 , … , p i , … , p n ∣ i , n ∈ N + , 1 ≤ i ≤ n } \left \{ p_{1},p_{2},\dots, p_{i},\dots , p_{n} \mid i,n\in \mathbb{N^{+},1\le i \le n } \right \} {p1​,p2​,…,pi​,…,pn​∣i,n∈N+,1≤i≤n}的一个可能取值组合$\pi$为对$A$的命题公式一个赋值(指派/解释),若$A$的真值为真,这组赋值称为成真赋值,记为$\alpha \left(A\right)=1$,若$A$的真值为假,这组赋值称为成假赋值,记为$\alpha \left(A\right)=0$。
从函数(运算)的角度,公式$A$可看做以联结词作为逻辑运算符,关于自变量 { p 1 , p 2 , … , p i , … , p n ∣ i , n ∈ N + , 1 ≤ i ≤ n } \left \{ p_{1},p_{2},\dots, p_{i},\dots , p_{n} \mid i,n\in \mathbb{N^{+},1\le i \le n } \right \} {p1​,p2​,…,pi​,…,pn​∣i,n∈N+,1≤i≤n}的一个真值函数,其定义域与值域均为$B$。
从形式语言的角度,公式$A$又是一个正则字符串。

定义1.9 真值表

将$A$所有赋值与$A$在所有赋值下对应的真值列表,前$n$列为所有$n$个命题变元的所有可能赋值,后$k$列为$A$在逐层添加$k$个逻辑联结词后确定的真值。
这种表格称为真值表,总计$2^n$行与$k+n$列。

$p_1$	$p_2$	$\cdots$	$p_i$	$\cdots$	$p_n$	$A_1$	$A_2$	$\cdots$	$A_i$	$\cdots$	$A_k=A$
0	0	0	0	0	0	$\cdots$	$\cdots$	$\cdots$	$\cdots$	$\cdots$	$\cdots$
$\cdots$	$\cdots$	$\cdots$	$\cdots$	$\cdots$	$\cdots$	$\cdots$	$\cdots$	$\cdots$	$\cdots$	$\cdots$	$\cdots$
1	1	1	1	1	1	$\cdots$	$\cdots$	$\cdots$	$\cdots$	$\cdots$	$\cdots$

定义1.10 重言式(永真式) 矛盾式(永假式) 可满足式

若$A$在所有赋值之下根据取值分类:
永真式:对所有赋值均为真;
永假式:对所有赋值均为假;
可满足式(包含永真式):对一部分赋值为真。