一.一阶逻辑

程序不要报错

已于 2023-06-20 11:13:12 修改

阅读量588

点赞数 3

分类专栏：软件工程形式化方法文章标签：软件工程

于 2023-06-20 11:07:38 首次发布

本文链接：https://blog.csdn.net/qq_50854528/article/details/131281619

版权

软件工程形式化方法专栏收录该内容

7 篇文章 2 订阅

订阅专栏

1.命题逻辑

1.1 命题定义（不考）

能判断真假而不是可真可假的陈述句为命题。

1.2 命题连接词（必考）

（1）否定：“ $\neg$ ”

设P为一个命题，则P的否定为 $\neg$ P；

（2）析取：“ $\vee$ ”

两个命题P和Q的析取是一个复合命题，记作P $\vee$ Q。当且仅当P、Q同时为F时，P $\vee$ Q的真值为F，否则P $\vee$ Q的真值为T；

（3）合取：“ $\wedge$ ”

两个命题P和Q的合取是一个复合命题，记作P $\wedge$ Q，当且仅当P、Q同时为T时，P $\wedge$ Q为T，在其他情况下，P $\wedge$ Q的真值都是F；

（4）蕴含：“ $\Rightarrow$ ”

给定两个命题P和Q，其条件命题是一个复合命题，记作P $\Rightarrow$ Q，读作“如果P，那么Q”或者“若P则Q”。当且仅当P的真值为T，Q的真值为F时，P $\Rightarrow$ Q的真值为F，否则P $\Rightarrow$ Q的真值为T。我们称P为前件，Q为后件。

（5）等价：“ $\Leftrightarrow$ ”

给定两个命题P和Q，其复合命题P $\Leftrightarrow$ Q称作双条件命题，读作“P当且仅当Q”，当P和Q的真值相同时，P $\Leftrightarrow$ Q的真值为T，否则P $\Leftrightarrow$ Q的真值为F。

1.3真值表

例1：求下列公式的真值表：（ $\neg$ p $\wedge$ q） $\Rightarrow$ $\neg$ r

p	q	r	$\neg$ p	$\neg$ p $\wedge$ q	$\neg$ r	（ $\neg$ p $\wedge$ q） $\Rightarrow$ $\neg$ r
T	T	T	F	F	F	T
T	T	F	F	F	T	T
T	F	T	F	F	F	T
T	F	F	F	F	T	T
F	T	T	T	T	F	F
F	T	F	T	T	T	T
F	F	T	T	F	F	T
F	F	F	T	F	T	T

例2：求下列公式的真值表：（p $\wedge$ $\neg$ p） $\Leftrightarrow$ （q $\wedge$ $\neg$ q）

p	q	$\neg$ q	$\neg$ p	p $\wedge$ $\neg$ p	q $\wedge$ $\neg$ q	（p $\wedge$ $\neg$ p） $\Leftrightarrow$ （q $\wedge$ $\neg$ q）
T	T	F	F	F	F	T
T	F	T	F	F	F	T
F	T	F	T	F	F	T
F	F	T	T	F	F	T

例3：求下列公式的真值表： $\neg$ （p $\Rightarrow$ q） $\wedge$ q $\wedge$ r

p	q	r	p $\Rightarrow$ q	$\neg$ （p $\Rightarrow$ q）	$\neg$ （p $\Rightarrow$ q） $\wedge$ q	$\neg$ （p $\Rightarrow$ q） $\wedge$ q $\wedge$ r
T	T	T	T	F	F	F
T	T	F	T	F	F	F
T	F	T	F	T	F	F
T	F	F	F	T	F	F
F	T	T	T	F	F	F
F	T	F	T	F	F	F
F	F	T	T	F	F	F
F	F	F	T	F	F	F

例4：求下列公式的真值表：(p $\Rightarrow$ (q $\Rightarrow$ r)) $\Rightarrow$ (p $\Rightarrow$ q)

