离散数学及应用 -- 01 逻辑&证明

最新推荐文章于 2024-05-29 14:23:25 发布

--y--

最新推荐文章于 2024-05-29 14:23:25 发布

阅读量1.1k

点赞数

文章标签：学习

本文链接：https://blog.csdn.net/2201_75368933/article/details/130544463

版权

命题逻辑

命题：一个具有确切真值的陈述句，或真或假，不能既真又假

真命题：真值为T或1

假命题：真值为F或0

涉及命题的逻辑领域称为命题演算或命题逻辑

令 p、q 为命题

否定运算符：┐p “非p”

逻辑运算符（联结词）：

合取 $p \wedge q$ "p并且q"

析取 $p \vee q$ "p或q" （一般指兼或）

$p\bigoplus q$ 异或

兼或：析取式为真，两命题之一为真或者两者均为真都可以

异或：析取式为真，当p和q中恰好只有一个为真时命题为真

条件语句（蕴含）：令 p、q 为命题，条件语句 $p \rightarrow q$ 是命题“如果 $p$ , 则 $q$ "。当 $p$ 为真而 $q$ 为假时，条件语句 $p \rightarrow q$ 为假，否则为真。 $p$ 称为假设（前件、前提）， $q$ 称为结论（后件）

p→q 的表述方式
如果p,则q	如果p,q
p是q的充分条件	q的充分条件是p
q是p的必要条件	p的必要条件是q
p蕴含q	q如果p
q当p	q每当p
q除非¬p	q仅当p
q由p得出

双条件语句（双向蕴含）：令 p、q 为命题，条件语句 $p \leftrightarrow q$ 是命题“ $p$ 当且仅当 $q$ "。当 $p$ 和 $q$ 有同样的真值时，双条件语句为真，否则为假。

p↔q的表述方式
p是q的充分必要条件
如果p那么q，反之亦然
p当且仅当q

${\color{Red} p\leftrightarrow q}$ 与 ${\color{Red} ( p\rightarrow q )\wedge (q\rightarrow p)}$ 具有完全相同的真值

原命题	$p\rightarrow q$
逆命题	$q\rightarrow p$
逆否命题	┐ $q\rightarrow$ ┐ $p$
反命题	┐ $p\rightarrow$ ┐ $q$

等价：两个复合命题总是具有相同真值

一个条件语句与它的逆否命题等价

一个条件语句的逆命题与反命题等价

逻辑运算符的优先级
运算符	优先级
┐	1
$\wedge$	2
$\vee$	3
$\rightarrow$	4
$\leftrightarrow$	5

布尔变量：如果一个变量的值或为真或为假，则此变量就称为布尔变量；

用 1 代表真，用 0 代表假

位串：0位或多位的序列。位串的长度就是它所含位的数目。

eg. 01 1011 0110

11 0001 1101

按位OR $( \vee )$ 11 1011 1111

按位AND $(\wedge )$ 01 0001 0100

按位XOR $(\bigoplus )$ 10 1010 1011

命题等价式

永真式（重言式）：一个真值永远是真的复合命题 $\mathbf{{\color{Red} p\vee }}$ ┐ $\mathbf{{\color{Red} p}}$

矛盾式：一个真值永远为假的复合命题 $\mathbf{{\color{Red} p\wedge }}$ ┐ $\mathbf{{\color{Red} p}}$

可能式：既不是永真式又不是矛盾式的复合命题

逻辑等价：在所有可能的情况下都有相同真值的两个复合命题

如果 $p\leftrightarrow q$ 是永真式，则复合命题 p 和 q 称为逻辑等价，用记号 $p\equiv q$ 表示。

德摩根定律应用：一个析取式的否定是由各分命题否定的合取式组成的

一个合取式的否定是由各分命题否定的析取式组成的

如果 p 和 q 是逻辑等价的，q 和 r 是逻辑等价的，那么 p 和 r 也是逻辑等价的

命题的可满足性：如果存在一个对其变元的真值赋值使其为真，即只需要找到一个特定的使得复合命题为真的真值赋值，这样一个赋值称为这个特定的可满足性问题的一个解

