命题逻辑基本概念

例：人不犯我，我不犯人；人若犯我，我必犯人。 解：令 P：人犯我。 Q：我犯人。 该命题符号化为： (PQ)∧(PQ) 或： PQ
2.1.2 命题公式及分类
本节主要讨论：
命题公式的定义 命题公式的层次 命题公式的真值表 命题公式的分类
一、命题公式的概念
命题常项：简单命题。 命题变项：真值可以变化的陈述句。
p∧q 的逻辑关系是 p与q同时为真
p∧q真值表如图所示：
P
Q
P∧ Q
0
0
0
0
1
0
1
0
0
1
1
1
(2) 合取联结词“∧” －－且
例如，p: 李军聪明 q: 李军用功 则命题 “李军既聪明又用功” 可描述为： p∧q
以下自然语言中的联结词等都可以抽象为“∧” 。 “并且”、“既…又…”、 “与”、“和”、“以及”、
一、命题公式的概念
例: (1) A = p ∨q，
则 A是2层公式。
(2) A = p ∧ q ∧ r ， 则 A是2层公式。
(3) A =(p ∧q) (r ∨s)， 则A为4层公式。
二、公式的赋值或解释
定义2.8 (P.44) －－公式的赋值或解释
设A 为含有命题变项 p1, p2,…, pn的命题公式, 给 p1, p2, …, pn 一组确定的真值, 称作对公式 A
举例：
令：p：天气好。
q：我去公园。
如果天气好，我就去公园。符号化为：pq
只要天气好，我就去公园。
pq
仅当天气好，我才去公园。
qp
只有天气好，我才去公园。
qp
我去公园玩，除非天气好。
qp
例2.5 将下列命题符号化，并求其真值。

逻辑学中命题的含义命题是逻辑学中的基本构建块之一,用于表示一个陈述的真实性或非真实性。

在逻辑学中,命题通常由一个陈述和一个谓词组成,其中谓词表示命题的真实性或非真实性。

一个命题的含义取决于它所使用的语言和谓词。

在自然语言中,命题的含义通常通过使用符号来表示,例如“P”、“NP”、“否P”等。

在逻辑学中,命题通常使用符号来表示,例如“P”、“Not-P”、“P”等。

下面是一个示例,说明如何使用命题来表示一个陈述:假设我们有一个自然语言句子“小明喜欢跑步”,我们可以使用命题“小明喜欢跑步”来表示它的真实性或非真实性。

首先,我们需要选择一个谓词来表示“小明喜欢跑步”的真实性或非真实性。

在这个例子中,谓词是“喜欢”。

然后,我们需要选择一个符号来表示命题的真实性或非真实性。

在这个例子中,我们使用“True”或“False”来表示命题的真实性。

最后,我们将谓词和符号组合在一起,以表示“小明喜欢跑步”的真实性或非真实性。

例如,我们可以使用符号“P”来表示命题“小明喜欢跑步”的非真实性,即“小明不喜欢跑步”。

这样,我们就能够表示“小明喜欢跑步”的命题的含义。

除了使用自然语言外,命题还可以使用符号来表示。

在符号逻辑中,命题通常使用符号来表示,例如“P”、“NP”、“否P”等。

符号逻辑与自然语言逻辑不同,因为它不使用自然语言的语法和语义。

下面是一个示例,说明如何使用符号来表示命题:假设我们有一个自然语言句子“小明喜欢跑步”,我们可以使用符号“P”来表示命题“小明喜欢跑步”的真实性,即“P”。

然后,我们可以使用符号“”来表示命题“小明喜欢跑步”的非真实性,即“P”。

这样,我们就能够表示“小明喜欢跑步”的命题的含义。

总之,命题是逻辑学中的基本构建块之一,用于表示一个陈述的真实性或非真实性。

在逻辑学中,命题通常使用符号来表示,以便更清晰地表达其含义。

析取
符号
读作“析取”
定义2.3：设p，q为两命题，复合命题“p或q” 称为p与q的析取式，
记作p Ú q ，符号 称为析取联结词。并规定p q为假当且仅当p与q
同时为假。
真值表：
PQ 00
P Q
0
例子 小李是学数学或者计算
01
1
10
1
11
1
机科学pq p：小李是学数学 q：小李是学计算机 科学
2.1.1 命题与联结词
例3：判断下列命题是否为复合命题
（1）5能被2整除。
原子命题
（2）2是素数当且仅当三角形有三条边。 复合命题
（3）4是2的倍数或是3的倍数。
复合命题
（4）李明与王华是同学。
原子命题
（5）蓝色和黄色可以调配成绿色。
原子命题
（6）3不是偶数。
复合命题
（7）林芳学过英语或日语。
复合命题
合取
例：将下列命题符号化。
（1）吴颖既用功又聪明。
p q
（2）吴颖不仅用功而且聪明。
p q
（3）吴颖虽然聪明，但不用功。
p q
（4）张辉与王丽都是三好学生。
r s
（5）张辉与王丽是同学。
t
p:吴颖用功。
q:吴颖聪明。
r:张辉是三好学生。
s:王丽是三好学生。
t:张辉与王丽是同学。
注意：若“和”、“与”连接的是主语成分，则该陈述句为简单命题。
FT
T
F
F
补充：翻译语句
因为语言（包括一切人类语言）常有二义性，把 句子译成逻辑表达式可以消除歧义
把语言翻译成由命题变量和逻辑联接词组成的表 达式

定义2.4 设p，q为两个 命题“如果p，则q” 称作p与q的蕴涵式， 记作 pq，并称p是 蕴涵式的前件，q为蕴 涵式的后件，称蕴 涵联接词.其真值表为 ： p q pq 0 0 1 0 1 1 1 0 0 1 1 1
pq也可表示为： （1）只要p，就q； （2）因为p，所以q （3）p仅当q； （4）只有q，才p； （5）除非q，才平； （6）除q，否则非p； （7）假如没有q，就没有p.
离散数学
主讲教师：易静
1
2.1 命题逻辑基本概念
关键知识点： • 命题与真值 •联结词(¬ , , , , , ) •命题公式(重言式,矛盾式,可满足式) •重要等值式 •重要推理规则 •个体,个体域与谓词 •全称量词与存在量词
2
命题与真值
命题:所表达的判断是真（正确）或假（错误）但不能可 真可假的陈述句。通常用p,q,r等表示（即命题符号化） 命题的真值:作为命题所表达的判断只有两个结果：正确 和错误，此结果称为命题的真值。 命题是正确的，称此命题的真值为真；命题是错误 的，称此命题的真值为假。 在数理逻辑中，命题的真值的真和假，有时分别用 1和0来表达，也有时分别用T(True)和F(False)来表 达。本书用1和0来表达。（即真值的符号化） 真命题:真值为真的命题 假命题:真值为假的命题 例如, p:2+2=4, q:3是偶数 它们都是命题, p是真命题, q是假命题.


定义2.2 设p，q为二 命题，复合命题“p并 且q”（或“p与q”） 称为p与q的合取式， 记作pq，称作合取 联接词. 其真值表为：
p 0 0 1 1 q 0 1 0 1 pq 0 0 0 1
也可表示联接词： “既......,又.......”， “不但......而 且......”, “虽然......但 是.......”, “一面......一 面.......”等