【离散数学】第一章命题逻辑的基本概念

最新推荐文章于 2023-06-20 11:07:38 发布

和BUG做朋友的ZORO

最新推荐文章于 2023-06-20 11:07:38 发布

阅读量1.9k

点赞数 1

本文链接：https://blog.csdn.net/qq_45914759/article/details/115691674

版权

第一章命题逻辑的基本概念

命题：非正即假的陈述句

真值：命题陈述句的所表达的判断结果，有两个值（真或假）

简单命题（原子命题）：不能被分解成更简单的命题

复合命题：由简单命题通过联结词联结而成的命题

判断句子是否为命题：

2050年元旦是晴天。(√)是否为晴天是客观存在的，是唯一的
我正在说假话。(×)悖论不是命题

命题的符号化：使用小写英文字母表示命题，用1或0表示真假。

2或4是素数。其符号化为：
p：2是素数；q：4是素数

关于合取式的特殊情况
张三与李四都是三好学生。其符号化为：
p：张三是好学生；q：李四是好学生
张三和李四是同学。其符号化为：
p：张三和李四是同学

设a,b为两个命题，复合命题"如果a,则b"称为a与b的蕴涵式，记作a->b，并称a是蕴涵式的前件，b是蕴涵式的后件。->称作蕴涵式联结词。当且仅当a为真，q为假时，a->b为假。

在自然语言中，如果a，则b，中的前件和后件往往具有某种内在联系，而数理逻辑是研究抽象的推理，前件和后件可以没有任何内在联系

联结词的优先顺序：
（），¬，∧，∨，->，<->；对于同一优先级，从左到右顺序进行。

命题常项（命题常元）：简单命题是命题逻辑中最基本的研究单元，其真值是确定的
命题变项（命题变元）：其真值是1或0；命题变项不是命题
合式公式：将命题变项用联结词和圆括号按照一定的逻辑关系联结起来的符号串。

单个命题变项是合式公式，并称为原子命题公式
合式公式也称命题公式，命题形式，简称为公式
合式公式A中的一部分B也是合式公式，则称B为A的子公式

元语言符号：用来表示任意的合式公式A，B
对象语言符号：用来表示具体的公式，如p,p->q,p∧q等

公式层次的定义：公式A为单个的命题变项，则称A为0层公式。

设p1,p2,p3…是出现在公式A中的全部命题变项，给p1,p2,p3…各指定一个真值，称为对A的赋值或解释。若这组值使A为1，则称这组值为A的成真赋值，反之。

构造真值表的具体步骤：

公式相等的判定：两个公式A与B的真值表对所有赋值最后一列都相等，那么两者就相等

重言式（永真式）：公式在它的所有赋值下均为真值
矛盾式（永假式）：公式在它的所有赋值下均为假值
可满足式：公式不是矛盾式

公式A，B中共同含有命题变项p1,p2,p3…pn，而A或B不全含这些命题变项，例如：A中不含有pi,pi+1…，（i>=2），称这些命题变项为A的哑元。A的真值与哑元无关，但讨论二者相等时，需要将A和B都看成p1,p2,p…pn的命题公式。

关注