命题的不可满足性：当复合命题对所有变元的真值赋值都是假的，即当且仅当它的否定对所有变元的真值赋值都是真的(当且仅当它的否定是永真式)

谓词

谓词：表明语句的主语具有的性质

一般地，涉及n个变量 $x_{1},x_{2}\, ...\, x_{n}$ 的语句可以表示成 $P(x_{1},x_{2}\, ...\, x_{n})$

形式为 $P(x_{1},x_{2}\, ...\, x_{n})$ 的语句是命题函数P在n元组 $(x_{1},x_{2}\, ...\, x_{n})$ 的值，P也称为 n 位谓词或 n 元谓词。

"x>3",分成两个部分，第一部分即变量x是语句的主语，第二部分（谓词”大于3“)表明语句的主语具有的一个性质。用P(x)表示"x大于3".

命题P(x)：命题函数P在x的值，一旦给变量x赋一个值，语句P(x)就成为命题并具有真值

谓词常用于验证计算机程序前置条件：描述合法输入的语句

后置条件：程序运行的输出应该满足的条件

量词

量化：表示在何种程度上谓词对一定范围的个体成立

谓词演算：处理谓词和量词的逻辑领域

全称量词：某一性质对于变量在某一特定域内的所有值均为真

$\forall{x}P(x)$ ： "P(x)对x在其论域的所有值为真" , "对所有x,有P(x)" , "对每个x，p(x)"

论域（全体域、域）：这一特定域

论域规定了变量x所有可能取的值，使用全称量词时必须指定论域

当论域中的所有元素可以一一列出时，全称量化 $\forall{x}P(x)$ 与合取式 $P(x_{1})\wedge P(x_{2})\wedge... \wedge P(x_{n})$ 相同。这一合取式为真当且仅当 $P(x_{1}),P(x_{2})\, ...\, P(x_{n})$ 全部为真。

存在量词：有一个个体使得某种性质成立

该命题为真当且仅当论域中至少有一个x的值使得P(x)为真

使用全称量词时必须指定论域

$\exists xP(x)$ :"论域中存在一个个体x满足P(x)" , ''有一个x满足P(x)" , "至少有一个x满足P(x)"，

"对某个x,P(x)"

当论域中的所有元素可以一一列出时，存在量化 $\exists xP(x)$ 与析取式 $P(x_{1})\vee P(x_{2})\vee ... \vee P(x_{n})$ 。这一析取式为真当且仅当 $P(x_{1}),P(x_{2}),\, ...\, ,P(x_{n})$ 中至少有一个为真。

唯一性量词 $\exists\,\mathbf{!}$ 或 $\exists _{1}$

$\exists \, !\: xP(x)$ ：存在一个唯一的x使得P(x)为真；

一般避用唯一性量词，用存在量词&全称量词&命题逻辑来表示唯一性。

约束论域的量词：限定一个量词的论域时采用简写的方式，变量必须满足的条件直接放在量词后面。 $\forall x<0\, (x^{2}>0)$ ：任意满足x<0的实数x,有 $x^{2}$ >0;与语句 $\forall x(x<0\rightarrow x^{2}>0)$ 等价。

全称量化的约束和一个条件语句的全称量化等价

$\forall x<0\, (x^{2}>0)$ 是表示 $\forall x(x<0\rightarrow x^{2}>0)$ 的另一种方式

存在量化的约束和一个合取式的存在量化等价

$\exists z>0(z^{2}=2)$ 是表示 $\exists z(z>0\wedge z^{2}=2)$ 的另一种方式

量词 ${\color{Red} \forall }$ 和 ${\color{Red} \exists }$ 比命题演算中的所有逻辑运算符都具有更高的优先级。

一个变量是约束的：当量词作用于x。

一个变量是自由的：没有被量词约束或设置为等于某一特定值；或者说变量在公式中所有限定该变量的量词的作用域之外。

这个量词的作用域：逻辑表达式中一个量词作用到的部分。

命题函数中的所有变量出现必须是约束的或者被设置为等于某个特定值的，才能把它转变为一个命题。