p	q	r	q $\Rightarrow$ r	(p $\Rightarrow$ (q $\Rightarrow$ r))	p $\Rightarrow$ q	(p $\Rightarrow$ (q $\Rightarrow$ r)) $\Rightarrow$ (p $\Rightarrow$ q)
T	T	T	T	T	T	T
T	T	F	F	F	T	T
T	F	T	T	T	F	F
T	F	F	T	T	F	F
F	T	T	T	T	T	T
F	T	F	F	T	T	T
F	F	T	T	T	T	T
F	F	F	T	T	T	T

1.4 命题符号化（必考）

例1：我和他既是兄弟也是又是同学。

设命题p：我和他是兄弟，q：我和他是同学

故命题可符号化为：p $\wedge$ q

例2：张三或李四都可以做这件事。

设命题p：张三可以做这件事，q：李四可以做这件事

故命题可以符号化为：p $\vee$ q

例3：仅当我有时间且天不下雨，我将去镇上。

当A则B是“A $\Rightarrow$ B”，仅当A和B是“B $\Rightarrow$ A”

设命题p：我有时间，q：天不下雨，r：我去镇上

故命题可以符号化为：r $\Rightarrow$ （p $\wedge$ q）

例4：张刚总是在图书馆看书，除非图书馆不开门或张刚生病。

带“除非”的，“除非”是条件

设命题p：张刚在图书馆看书，q：图书馆不开门，r：张刚生病

故命题可以符号化为： $\neg$ （q $\vee$ r） $\Rightarrow$ p

例5：风雨无阻，我去上学。

可以理解为“不管是否刮风、是否下雨，我都去上学”

设命题p：天刮风，q：天下雨，r：我去上学

故命题可以符号化为：（p $\wedge$ q $\wedge$ r） $\vee$ （p $\wedge$ $\neg$ q $\wedge$ r） $\vee$ （ $\neg$ p $\wedge$ q $\wedge$ r） $\vee$ （ $\neg$ p $\wedge$ $\neg$ q $\wedge$ r）

例6：张晓静只能挑选202或203房间。

排斥“或”

设命题p：张晓静挑选202房间，q：张晓静挑选203房间

故命题可以符号化为：（p $\wedge$ $\neg$ q） $\vee$ （ $\neg$ p $\wedge$ q）

例7：讲软件工程课程的老师是柯老师或者顾老师

相容“或”

设命题p：讲软件工程的老师是柯老师，q：讲软件工程的老师是顾老师

故命题可以符号化为：p $\vee$ q

例8：他昨天做了二十或三十道题

近似“或”

原子命题，因为“或”值表示了习题的近似数目。

例9：软件工程三班的上课教室是203或303

排斥“或”

设命题p：软件工程的上课教室是203，q：软件工程的上课教室是303

故命题可以符号化为：（p $\wedge$ $\neg$ q） $\vee$ （ $\neg$ p $\wedge$ q）

2.谓词逻辑（证明不考）

2.1 谓词定义

一个大写英文字母后边有括号，括号内是若干个参数，用以表示客体的属性或者客体之间的关系，称之为谓词。如果括号内有n个参数，成谓词为n元谓词。

2.2 量词

（1）存在量词： $\exists$

（2）约束量词： $\forall$

$\forall$ x（读作“对任意x”）， $\exists$ x（读作“存在一个x”），其中的x就是量词后的一个变量，称为约束变量。

2.3 量词的作用域

定义：在谓词公式中，量词的作用范围称之为量词的作用域。

例： $\forall$ xA(x)中 $\forall$ x的作用域是A(x)。

例： $\forall$ x(P(x) $\wedge$ Q(x)) $\Rightarrow$ $\exists$ yR(x,y))的作用域是(P(x) $\wedge$ Q(x)) $\Rightarrow$ $\exists$ yR(x,y)

例： $\forall$ x $\exists$ y $\forall$ z(A(x,y) $\Rightarrow$ B(x,y,x)) $\wedge$ C(t)

$\forall$ x的作用域是：A(x,y) $\Rightarrow$ B(x,y,x)

$\exists$ y的作用域是： $\forall$ z(A(x,y) $\Rightarrow$ B(x,y,x))

$\forall$ x的作用域是： $\exists$ y $\forall$ z(A(x,y) $\Rightarrow$ B(x,y,x))

2.4 自由变量和约束变量

例： $\forall$ x(F(x,y) $\Rightarrow$ $\exists$ yP(y)) $\wedge$ Q(z) $\wedge$ $\exists$ xA(x)

