命题公式及分类
0x00 前言
本篇文章参考教材为:屈婉婷《离散数学(第五版)》——第一章 命题逻辑
一切以此书为准,本文为学习总结所用如有偏差,是本人才疏学浅,望指正😄
0x10 命题公式
抽象的说,命题公式是由命题常项、命题变项、联结词、括号等组成的符号串,但也不是由这些符号组成的任意符号串都是命题公式,因而必须给出命题公式的严格定义:
- 原子命题是合式公式
- 若 A {A} A 是合式公式,则 ¬ A {\neg A} ¬A 也是合式公式
- 若 A , B {A,B} A,B 是合式公式,那么 ( A ⋁ B ) ({A}\bigvee{B}) (A⋁B) 等 A , B {A,B} A,B 的联结词的形式也是合式公式
- 有限的使用(1-3)生成的符号串才是合式公式
在命题逻辑中,合式公式又被称为命题公式,简称公式
为方便起见,规定只有 ( ¬ A ) , ( A ⋁ B ) {(\neg A)},{(A \bigvee B)} (¬A),(A⋁B) 等的外层括号可以省去
0x20 公式层数
公式层次的定义:
- 若 A {A} A 是单个命题变项或命题常项,则称 A {A} A 是0层公式
- 称
A
{A}
A 是
n
+
1
(
n
≥
0
)
{n+1(n\geq0)}
n+1(n≥0) 层公式是指其符合下列情况之一:
- A = ¬ B , B {A=\neg B},{B} A=¬B,B 是 n {n} n 层公式
- A = B ⋁ C {A= B \bigvee C} A=B⋁C ,等联结词形式时 ,其中 B , C {B,C} B,C 分别为 i , j {i,j} i,j 层公式,且 n = m a x ( i , j ) {n=max(i,j)} n=max(i,j)
注:在1中有的书可能规定略有不同,有的教材可能规定为1层公式,但在本书中为0层公式,正所谓你以为你在第一层其实你一层都没有
0x30 命题公式的解释或赋值
设 A {A} A 为一个命题公式, p , p i {p,p_i} p,pi 为出现在 A {A} A 中的所有的命题变项,给 p , p i { p ,p_i} p,pi 指定一组真值,称为对 A {A} A的一个赋值或解释
注:一般来说含n个命题变项的命题公式有 2 n {2^n} 2n组赋值
0x31 成真赋值
若指定的一组真值使
A
{A}
A的值为真,则称这组值为
A
{A}
A 的成真赋值 🐱 真值为 1
0x32成假赋值
若指定的一组真值使
A
{A}
A的值为假,则称这组值为
A
{A}
A 的成假赋值 🐯 真值为 0
0x33 真值表
由 A {A} A 的所有组取值所构成的表即为真值表,如表1-1
0x40 公式分类
根据在各种赋值下的取值情况,可将命题分为3类:
- 重言式(即:永真式)在所有赋值下都取真,即真值都为
1
- 矛盾式(即:永假式)在所有赋值下都取假,即真值都为
0
- 可满足式,至少存在一组成真赋值
永真式与永假式互为否定
非永真式的可满足式的否定为他本身
0x90 课后作业
课后作业如下:😆
解:(1)由题意得:
p {p} p | q {q} q | r {r} r | ¬ p {\neg p} ¬p | ¬ p → q \neg{p}\rightarrow{q} ¬p→q | ( ¬ p → q ) ↔ r (\neg{p}\rightarrow{q})\leftrightarrow{r} (¬p→q)↔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 |
(2) 由真值表1-1 可得:设第一个,第二个,第三个参数分别为 p , q , r {p,q,r} p,q,r 则:
成真赋值: 111 , 101 , 011 , 000 {111,101,011,000} 111,101,011,000
成假赋值: 110 , 100 , 010 , 001 {110,100,010,001} 110,100,010,001
(3) 由真值表1-1 可得:该命题公式为可满足式
注:真值表需要从0开始到1结束,我这里没有这样做是因为懒的改了
0x100 参考资料
屈婉婷《离散数学(第五版)》——第一章 命题逻辑
公式使用LaTeX😆