命题公式及分类

命题公式及分类

0x00 前言

本篇文章参考教材为：屈婉婷《离散数学（第五版）》——第一章 命题逻辑

一切以此书为准，本文为学习总结所用如有偏差，是本人才疏学浅，望指正😄

0x10 命题公式

抽象的说，命题公式是由命题常项、命题变项、联结词、括号等组成的符号串，但也不是由这些符号组成的任意符号串都是命题公式，因而必须给出命题公式的严格定义：

1. 原子命题是合式公式
2. 若$A$ 是合式公式，则 $\neg A$ 也是合式公式
3. 若$A,B$ 是合式公式，那么$(A\bigvee B)$ 等$A,B$ 的联结词的形式也是合式公式
4. 有限的使用(1-3)生成的符号串才是合式公式

在命题逻辑中，合式公式又被称为命题公式，简称公式

为方便起见，规定只有$(\neg A),(A\bigvee B)$ 等的外层括号可以省去

0x20 公式层数

公式层次的定义：

1. 若$A$ 是单个命题变项或命题常项，则称$A$ 是0层公式
2. 称$A$ 是 $n+1(n\ge 0)$ 层公式是指其符合下列情况之一：
   • $A=\neg B,B$ 是$n$ 层公式
   • $A=B\bigvee C$ ,等联结词形式时 ，其中$B,C$ 分别为 $i,j$ 层公式，且$n=max(i,j)$

注：在1中有的书可能规定略有不同，有的教材可能规定为1层公式，但在本书中为0层公式，正所谓你以为你在第一层其实你一层都没有

0x30 命题公式的解释或赋值

设$A$ 为一个命题公式，$p,p_i$ 为出现在$A$ 中的所有的命题变项，给 $p,p_i$ 指定一组真值，称为对$A$的一个赋值或解释

注：一般来说含n个命题变项的命题公式有$2^n$组赋值

0x31 成真赋值

若指定的一组真值使$A$的值为真，则称这组值为$A$ 的成真赋值 🐱 真值为 1

0x32成假赋值

若指定的一组真值使$A$的值为假，则称这组值为$A$ 的成假赋值 🐯 真值为 0

0x33 真值表

由$A$ 的所有组取值所构成的表即为真值表，如表1-1

0x40 公式分类

根据在各种赋值下的取值情况，可将命题分为3类：

1. 重言式（即：永真式）在所有赋值下都取真，即真值都为 1
2. 矛盾式（即：永假式）在所有赋值下都取假，即真值都为 0
3. 可满足式，至少存在一组成真赋值

永真式与永假式互为否定

非永真式的可满足式的否定为他本身

0x90 课后作业

课后作业如下:😆

解：（1）由题意得：

$p$	$q$	$r$	$\neg p$	$\neg p\to q$	$(\neg p\to q)\leftrightarrow r$
1	1	1	0	1	1
1	1	0	0	1	0
1	0	1	0	1	1
1	0	0	0	1	0
0	1	1	1	1	1
0	1	0	1	1	0
0	0	1	1	0	0
0	0	0	1	0	1

表1-1 真值表

​ (2) 由真值表1-1 可得：设第一个，第二个，第三个参数分别为$p,q,r$ 则：

​ 成真赋值： $111,101,011,000$

​ 成假赋值：$110,100,010,001$

​ (3) 由真值表1-1 可得：该命题公式为可满足式

注：真值表需要从0开始到1结束，我这里没有这样做是因为懒的改了

0x100 参考资料

屈婉婷《离散数学（第五版）》——第一章 命题逻辑

公式使用LaTeX😆