1.F(x,y)中的x在 $\forall$ x的作用域内，受到 $\forall$ x的约束，而其中的y不受 $\forall$ x的约束。

2.P(y)中的y在 $\exists$ y的作用域内，受 $\exists$ y的约束。

3.A(x)中的x在 $\exists$ x的作用域内，受 $\exists$ x的约束。

4.Q(z)中的z不受量词约束。

受到约束的为约束变量，不受约束的为自由变量。

3.一级逻辑中的证明

（1）有关合取 $\wedge$ 的定律

p $\wedge$ p $\equiv$ p（同一律）

p $\wedge$ q $\equiv$ q $\wedge$ p （交换律）

p $\wedge$ (q $\wedge$ r) $\equiv$ (p $\wedge$ q) $\wedge$ r（结合律）

（2）有关析取 $\vee$ 的定律

p $\vee$ p $\equiv$ p（同一律）

p $\vee$ q $\equiv$ q $\vee$ p （交换律）

p $\vee$ (q $\vee$ r) $\equiv$ (p $\vee$ q) $\vee$ r（结合律）

p $\vee$ q $\equiv$ $\neg$ ( $\neg$ p $\wedge$ $\neg$ q)（等价律）

（3）有关蕴含 $\Rightarrow$ 的定律

p $\Rightarrow$ p $\equiv$ $\neg$ p $\vee$ q（等价律）

（4）有关否定 $\neg$ 的定律

$\neg$ $\neg$ p $\equiv$ p（双重否定定律）

$\neg$ (p $\wedge$ q) $\equiv$ $\neg$ p $\vee$ $\neg$ q（德摩根定律1）

$\neg$ (p $\vee$ q) $\equiv$ $\neg$ p $\wedge$ $\neg$ q（德摩根定律2）

$\neg$ (p $\Rightarrow$ q) $\equiv$ p $\wedge$ $\neg$ q

$\neg$ (p $\Leftrightarrow$ q) $\equiv$ ( $\neg$ p $\wedge$ q) $\vee$ (p $\wedge$ $\neg$ q)

（5）有关等价 $\Leftrightarrow$ 的定律

p $\Leftrightarrow$ q $\equiv$ (p $\Rightarrow$ q) $\wedge$ (q $\Rightarrow$ p)

p $\Leftrightarrow$ q $\equiv$ q $\Leftrightarrow$ p

（6）其他定律

p $\wedge$ (q $\vee$ r) $\equiv$ (p $\wedge$ q) $\vee$ (p $\wedge$ r)

p $\vee$ (q $\wedge$ r) $\equiv$ (p $\vee$ q) $\wedge$ (p $\vee$ r)

p $\wedge$ (p $\vee$ q) $\equiv$ p

p $\vee$ (p $\wedge$ q) $\equiv$ p

p $\Rightarrow$ (q $\Rightarrow$ r) $\equiv$ (p $\Rightarrow$ q) $\Rightarrow$ r（用不上）

p $\Leftrightarrow$ (q $\Leftrightarrow$ r) $\equiv$ (p $\Leftrightarrow$ q) $\Leftrightarrow$ r（用不上）

7.有关true和false的定律

p $\wedge$ $\neg$ p $\equiv$ false

p $\vee$ $\neg$ p $\equiv$ true

p $\wedge$ true $\equiv$ p

p $\wedge$ false $\equiv$ false

p $\vee$ true $\equiv$ true

p $\vee$ false $\equiv$ p

$\neg$ true $\equiv$ false

false $\Rightarrow$ p $\equiv$ true

4.集合论

4.1 集合表示法

（1）列举法

将集合中的元素按任意顺序一一列举出来并用花括号括住，而元素间则用逗号隔开。

例：自然数集：N == {1,2,3,4,5,......}

（2）描述法

用一集合之所有元素共有的共同性质来刻画这个集合S == {x | P(x)}

“|”前面的x代表集合A中的任意元素

“|”后面的P(x)表示x必须具有性质P

例：B == {x | x是正偶数}

4.2 空集、全集、幂集

4.3 序偶和笛卡尔积（必考）