命题、联结词、命题公式与真值表
命题公式及其真值表
第二节 命题公式及其真值表在上节中，用,,p q r L 表示确定的简单命题。
简单命题又称为命题常项或命题常元。
命题常项有确定的真值。
在数理逻辑中，不仅要研究具体的逻辑关系，还要研究抽象的逻辑关系，因而不仅要有命题常项，还要有命题变项。
称真值可以变化的简单陈述句为命题变项或命题变元，仍然用,,p q r L 表示命题的变项。
命题常项、命题变项及联结词可按下述定义合式的公式。
定义2.1 （1）单个的命题变项（或常项）是合式公式；（2）若A 是合式公式，则（¬A ）也是合式公式；（3）若A ，B 是合式公式，则（A ∧B ），（A ∨B ），（A →B ），（A ↔B ）也是合式公式；（4）有限次地应用（1）～（3）形成的符号串都是合式公式。
这样定义的合式公式也称为命题公式，简称公式。
单独使用（¬A ），（A ∧B ），（A ∨B ），（A →B ），（A ↔B ）时，外层括号可以省去，即可写成¬A ，A ∧B ，A ∨B ，A →B ，A ↔B 。
在定义 2.1.中出现的A ，B L 是用来表示任意的合式公式的。
在以下的论述中出现的A ，B ，C 等也同样是用来表示任意公式的。
定义2.2 设1p ，2p L ，n p 是出现在公式A 中的全部的命题变项，给1p ，2p L ，np 各指定一个真值，称为A 的一个赋值或解释。
若指定的一组真值使A 的真值为1，则称这组真值为A 的成真赋值（或成真解释）。
若指定的一组真值使A 的真值为0，则称这组真值为A 的成假赋值（或成假解释）。
本书中对含n 个命题变项的公式的赋值形式做如下规定：（1）设A 中含的命题变项为1p ，2p L ，n p ，赋值12n a a a L （i a 为0或1）是指11p a =，22p a =，L ，n n p a =。
（2）若出现在A 中的命题变项为p ，q ，r ，L ，赋值12n a a a L 是指1p a =，2q a =，L ，即按字典顺序赋值。
命题、联结词、命题公式与真值表
1、一些基本概念 逻辑、命题、真值
2、联结词 3、命题公式 4、真值表
问题？
一、命题的定义
命题P——不关心其具体涵义，只关心其值的 真值
命题变元——定义域：真、假 命题常元——T和F 命题公式（也称命题，合式公式）——含命题变元
的断言，由以下规则生成： （1）单个原子公式是命题。 （2）若A、B是命题公式，┐A、A∧B、A∨B、
pq
qp (qp) q (qp) qp
00
1
0
1
01
0
0
1
10
1
0
1
11
Hale Waihona Puke 111回顾一下：五个联结词真值表
否定
等价（双条件）
合取
析取
蕴涵（条件）
几个相关概念
1、合式公式的层次：
0层
1层
2层
3层
pq
qp (qp) q (qp) qp
00
1
0
1
01
0
0
1
10
1
0
1
11
1
1
1
几个相关概念
A（BC） （D E）
1 01
10
p
2、什么情况下，下面论述为真：
q
说小王不会唱歌或小李不会跳舞是正确的，而
说如果小王会唱歌，小李会跳舞是不正确的。
（p q） （pq）
综合问题1
Key:
A→B、AB也是命题公式。 （3） 有限步应用条款（1）（2）生成的公式。
例：下列符号串都是命题公式
下列符号串是否为命题公式？
命题、联结词、命题公式与真值表
命题逻辑-PPT
q→r
∴p→r
二难推理CD
(p→q) ∧(r→s) p∨r
破坏式二难推理DD
(p→q) ∧(r→s) q∨ s
∴ q∨s
∴ p∨ r
• 例1 如果商品短缺日益严重,那么物价会上涨。如 果存在生产过剩,那么物价不会上涨。如果存在通 货膨胀威胁,那么财政控制将继续。如果政府改组, 那么财政控制将取消。或者存在生产过剩,或者政 府改组。因此,商品短缺不会日益严重,或者不再存 在通货膨胀威胁。
• 第2类符号就是逻辑常元,她们有确定得逻辑 解释因而能够表达某种确定得真假联系。
• 第3类符号则就是为避免歧义以构造合式命 题公式所需要得辅助符号。
• 形成规则
• 1、所有命题变元就是命题公式;
• 2、如果就是命题公式,那么就是命题 公式
• 3、如果、就是命题公式,那么 (),(∧)、(Φ∨Ψ)和(ΦΨ)也就是命 题公式;
• 例2、判定命题公式“(p∧q) →r”与“p∨(q →r)”就是否逻辑等值。
2、1命题公式之间得逻辑等值
• 如果两个公式就是等值得,那么以这两个公 式为子公式构造一个等值式:
• (﹁p∨ ﹁ q )(﹁ (p∧q))。 • 这个等值式就是恒真得,由此可推知,一个等
值式就是重言式,那么她得两个子公式逻辑 等值。
• ① 恒真式。不论其中得变元取什么样得值,函项 式得值恒为真。
• ② 恒假式。无论其中得变元取什么样得值,函项 式得值恒为假。
• ③ 协调式。既不就是恒真式也不就是恒假式函 项式。显然,协调式在其变元得某些取值组合下为 真,在另一些取值组合下又为假得。因此。协调式 得真假由变元得真假决定。
第二节命题公式之间得逻辑等值 关系
• 例1 如果商品短缺日益严重,那么物价会上涨。如 果存在生产过剩,那么物价不会上涨。如果存在通 货膨胀威胁,那么财政控制将继续。如果政府改组, 那么财政控制将取消。或者存在生产过剩,或者政 府改组。因此,商品短缺不会日益严重,或者不再存 在通货膨胀威胁。
命题公式真值表
说明:
(1)命题变元是没有真假值的,只有当命题变元用 确定的命题代入时,才得到一个命题,命题的真值 依赖于代换变元的那些命题的真值;
1-3 命题公式与翻译
(2) 不是所有由命题变元 ,常元 ,联结词和括号组成的字符串 都能成为命题公式.例如, P , P (Q ) 等不是命题公式.
定义 1-3.1 命题演算的合式公式,规定为: (1)单个命题变元本身是一个合式公式; (2)如果 A 是合式公式,那么 A 是合式公式; (3)如果 A 和 B 是合式公式,那么
1-3 命题公式与翻译
2、命题的翻译
练习 将下列命题符号化: (1)她既聪明又用功. (2)他虽聪明但不用功. (3)虽然这次语文考试的题目很难,但是王丽还是取得了好成绩. (4)张三或李四都可以做这件事. (5)一公安人员审查一起案件,事实如下,请将案件事实符 号化: 张三或李四盗窃了机房的一台电脑,若是张三所为,则作案 时间不能发生在午夜前;若李四的证词正确,则午夜时机房 的灯未灭; 若李四证词不正确,则作案时间发在午夜前; 午夜时机房的灯全灭了.
分配律
P (Q R) ( P Q) ( P R)
吸收律
P ( P Q) P , P ( P Q) P
1-4 真值表与等价公式
4.基本等价公式
德·摩根律 同一律 零律 否定律 (互补律) 条件式转化律 双条件转化律
( P Q) P Q , ( P Q) P Q
1-3 命题公式与翻译
1、命题公式(合式公式)
定义 1 由命题变元、常元、联结词、括号以规定的格式联结 起来的字符串称为命题公式,也称合式公式.命题公式中的命 题变元称为命题公式的分量.
例如,若 P 和 Q 是命题变元, 则下面式子均是命题公式
2 离散数学-命题公式,真值表
2 命题公式,真值表(1) 数理逻辑是通过引入表意符号研究人类思维中的推理过程及推理正确与否的数学分支.数学------⎧⎨⎩符号运算推理---思维过程:前提结论命题逻辑---研究由命题为基本单位构成的前提和结论之间的可推导关系.(逻辑演算) 即将推理(不涉及内函)形式化.例1 (a) 4是偶数.张林学习优秀.太阳系以外的星球上有生物.(b) 这朵花真美丽!现在开会吗?(c) 3 5.x +>我正在说慌.特征分析(a) 陈述句,非真即假.(b) 感叹句,疑问句.(c) 悖论.定义1 能辩真假的陈述句,称为命题,用,,,P Q Z 表示.其判断结果称为命题的真值.成真的命题称为真命题,其真值为真,记为,T 或为1.成假的命题称假命题,其真值为假,记为,F 或为0.例2 (1) 2008年奥运会在北京举行.(2) 22 5.⨯=(3) 计算机程序的发明者是诗人拜伦.用符号表是上述命题,并求真值.解 (1) :P 2008年奥运会在北京举行. .T(2) :Q 22 5.⨯= .F(3) :R 计算机程序的发明者是诗人拜伦. .F(2) 3, 35,+ 3(41).+- 例3 (1) 今天没有数学考试.(2) 下午,我写信或做练习.(3) 王芳不但用功,而且成绩优秀.(4) 如果太阳从西边出来了,那么地球停止转动.(5) 2是素数,当且仅当三角形有三条边.特征分析(a)存在自然语言中的虚词.(b)语句可以分解,细化.定义2 称下列符号为逻辑联结词否定 ⌝ 非 P ⌝析取 ∨ 或者 P Q ∨合取 ∧ 且 P Q ∧蕴涵 → 若----,则----- P Q →等价 ↔ 当且仅当 P Q ↔逻辑联结词真值的规定例4 将下列命题符号化.(1) 小李聪明,但不用功. ()P Q ∧⌝(2) 单位派小王或小苏出差. P Q ∨(3) 如果椅子是紫色的,且是园的,那么地是平的. ()P Q R ∧→ (4) n 是偶数当且仅当它能被2整除. P Q ↔注 1 逻辑联结词:运算符.顺序 ,,,,.⌝∧∨→↔2 自然语言中 虽然---,但是----; 不但---,而且----; ∧只有----,才----; 除非----,才-----; →3 ∨ 可兼或(相容) ∨ 不可兼或(排斥)小王是山东人或是河北人. ()()P Q P Q P Q ∨⇔∧⌝∨⌝∧4 ,P Q -----------------------简单命题()P Q R ∨→-----------复合命题(由简单命题及逻辑联结词按一定规则组成)5 复合命题的真值由简单命题和逻辑联结词真值规定共同确定.“若雪是黑的,那么太阳从西边出来了.”P :雪是黑的. :Q 太阳从西边出来了.P Q → 真值 为 T6 蕴含联结词的真值规定解释“若天下雨,那么我带伞.”何时自食其言.前件:P 天下雨.后件:Q 我带伞.则有命题 P Q → 仅当天下雨,我没有带伞时才自其言，即当前件为T ，后件为F 时，命题才为F .对应的真值情况如下:(3) 3,;43;ππ-221, 5.;23;24|x y x x y x y ==++-定义3 真值确定的命题,称为命题常元1,0,否则为命题变元,记号仍用,.P Q命题公式是由按下列规则生成的符号串(1)命题常元是命题公式(2)命题变元是命题公式(3)若,P Q 是命题公式,则,,,,P P Q P Q P Q P Q ⌝∨∧→↔也是命题公式.(4)有限次运用(1),(2),(3)得到的字符串也是命题公式.注 1 递归定义.():,,,().P Q R P P P Q P Q R ⌝→∧⌝⌝→⌝→∧2 ,(()Q P Q ∧∨不是命题公式.(4) 定义4 命题公式中,命题变元的一组确定的真值,称为该公式的一个真值指派.真值指派的全体构成的表,称为该公式的真值表.注 命题公式12(,,,)n A P P P 一共有2n 个真值指派.例5 求命题公式()Q P Q P ∧→→的真值表.解(5) 22sin cos 1,arcsin 2,30.x x x x +=≥+>例6 讨论下列命题公式的真值情况.(),P P Q ⌝→→ (),P Q P ∧∧⌝ ().P P Q ∨⌝→ 解定义5 命题公式12(,,,)n A P P P 在2n 个真值指派下其值⎧⎪⎨⎪⎩永真永假至少有一个真 称A 为重言式矛盾式可满足式(1) 数理逻辑、命题逻辑研究的内容。
第一章命题与命题公式
第一章命题与命题公式第01讲命题与命题联结词(一)1.1命题与命题联结词选择题考点1.1.1命题与命题的表示推理：由一个或几个已知的前提，推导出一个未知结论的思维过程。
真值：表达这些前提的陈述句是否成立的一个属性。
＞＞当陈述句成立时，其真值为真，表示为T(TrUe)。
例：地球是行星。
＞＞当陈述句不成立时，其真值为假，表示为F(Fa1Se)。
例：2是无理数。
命题：具有唯一真值的陈述句称作命作，也称为语句。
*疑问句、句叹句、祈使句等都不能构成命题。
≥＞真值为真的命题一真血题»真值为假的命题一假命题例：判断下列句子中哪些构成命题。
①8不是素数；√②雪是黑的；√③到2049年世界人口将超过90亿；√④喜马拉雅山好高啊！X⑤x+1=2°X总结:.判断命题的两个条件»语句本身是个陈述句；＞＞它有唯一的真值。
命题的表示＞＞命题可用大小写英文字母或字母加数字的形式来表示。
例：P或p；P1或Ch»命题为真时，其真值用T或“1”表示。
＞＞命题为假时，其真值用“F”或“0”表示。
例：P：所有的素数都是奇数。
真值为FQ：6是一个合数。
真值为T【单选题】下列句子不是命题的是()。
A.中华人民共和国的首都是北京B.张三是学生C.雪是黑色的D.太好了「正确答案」D「答案解析」D选项不是陈述句，故不是命题。
参见教材PI8。
1.1.2复合命题与联结词原子命题/简单命题：不能再分解的命的。
例：张三是学生。
8不是素数。
复合命题：由原子命题通过联结词联结而成的命题。
例：如果今年有假期，我将去欧洲旅游。
尽管我在减肥，但是我还是想吃饭。
【单选题】下列语句是原子命题的为（）。
A.x÷y>xyB.请给我来点掌声吧C.小明既爱唱歌又爱跳舞D.火星上有生物『正确答案』D『答案解析J A、B选项不符合命题要求；C选项为复合命题，故选D。
参见教材P19。
数理逻辑中常用的联结词1.否定设P为命题,P的否定是一个复合命题，记作注。
逻辑联结词和四种命题公式
逻辑联结词和四种命题1、逻辑联结词（1）命题：一般地，我们把用语言、符号、式子表达的，可以判断真假的语句叫做命题其中判断为真的语句叫真命题，判断为假的语句叫假命题（2）逻辑联结词：“或”、“且”、“非”这些词叫做逻辑联结词或：两个简单命题至少一个成立且：两个简单命题都成立非：对一个命题的否定（3）简单命题与复合命题：不含逻辑联结词的命题叫简单命题；由简单命题和逻辑联结词构成的命题叫复合命题（4）表达形式用小写的拉丁字母p、 q 、 r 、 s……来表示简单命题复合命题有三类：① p或q ② p且q ③非p(5)真值表：表示命题真假的表叫真值表①非p② p且q③p或q2、四种命题（1）一般地，用p和q分别表示原命题的条件和结论，用┐p和┐q分别表示p和q的否定，于是四种命题的形式就是：原命题：若p则 q（p q）；逆命题：若q则 p（q p）；否命题：若┐p则┐q（┐p┐q）；逆否命题：若┐q则┐p（┐q ┐p）（2）四种命题的关系原命题逆命题否命题逆否命题（3）一个命题的真假与其他三个命题的真假有如下四种关系①原命题为真，它的逆命题不一定为真②原命题为真，它的否命题不一定为真③原命题为真，它的逆否命题一定为真④逆命题为真，否命题一定为真3、反证法证明命题的一般步骤（1）否定结论（2）从假设出发，经过推理论证得出矛盾（3）断定假设错误，肯定结论成立反证法属于间接证法，当证明一个结论成立，已知条件较少，或结论的情况较多，或结论是以否定形式出现，如某些结论中含有“至多”、“至少”、“唯一”、“不可能”、“不都”等指示性词语时往往考虑采用反证法证明结论成立。
第1章 命题逻辑(二)
p，q的极小项为：p∧q，p∧¬ q，¬ p∧q，p∧¬ q
两个命题变元的极小项共4(=22)个, 三个命题变元的极小项 共8(=23)个, …。一般地说，n个命题变元共有2n个极小项。
1.5.2 主析取范式
极小项有下列的性质： ⑴每个极小项只有一个成真赋值，且各极小项的成真赋值 互不相同。极小项和它的成真赋值构成了一一对应的关系。
1.5.2 主析取范式
真值表法：即用真值表求主析取范式。 用真值表求主析取范式的步骤如下： ① 构造命题公式的真值表。
② 找出公式的成真赋值对应的极小项。
③ 这些极小项的析取就是此公式的主析取范式。
1.5.2 主析取范式
【例1.24】用真值表法，求(p→q)→r的主析取范式。 解：表1.15是(p→q)→r的真值表 p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 表1.15 p→q 1 1 1 1 0 0 1 1 (p→q)→r 0 1 0 1 1 1 0 1
1.5.2 主析取范式
矛盾式无成真赋值，因而主析取范式不含任何极小项， 将矛盾式的主析取范式记为0。 重言式无成假赋值，因而主析取范式含2n (n为公式中命题
变元的个数)个极小项。
可满足式，它的主析取范式中极小项的个数一定小于等于 2n。
1.5.3主合取范式
定义1.5.7 在基本和中，每个变元及其否定不同时存在， 但两者之一必须出现且仅出现一次，这样的基本和叫作布 尔析取，也叫大项或极大项。 两个变元p，q构成的极大项为： p∨q，p∨¬q，¬p∨q，¬p∨¬q 三个命题变元p，q，r构成的极大项为： p∨q∨r， p∨q∨¬r， p∨¬q∨r， p∨¬q∨¬r， ¬p∨q∨r，¬p∨q∨¬r，¬p∨¬q∨r，¬p∨¬q∨¬r 两个命题变元的极大项共4(=22)个, 三个命题变元的极大 项共8(=23)个, …。一般地说，n个变元共有2n个极大项。
联考逻辑知识点汇总
联考逻辑知识点汇总一、命题逻辑命题逻辑是逻辑学中的一个分支，主要研究命题之间的逻辑关系。
在联考中，命题逻辑是一个重要的知识点。
1.命题和逻辑联结词命题是陈述句，可以判断为真或假。
逻辑联结词包括合取、析取、蕴含和否定。
合取用符号“∧”表示，表示两个命题都为真时整个命题为真；析取用符号“∨”表示，表示两个命题中至少有一个为真时整个命题为真；蕴含用符号“→”表示，表示如果前提为真，则结论也为真；否定用符号“¬”表示，表示命题的反命题。
2.命题公式和真值表命题公式由命题和逻辑联结词组成，可以通过真值表来验证其真假。
真值表是一种列出所有可能情况的表格，每一行都对应一种情况，列出命题公式在每种情况下的真假情况。
3.推理规则推理规则是判断一个命题是否能由另一些命题推导出来的规则。
常见的推理规则包括假言推理、析取三段论、消解法等。
通过掌握这些推理规则，我们可以更好地进行逻辑思考和推理。
二、谬误与修辞学在逻辑学中，谬误是指推理过程中的错误或无效的推理。
修辞学则是研究语言的有效传达和说服力的学科。
在联考中，我们需要了解常见的谬误类型和修辞学的相关知识。
1.谬误类型常见的谬误类型包括偷换概念、以讹传讹、诉诸权威、诉诸感情等。
偷换概念是指将一个概念替换为与之相关但不同的概念进行论证；以讹传讹是指将一个错误的信息传播开来；诉诸权威是指通过引用权威的观点来证明自己的观点等。
了解这些谬误类型可以帮助我们识别和避免在逻辑推理中犯错。
2.修辞学的相关知识修辞学涉及到语言运用的各种技巧和手法，可以增强语言的表达力和说服力。
比如使用比喻、排比、夸张等修辞手法可以使语言更加生动有力。
了解修辞学的相关知识可以帮助我们更好地理解和解读各种文本，提高我们的语言表达能力。
三、关系推理关系推理是指通过观察事物之间的关系来进行推理的过程。
在联考中，关系推理是一个重要的能力要求。
1.具体关系推理具体关系推理是指在具体的场景中通过观察事物之间的关系来进行推理。
逻辑知识点总结框图
逻辑知识点总结框图
逻辑是研究正确推理和论证的学科。
在逻辑学中，我们研究的是如何正确地使用语言和思维，以便得出合理的结论。
逻辑知识点包括命题逻辑、谬误、演绎推理、归纳推理、逻辑推理等内容。
1. 命题逻辑
命题逻辑是逻辑学中的一个重要分支，它研究的是命题之间的逻辑关系。
命题是陈述句，可以是真或假。
命题逻辑包括命题的联结词、真值表、蕴涵与等值式、命题公式的真值、永真式与重言式等内容。
2. 谬误
谬误是指在推理过程中出现的逻辑错误。
谬误分为形式谬误和内容谬误。
形式谬误是指推理过程中的逻辑结构错误，而内容谬误则是指论证中的错误事实或对事实的错误解释。
常见的谬误包括偷换概念、非因果关系、诉诸情感等。
3. 演绎推理
演绎推理是指从一般到特殊的推理过程。
它是一种逻辑推理的形式，通过已知的前提推出一个新的结论。
演绎推理分为三种形式：假言演绎、析取演绎和假言析取演绎。
4. 归纳推理
归纳推理是指从特殊到一般的推理过程。
它是一种逻辑推理的形式，通过观察到的个别案例，推断出一般规律或结论。
归纳推理分为一般化和统计归纳两种形式。
5. 逻辑推理
逻辑推理是通过逻辑规则和推理规则得出结论的过程。
逻辑推理包括推理规则、命题逻辑的规则和量词逻辑的规则等内容。
以上这些知识点构成了逻辑学的基础知识，逻辑学是一门重要的学科，它不仅在数学和哲学中有重要的应用，也在日常生活中有着广泛的影响。
掌握逻辑知识，可以帮助我们正确思考和论证，提高我们的思维能力和分析能力，对于提高我们的学术能力和解决实际问题都有着重要的作用。
离散数学复习资料
离散数学复习资料第1章命题逻辑本章重点：命题与联结词，公式与解释，真值表，公式的类型及判定, (主)析取(合取)范式，命题逻辑的推理理论.一、重点内容1. 命题命题表述为具有确定真假意义的陈述句。
命题必须具备二个条件：其一，语句是陈述句；其二，语句有唯一确定的真假意义.2. 六个联结词及真值表h“”否定联结词，P是命题，P是P的否命题，是由联结词和命题P组成的复合命题.P取真值1，P取真值0，P取真值0，P取真值1. 它是一元联结词.h “”合取联结词，P Q是命题P，Q的合取式，是“”和P，Q组成的复合命题. “”在语句中相当于“不但…而且…”，“既…又…”. P Q取值1，当且仅当P，Q均取1；P Q取值为0，只有P，Q之一取0.h “”析取联结词，“”不可兼析取(异或)联结词， P Q是命题P，Q的析取式，是“”和P，Q组成的复合命题. P Q是联结词“”和P，Q组成的复合命题. 联结词“”或“”在一个语句中都表示“或”的含义，前者表示相容或，后者表示排斥或不相容的或. 即“P Q”“(P Q)(P Q)”. P Q取值1，只要P，Q之一取值1，P Q取值0，只有P，Q都取值0.h “”蕴含联结词， P Q是“”和P，Q组成的复合命题，只有P取值为1，Q取值为0时，P Q取值为0；其余各种情况，均有P Q的真值为1，亦即10的真值为0，01，11，00的真值均为1. 在语句中，“如果P则Q”或“只有Q，才P，”表示为“P Q”.h “” 等价联结词，P Q是P，Q的等价式，是“”和P，Q组成的复合命题. “”在语句中相当于“…当且仅当…”，P Q取值1当且仅当P，Q真值相同.3. 命题公式、赋值与解释，命题公式的分类与判别h命题公式与赋值，命题P含有n个命题变项P1，P2,…,P n，给P1，P2,…,P n各指定一个真值，称为对P的一个赋值(真值指派). 若指定的一组值使P的真值为1，则这组值为P的真指派；若使P的真值为0，则称这组值称为P的假指派.h命题公式分类，在各种赋值下均为真的命题公式A，称为重言式(永真式)；在各种赋值下均为假的命题公式A，称为矛盾式(永假式)；命题A不是矛盾式，称为可满足式；判定命题公式类型的方法：其一是真值表法，任给公式，列出该公式的真值表，若真值表的最后一列全为1，则该公式为永真式；若真值表的最后一列全为0，则该公式是永假式；若真值表的最后一列既非全1，又非全0，则该公式是可满足式.其二是推导演算法. 利用基本等值式(教材的十六个等值式或演算律)，对给定公式进行等值推导，若该公式的真值为1，则该公式是永真式；若该公式的真值为0，则该公式为永假式.既非永真，也非用假，成为非永真的可满足式.其三主析取(合取)范式法，该公式的主析取范式有2n个极小项(即无极大项)，则该公式是永真式；该公式的主合取范式有2n个极大项(即无极小项)，则该公式是永假式；该公式的主析取(或合取)范式的极小项(或极大项)个数大于0小于2n,，则该公式是可满足式.h等值式A B，命题公式A，B在任何赋值下，它们的真值均相同，称A，B等值。
命题与联结词
离散数学导论
以下三条款规定了命题公式（proposition formula）
的意义：
（1）命题常元和命题变元是命题公式，也称为原子公式或原子。
（2）如果A，B是命题公式，那么（┐A），（A∧B）， （A∨B），（A→B），（AB）也是命题公式。
（3）只有有限步引用条款（1），（2）所组成的符号串 是命题公式。
1.2 联结词
蕴涵词（implication)“如果…，那么…”
（if…then…），用符号“ → ”表示。 可用表1.5来规定该蕴涵词“ → ”的意义：
p
q
p→q
0
0
1
0
1
1
1ห้องสมุดไป่ตู้
0
0
1
1
1
p→q中的p称为蕴涵前件，q称为蕴涵后件。
. 命题与联结词
1.2 联结词
双向蕴涵词(two-way-implication)“当且仅 当”（if and only if），用符号“ ”表示。
我们把表示具体命题及表示常命 题的p，q，r，s等与f，t统称为
命题常元（proposition constants）。
命题变元（proposition variable）
是以“真、假”或“1，0”为取值范围的变元， 它未指出符号所表示的具体命题 。
.
命题与联结词
1.3 命题公式及其真值表
◆定义1.1
离散数学导论
.
命题与联结词
1.1 命题
我们把对确定的对象作出判断的陈述句
称作命题（propositions or statements）
当判断正确或符合客观实际时，
称该命题真（true）， 否则称该命题假（false）。
命题公式真值表
(4) (P Q) (P Q);
(5) (P Q) (P Q).
A
6
1-4 真值表与等价公式
解 (1) P Q 的真值表为:
P
Q
T
T
T
F
F
T
F
F
P Q
T F T T
(2) P Q 的真值表为:
P
Q
PQ
T
T
T
T
F
F
F
T
T
F
F
T
A
7
1-4 真值表与等价公式
(3) (P Q) P 的真值表为:
(1)单个命题变元本身是一个合式公式;
(2)如果 A 是合式公式,那么 A是合式公式;
(3)如果 A 和 B 是合式公式,那么
A B , A B , A B, A B 是合式公式;
(4)当且仅当能够有限次地应用(1)、(2)、(3)
所得到的包含命题变元,联结词和括号的字符串
是合式公式.
A
3
1-3 命题公式与翻译
A 中的 X 用Y 置换,所得公式 B 与公式 A 等价,即 A B .
例 4 证明: Q (P (P Q)) Q P
例 5 证明下列等价式
(1) (P Q) (P Q) P ;
(2) P (Q R) Q (P R) .
练习 证明 P (Q R) (P Q) R
A
14
1-4 真值表与等价公式
例 6 化简下列命题公式: (1) P (P (Q P)) (2) (P Q) (Q P)
说明:
(1)命题变元是没有真假值的,只有当命题变元用 确定的命题代入时,才得到一个命题,命题的真值 依赖于代换变元的那些命题的真值;
c语言离散数学 命题公式逻辑联结词及真值表应用
C语言与离散数学在计算机科学中起着至关重要的作用，而命题、公式、逻辑联结词及真值表是离散数学中的重要概念，在C语言中也有着广泛的应用。
本文将介绍C语言与离散数学中命题、公式、逻辑联结词及真值表的相关概念，并讨论它们在程序设计与计算机科学中的应用。
一、命题在离散数学中，命题是指可以明确判断真假的陈述。
在C语言中，命题通常被用于控制程序的流程，例如条件语句中的判断条件。
命题通常具有以下特点：1. 命题具有唯一的确定性，即任何一个命题要么为真，要么为假；2. 命题可以由自然语言或符号表示；3. 命题可以进行逻辑运算，如与、或、非等。
二、公式公式是离散数学中的重要概念，它由命题和逻辑联结词组成。
在C语言中，公式通常被用于逻辑表达式的表示，例如在循环或条件语句中的判断条件。
公式具有以下特点：1. 公式由命题和逻辑联结词组成；2. 公式可以通过推理和演绎来进行逻辑推理；3. 公式可以用真值表来进行验证。
三、逻辑联结词在离散数学中，逻辑联结词是用来连接命题，构成公式的重要符号。
在C语言中，逻辑联结词通常被用于逻辑表达式中，用来表示逻辑运算的关系。
常见的逻辑联结词有：1. 与（）：表示逻辑与运算，只有所有命题都为真时，整个公式才为真；2. 或（||）：表示逻辑或运算，只要有一个命题为真，整个公式就为真；3. 非（!）：表示逻辑非运算，将真变为假，假变为真。
四、真值表真值表是用来验证公式真假的一种方法，在离散数学中具有重要意义。
在C语言中，真值表通常被用于逻辑表达式的验证。
真值表具有以下特点：1. 真值表由多个命题和对应的公式真假组成；2. 真值表可以通过逻辑联结词来进行推理和验证；3. 真值表可以用来确定公式的真假和逻辑关系。
总结：C语言与离散数学中的命题、公式、逻辑联结词及真值表都是非常重要的概念，在程序设计与计算机科学中有着广泛的应用。
掌握这些概念不仅可以帮助我们更好地理解程序的运行原理，也可以提高我们的逻辑推理能力。
常用的命题等价公式
0
成立
练习 ：用真值表判断下列等价公式是否成立 1 (1)p (q r ) ( p q ) r 成立
p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 q→r 1 p∧q 0 p→(q → r) ( p∧q )→ r 1 1 1 1 1 1 1 1 0 1 1 1 1 1
证明 1)：( p q) r (p q ) r ( (p q ) r ( p q ) r ( q p ) r
(2) p q r p r q r
(2) p q r p r q r
(2)( p q) p q r 解 : ( p q) p q r (p q) p q r (p p) (q p) q r 0 (q p) q r (q p) q r (q p) q r (q p) q r q p q r 1 r 0 r 0 该公式是永假式
练习4：利用基本等价公式判断下列公式的类型
(1) ( p q ) q p (2)( p q) p q r 解(1)： p q) q p (
( p q ) q p (p q ) (q q ) p ( p q ) 0 p ( p q ) p (p q ) p ( p q ) p p q p 1 该公式是永真式
由于日本和中国不能并列第一，日本不能既第一又第三， 韩国和日本不能并列第三,即第一、第三和第四为０，所以 (R1 Q 3 P 1 R3) 1 ⑷
命题公式及真值表
离散结构命题公式及真值表教学目标基本要求（1）会判断命题公式及其层次；（2）真值表；（3）公式类型；重点难点真值表的应用。
命题中的符号命题中的符号：(1) 命题常元：真值唯一确定。
例如：T、F(2) 命题变元：真值可变化。
例如：P、Q、R(3) 联接词：优先级按¬, ∧, ∨, →, ↔递减(4) 辅助符号如括号（）。
命题中的符号任意组成的符号串是否都有意义？例：(∧p ¬q) pq →(思考：按什么规律组成的符号串才有意义？合式公式合式公式：合法的命题公式。
（简称公式）（1）命题常元或变元是合式公式（2）若A, B是合式公式，(¬A),(A∧B),(A∨B),(A→B),(A↔B)也是合式公式（3）只有有限次地应用(1)、(2)形成的符号串才是合式公式注意这个定义是递归的。
(1)是递归的基础，由(1)开始，使用规则(2)，可以得到任意的合式公式。
公式简写的约定1) 最外层括号可以省略；2) 省略括号后, 运算顺序与联结词的优先级一致，则可以省略；3) 相同联结词按从左到右的顺序计算，则可以省略。
公式的层次定义：（1）若公式A 是单个的命题变项，则称A 为0层公式。
（3）若公式的层次为k ，则称A 是k 层公式。
（2）若有下面情况之一的，称A 为n+1层公式:A 是¬B ，B ∧C ，B ∨C ，B→C ，B↔C ，其中B 、C 分别是i 层、j 层公式，且n=max(i,j)； 例：((¬p ∧q)∨(p ∧ ¬q))→r1层 2层 3层 4层公式的解释命题公式代表一个命题，但只有当公式中的每一个命题变元都用一个确定的命题代入时，命题公式才有确定值，成为命题。
解释（I）：给公式A（ P1，P2，…,Pn ）中的命题变元P1，P2，…,Pn指定一组真值称为对A的一个解释（赋值）。
成真赋值: 使公式为真的赋值。
成假赋值: 使公式为假的赋值。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
A（BC） （D E）
1 01
10
p
2、什么情况下，下面论述为真：
q
说小王不会唱歌或小李不会跳舞是正确的，而
说如果小王会唱歌，小李会跳舞是不正确的。
（p q） （pq）
综合问题1
Key:
2、赋值、成真（假）赋值、指派
pq
qp
00
1
赋值
01
0
10
1
11
1
成真赋值
指派
(qp) q (qp) qp
0
1
0
1
0
1
1
1
练习1：求命题公式的真值表
1、P∧Q）→R
2、┐（（P∨Q）∧P）
3、Q∧（P→Q）→P
4、设p，q的真值为0；r，s的真值为1，求下列
命题公式的真值
（1）P∨（Q∧R）
A→B、AB也是命题公式。 （3） 有限步应用条款（1）（2）生成的公式。
例：下列符号串都是命题公式
下列符号串是否为命题公式？
命题、联结词、命题公式与真值表
1、一些基本概念 逻辑、命题、真值
2、联结词 3、命题公式 4、真值表
一、真值表
真值表: 公式A在所有赋值下的取值情况列成的表
例 给出公式的真值表： A= (qp) qp 的真值 表
pq
qp (qp) q (qp) qp
00
1
0
1
01
0
0
1
10
1
0
1
11
1
1
1
回顾一下：五个联结词真值表
否定
等价（双条件）
合取
析取
蕴涵（条件）
几个相关概念
1、合式公式的层次：
0层
1层
2层
3层
pq
qp (qp) q (qp) qp
00
1
0
10
1
0
1
11
1
1
1
几个相关概念
命题、联结词、命题公式与真值表
1、一些基本概念 逻辑、命题、真值
2、联结词 3、命题公式 4、真值表
问题？
一、命题的定义
命题P——不关心其具体涵义，只关心其值的 真值
命题变元——定义域：真、假 命题常元——T和F 命题公式（也称命题，合式公式）——含命题变元
的断言，由以下规则生成： （1）单个原子公式是命题。 （2）若A、B是命题公式，┐A、A∧B、A∨B、
（2）（PR）∧（┐Q∨S）
（3）（P∧（Q∨R））→（（P∨Q）∧（R∧S））
（4）┐(P∨(Q→(R∧┐P)))→（R∨┐S）
练习2：page14，17、18
A 1、判断下面一段论述是否为真：
B
是无理数。并且，如果3是无理数，则 2也是
C
无理数。另外，只有6能被2整除，6才能被4整除。 D E