软件理论基础学习笔记——命题逻辑系统

---

命题基本概念及其符号化

命题是带有唯一真值的陈述句

如果陈述句不包含更简单的陈述句，那么这个陈述句就是简单命题，如果陈述句由简单命题通过连接词连接形成，那么就是复合命题

命题根据是否为真分为真命题和假命题

简单命题（原子命题）是命题逻辑中最基本的研究单位，它的真值是确定的，又称作命题常项

初等数学有变量的概念，在命题逻辑中也有，取值不确定的命题变元称为命题变元，命题变元不是命题，命题变元和命题的关系就像是初等数学中变量和常量的关系

---

命题逻辑的符号表示

在命题演算中，我们用符号$p_1,p_2,p_3...$表示简单命题或命题变元，用$\neg ,\vee ,\wedge ,\to$作为命题连接符

用符号表示命题逻辑公式
$$A::=p\text{ | }A\vee A\text{ | }A\wedge A\text{ | }\neg A\text{ | }A\to A$$

---

真值

真值就是说一个命题变元是真还是假

真值指派是指对命题变元指定真值，即S到{0,1}的一个映射，说白了真值指派就是当整个命题公式为真的时候，对各个命题变元的赋值

赋值

F(S)的一个赋值v是一个映射 F ( S ) → { 0 , 1 } F(S)\rightarrow \{0,1\} F(S)→{0,1}，并满足下面条件：
$1.v(\neg A)=\neg v(A)$
$2.v(A\vee B)=v(A)\vee v(B)$
$3.v(A\wedge B)=v(A)\wedge v(B)$
$4.v(A\to B)=v(A)\to v(B)$

F(S)全体赋值集合为$\Omega$

其实这东西的意思就是，如果$a\wedge b\to c$是个命题逻辑公式，我们现在要为它赋值，a，b，c分别赋值为0,1,0
那么上面的F(S)就是：
F ( a ∧ b → c ) = { a → 0 , b → 1 , c → 0 } F(a\wedge b\rightarrow c)=\{a\rightarrow0,b\rightarrow1,c\rightarrow0\} F(a∧b→c)={a→0,b→1,c→0}

假设A中含有n个命题变元，那么

真度

设逻辑公式A含有n个命题变元，设 T ( A ) = { v ∈ Ω ∣ v ( A ) = 1 } T(A)=\{v\in\Omega | v(A)=1\} T(A)={v∈Ω∣v(A)=1}，用公式定义为：
$$\tau (A)=\frac{|T(A)|}{2^n}$$

真度其实就是一个命题公式取值为真的数量与所有可能取值之比

重言式与矛盾式

设$A\in F(S)$，若$\tau (A)=1$，则称A为重言式(永真式)，若$\tau (A)=0$，则称A为矛盾式(永假式)。用符号$\models A$表示A是重言式

从这个定义来看，重言式就是一个命题公式，对于所有可能的赋值来说，整体公式的真值都为1，永假式则真值都为0

如果存在一个赋值$v\in \Omega$使得v(A)=1，则称A为可满足的

---

写完之后再检查一下命题变元的概念

逻辑等价

设$A，B\in F(S)$，若对于$v\in \Omega$都有v(A)=v(B)，则称A与B是逻辑等价的，记作A=B

从定义上看，逻辑等价的含义就是对于每个赋值来说，命题公式的真值都相同

由逻辑等价概念可以得到一些性质
交换律：$A\vee B=B\vee A$ | $A\wedge B=B\wedge A$
结合律：$A\vee (B\vee C)=(A\vee B)\vee C$ | $A\wedge (B\wedge C)=(A\wedge B)\wedge C$
分配率：$A\vee (B\wedge C)=(A\vee B)\wedge (A\vee C)$ | $A\wedge (B\vee C)=(A\wedge B)\vee (A\wedge C)$
…

范式

设$A(p_1,p_2,...,p_n)\in F(S)$。则分别当A具有形式：
$$(Q_{11}\wedge ...\wedge Q_{1n})\vee ...\vee (Q_{m1}\wedge ...\wedge Q_{mn})$$
或
$$(Q_{11}\vee ...\vee Q_{1n})\wedge ...\wedge (Q_{m1}\vee ...\vee Q_{mn})$$
则分别称A为析取范式和合取范式，这里的Q可以是$p$或者$\neg p$

命题：每个不是矛盾式的公式都逻辑等价于一个析取范式，每个不是重言式的公式都逻辑等价于一个合取范式

这个命题不仅表明所说的结论，并且指出了如何去构造析取范式和合取范式。以析取范式为例，设$B(p_1,p_2,...,p_n)$不是矛盾式，那么先列出$\overline{B}(x_1,..,x_n)=\overline{B}(v(p_1),...,v(p_n))$的取值表，再找出函数值为1的各向量$(x_1,x_2,...,x_n)$然后作出相应的析取范式

例：
求$(p\to \neg q)\to (q\vee \neg p)$的析取范式和合取范式

$p$	$q$	$\neg p$	$\neg q$	$(p\to \neg q)\to (q\vee \neg p)$
1	1	0	0	1
1	0	0	1	0
0	1	1	0	1
0	0	1	1	1

首先作出析取范式，找到函数值为1的时候，取真的值，看到有三种情况函数取1，分别是$p,q$和$p,\neg q$以及$\neg p.\neg q$，取两个元素的合取，再让这几个式子析取即可得到析取范式

得到的析取范式为：
$$(p\wedge q)\vee (\neg p\wedge q)\vee (\neg p\wedge \neg q)$$

然后构造合取范式，合取范式就是找函数值为1的时候，取假的值，先把取假的命题变元析取，然后再取合取式，因为这里函数值为0的情况只有一种，所以得到的合取范式为：
$$\neg p\vee q$$

---

不是我说，虽然这份课件用了符号的观点以及从根本定义出发解释问题，不过命题逻辑这里明显还是直接看《离散数学》更好理解一点