$\exists x(x+y=1)$ ：变量x受到存在量词 $\exists x$ 约束，但是变量y是自由的。

$\exists x(P(x)\wedge Q(x))\vee \forall xR(x)$ ：所有变量都是受约束的。第一个量词 $\exists x$ 的作用域是表达式 $P(x)\wedge Q(x)$ ；第二个量词 $\forall x$ 的作用域是表达式 $R(x)$ . 两个量词的作用域不重叠，就可以用同一个字母表示受不同量词约束的变量。 $\exists x(P(x)\wedge Q(x))\vee \forall yR(y)$

量词的逻辑等价式

涉及谓词和量词的语句是逻辑等价的当且仅当无论用什么谓词代入这些语句，也无论为这些命题函数里的变量指定什么论域，它们都有相同的真值。 $S\equiv T$ .

全称量词对于一个合取式是可分配的： $\forall x(P(x)\wedge Q(x))\equiv \forall xP(x)\wedge \forall xQ(x)$

存在量词对于一个析取式是可分配的： $\exists x(P(x)\vee Q(x))\equiv \exists xP(x)\vee \exists xQ(x)$

量化表达式的否定 ┐ $\forall xP(x)\equiv \exists x$ ┐ $P(x)$

┐ ${\color{DarkBlue} \forall xP(x)}$ 与 ┐ ${\color{DarkBlue} (P(x_{1})\wedge P(x_{2})\wedge ...\wedge P(x_{n}))}$ 相同

何时为真：对每个x，P(x)为假

何时为假：有x，使P(x)为真

┐ $\exists xQ(x)\equiv \forall x$ ┐ $Q(x)$

┐ ${\color{DarkBlue} \exists xP(x)}$ 与 ┐ ${\color{DarkBlue} (P(x_{1})\vee P(x_{2})\vee ...\vee P(x_{n}))}$ 相同

何时为真：有x使P(x)为假

何时为假：对每个x,P(x)为真

嵌套量词

嵌套量词：即一个量词出现在另一个量词的作用域内

将量化当作循环：处理多个变量的量化式时，借助嵌套循环来思考

$\forall x\forall yP(x,y)$	先对x的所有值做循环，而对x的每个值再对y的所有值做循环
$\forall x\exists yP(x,y)$	对x的每个值循环，对y的值循环直到找到一个y使P(x,y)为真
$\exists x\forall yP(x,y)$	对x的值循环直到找到某个x，就这个x对y的所有值循环时P(x,y)总是为真
$\exists x\exists yP(x,y)$	对x的值进行循环，循环时对x的每个值都对y的值循环，直到找到一个xy对P(x,y)成立

量词顺序

在没有其他量词的语句中，在不改变量化式意义的前提下嵌套全称量词的顺序可以改变

$\exists z\forall x\forall yQ(x,y,z)$ ''存在一个实数z使得对所有实数x和所有实数y，x+y=z''

嵌套量词的否定

嵌套量词的否定通过连续地应用单个量词语句的否定规则来得到

$\forall$ & $\exists$ 交换了， $\vee$ & $\wedge$ 交换了，否定放条件里面去

eg.¬ $\forall x\exists y(xy=1)$ 可以表达为 $\exists x\forall y(xy\neq 1)$

--y--

关注

0
点赞
踩
2

收藏

觉得还不错? 一键收藏
0
评论
离散数学及应用 -- 01 逻辑&证明

命题的可满足性：如果存在一个对其变元的真值赋值使其为真，即只需要找到一个特定的使得复合命题为真的真值赋值，这样一个赋值称为这个特定的可满足性问题的一个解。命题的不可满足性：当复合命题对所有变元的真值赋值都是假的，即当且仅当它的否定对所有变元的真值赋值都是真的(当且仅当它的否定是永真式):"论域中存在一个个体x满足P(x)" , ''有一个x满足P(x)" , "至少有一个x满足P(x)"，： "P(x)对x在其论域的所有值为真" , "对所有x,有P(x)" , "对每个x，p(x)"
复制链接

扫一扫