命题逻辑

合集下载

逻辑学:命题逻辑

逻辑学:命题逻辑
2018年8月17日星期五 7
第二章 命题逻辑
第二节 复合命题及其推理
负命题
负命题由否定联结词(如“并非”)联结支命题而形成的复合命 题。例如: (1)并非选修逻辑的学生都是文科生。 (2)这个班的学生不都学英语。 (3)如果它是三角形,则内角和等于180°,这个观点不对。 注:负命题的支命题可以是简单命题,也可以是复合命题。
20语句
任何命题都是通过语句来表达的,但语句和命题并非一一对应:
首先,有的语句不能直接表达命题,如: •(1)西南大学在重庆吗? •(2)请把门关上! 一般来讲:陈述句与反诘句可以直接表达命题。 其次,同一命题可以用不同的语句来表达,如: “所有的鸟都会飞”与“没有鸟不会飞”表达了相同的命题。 此外,同一命题可用不同的民族语言的语句来表达。 再次,同一语句,可以表达不同的命题,如: 小张将书还给小王,因为他要回家了。
真值表的作用
•p •T •F •¬p F T
根据这个真值表,也可以给f(p)=p这个一元真值函数作如下定义: p为真当且仅当p为假; p为假当且仅当p为真。
2018年8月17日星期五
10
负命题
根据负命题的逻辑性质,可对¬p再否定得到¬¬p,其真值与 p相同,真值表如下:
•p •T •F •¬p •F •T •¬¬p •T •F
2018年8月17日星期五 4
命题的分类
简单命题
非模态命题 命 题
模态命题 复合命题
2018年8月17日星期五
5
命题分析的层次
将联结词所联结的命题作为一个完整的单位来看待


——研究关于联结词的推理(命题逻辑)
——研究关于量项和联项的推理(传统词项逻辑)

命题逻辑ppt课件

命题逻辑ppt课件
结合词的优先顺序为: , , , , ; 1:假设出现的结合词同级,又无括号时,那么
按从左到右的顺序运算; 2:假设遇有括号时,应该先进展括号中的运算.
留意: 本书中运用的 括号全为圆括号〔〕.
2.2 命题公式
命题变项与合式公式 公式的赋值 真值表 命题的分类
重言式 矛盾式 可满足式
命题变项与合式公式
随堂练习
1:写出命题、简单命题的定义。 2:用符号定义五个结合词及其各自取值情况。 3:写出蕴涵式的定义,分析前件与后件的关系,
列出对应的言语表达方式。 4:写出遇到析取结合词二义性时的判别方式及对应
符号表示。 5:列出下面公式的真值表,阐明各公式的层次
(p q) ((p q) (q p)) (p q) (p q) 6:写出命题公式的定义
pq r
pq
000
0
001
0
010
1
011
1
100
1
101
1
110
1
111
1
r (pq)r
1
1
0
1
1
1
0
0
1
1
0
0
1
1
0
0
公式的类型
定义2.9 设A为一个命题公式 (1) 假设A在它的各种赋值下取值均为真,那么称A为重言 式(也称永真式) (2) 假设A在它的各种赋值下取值均为假,那么称A为矛盾 式(也称永假式) (3) 假设A至少存在一组赋值是成真赋值,那么称A为可满 足式
3.析取式与析取结合词“∨〞
定义2.3 设 p,q为二命题,复合命题“p或q 〞称作p与q的析取式,记作p∨q,∨称作 析取结合词,并规定
p∨q为假当且仅当p与q同时为假. 例即将:p以∨下命q题为符真号化当且仅当p与q至少有一个为真。 此处(1)定2或义4是的素析数.取式p∨q表示的是一种相容性

第1章 命题逻辑

第1章 命题逻辑
28
第一章 命题逻辑(Propositional Logic)
1.2逻辑联结词(Logical Connectives)
联结词“∨”的定义真值表
P
Q
P∨Q
0
0
0
0
1
1
1
0
1
1
1
1
29
第一章 命题逻辑(Propositional Logic)
1.2逻辑联结词(Logical Connectives)
1.2 逻辑联结词(Logical Connectives) 1.2.1 否定联结词(Negation) ┐ 1.2.2 合取联结词(Conjunction)∧ 1.2.3 析取联结词(Disjunction)∨ 1.2.4 条件联结词(蕴涵联结词Conditional)→ 1.2.5 双条件联结(等值联结词Biconditional)
1.2逻辑联结词(Logical Connectives)
例3. 将下列命题符号化. (1) 李平既聪明又用功. (2) 李平虽然聪明, 但不用功. (3) 李平不但聪明,而且用功. (4) 李平不是不聪明,而是不用功.
解: 设 P:李平聪明. Q:李平用功. 则 (1) P∧Q (2) P∧┐Q
个值:真(用 T(true)或1 表 示)、假 (用F(false) 或0表 示) 。 ✓ 真命题:判断为正确的命题,即真值为真的命题。 ✓ 假命题:判断为错误的命题,即真值为假的命题。
5
第一章 命题逻辑(Propositional Logic)
1.1 命题及其表示
因而又可以称命题是具有唯一真值的陈述句。
说明:“∧” 属于二元(binary)运算符. 合取运算特点:只有参与运算的二命题全为真 时,运算结果才为真,否则为假。

命题逻辑基本推理公式

命题逻辑基本推理公式

命题逻辑基本推理公式(1) P∧Q⇒P .(2)¬( P→Q)⇒P .(3)¬(P→Q)⇒¬Q.(4) P⇒P ∨Q.(5)¬P⇒P →Q.(6) Q⇒P →Q.(7) ¬P∧(P∨Q) ⇒Q.选言推理否定式(8) P∧(P→Q) ⇒Q. 假言推理肯定前件式(9) ¬Q∧(P→Q) ⇒¬P .假言推理否定后件式(10) (P→Q)∧(Q→R) ⇒P→R. 三段论(11) (P↔ Q)∧(Q↔R) ⇒P↔R. 双条件三段论(12) (P→R)∧(Q→R)∧( P ∨Q) ⇒R. 二难推理(13) (P→Q)∧(R→S) ∧(P ∨R)⇒Q∨S. 二难推理(14) (P→Q)∧(R→S) ∧¬(Q∨¬S)⇒¬P ∨¬R. 破坏二难推理(15) (Q→R) ⇒(( P∨Q)→(P ∨R)) .(16) (Q→R) ⇒(( P→Q)→(P→R)) .使用真值表法证明这些推理公式是容易的。

若从语义上给予直观说明也是不难的. 如公式(2), ¬(P →Q) ⇒P . 公式( 3), ¬(P →Q)⇒Q. 意思是说, 若P →Q 不成立( 取假), 必有 P 为真, 还有 Q 为假. 这从P →Q 的定义可知, 因只有当 P = T 而 Q = F 时, P →Q = F. 又如公式( 7), ¬P ∧(P ∨Q)⇒Q. 意思是说, P 不对, 而P ∨Q 又对, 必然有 Q 对.公式( 8) , P ∧(P →Q) ⇒Q 常称作假言推理, 或称作分离规则, 是最常使用的推理公式。

公式(10) , (P →Q) ∧(Q→R)⇒P →R 常称作三段论。

日常语言运用:(1) 此人既呆又笨为真,则此人笨为真。

(2)(3)并非“犯错蕴涵失败“,即是说,”如果犯错,那么失败“为假命题,则必有犯错且不失败的例子。

命题逻辑

命题逻辑

p T T F F
q T F T F
pq T F T T
例如: p:今天天气晴朗; q:我们去海滩。
p q: 如果今天天气晴朗,我们就去海滩。
13
离散数学及其应用
联结词
蕴涵式:pq •p为蕴涵前件,q为蕴涵后件 •p是q的充分条件,q是p的必要条件 •表示:“如果p,则q”,“如果p,那么q”,“当p则q”,“p仅 当q”等。
p q的真值表
25
离散数学及其应用
其它联结词
定义1.1.10 设p、q是任意两个命题, p q可表示复合命题“p和 q的或非”, 称为或非联结词。命题p q 称为p和q的或非式。 当且仅当p和q的真值同时为假时,p q的真值为真. p p q的真值表 T T F F q T F T F pq F F F T
如:
把自然语言表示的命题翻译成由命题变量和逻辑联结词组成 的表达式,进行判断和推理
31
离散数学及其应用
例题
三个客人坐在餐馆,服务生问:“每个人都要咖啡吗?”, 第一位客人回答:“我不知道。”接着第二位客人也回答: “我不知道。”最后,第三位客人回答:“不是每个人都要咖
啡。”一会儿,服务生回来,将咖啡递给需要的客人。请问服
10
离散数学及其应用
联结词
(三)析取
定义1.1.6 设p、q表示任意两个命题, p q 可表示复合命题
“p或q”。当且仅当p和q的真值同时为假时,p q的真值为 p q p q 假。 T p q的真值表: T F 例如: p: 今天去看电影; q: 今天去公园。 F p q: 今天去看电影或今天去公园。 T F T F T T T F
4.一个由命题常元或命题变元、联结词和括号所组成的符号串

一阶逻辑和命题逻辑

一阶逻辑和命题逻辑

一阶逻辑和命题逻辑
一阶逻辑(first-order logic)和命题逻辑(propositional logic)
是数理逻辑中两种不同的形式系统,用于表示和推理关于命题和谓词的逻辑语句。

命题逻辑是最简单的逻辑系统,它只涉及命题(proposition)
和逻辑连接词(如“与”、“或”、“非”等),而不涉及个体和谓词。

命题逻辑中一切复杂的语句都可以用原子命题和逻辑连接词的组合来表示。

命题逻辑的推理只关注命题之间的逻辑关系,而不关注具体命题所代表的内容。

一阶逻辑是一种更为复杂的逻辑系统,它不仅涉及命题,还涉及个体和谓词。

在一阶逻辑中,命题可以包含变量和量词,可以表示更为复杂的逻辑语句,如“对于所有”的量化语句和“存在”的量化语句。

一阶逻辑允许进行更为精确的推理,可以表
示更复杂的逻辑关系和推导。

总的来说,命题逻辑更简单,只涉及命题的逻辑关系;而一阶逻辑更复杂,除了命题的逻辑关系,还涉及个体和谓词的逻辑关系。

离散数学-----命题逻辑

离散数学-----命题逻辑

离散数学-----命题逻辑逻辑:是研究推理的科学。

公元前四世纪由希腊的哲学家亚里斯多德首创。

作为一门独立科学,十七世纪,德国的莱布尼兹(Leibniz)给逻辑学引进了符号, 又称为数理逻辑(或符号逻辑)。

逻辑可分为:1. 形式逻辑(是研究思维的形式结构和规律的科学,它撇开具体的、个别的思维内容,从形式结构方面研究概念、判断和推理及其正确联系的规律。

)→数理逻辑(是用数学方法研究推理的形式结构和规律的数学学科。

它的创始人Leibniz,为了实现把推理变为演算的想法,把数学引入了形式逻辑中。

其后,又经多人努力,逐渐使得数理逻辑成为一门专门的学科。

)2. 辩证逻辑(是研究反映客观世界辩证发展过程的人类思维的形态的。

)一、命题及其表示方法1、命题数理逻辑研究的中心问题是推理,而推理的前提和结论都是表达判断的陈述句,因而表达判断的陈述句构成了推理的基本单位。

基本概念:命题:能够判断真假的陈述句。

命题的真值:命题的判断结果。

命题的真值只取两个值:真(用T(true)或1表示)、假(用F(false)或0表示)。

真命题:判断为正确的命题,即真值为真的命题。

假命题:判断为错误的命题,即真值为假的命题。

因而又可以称命题是具有唯一真值的陈述句。

判断命题的两个步骤:1、是否为陈述句;2、是否有确定的、唯一的真值。

说明:(1)只有具有确定真值的陈述句才是命题。

一切没有判断内容的句子,无所谓是非的句子,如感叹句、祁使句、疑问句等都不是命题。

(2)因为命题只有两种真值,所以“命题逻辑”又称“二值逻辑”。

(3)“具有确定真值”是指客观上的具有,与我们是否知道它的真值是两回事。

2、命题的表示方法在书中,用大写英文字母A,B,…,P,Q或带下标的字母P1,P2,P3 ,…,或数字(1),*2+, …,等表示命题,称之为命题标识符。

命题标识符又有命题常量、命题变元和原子变元之分。

命题常量:表示确定命题的命题标识符。

命题变元:命题标识符如仅是表示任意命题的位置标志,就称为命题变元。

命题逻辑(联言、选言、负命题)

命题逻辑(联言、选言、负命题)
任何命题都是通过语句来表达的,但语句和命 题并非一一对应: 首先,有的语句不能直接表达命题。 其次,同一命题可以用不同的语句来表达,如: ‚所有的鸟。 此外,同一命题可用不同的民族语言的语句来 表达。
再次,同一语句,可以表达不同的命题。
命题和判断
• 判断:就是被断定者断定了的命题。 • 判断的主要特征:有所断定。
想想看
• 两个女学生走进一餐厅,翻开桌上的菜单,突 然眼前一亮,‚看,熊掌!每盘20元,来两盘 怎么样?‛‚人们都说熊掌名贵,价钱也不贵, ok!‛一会儿,她们吃完了,叫来招待员结帐, 招待员开出帐单:‚一共4025元‛‚什么?你 没搞错吧?‛学生几乎吓晕了。‚熊掌每盘 2000元,你看菜单。‛学生仔细一看,果然是 2000元,中间没有小数点。这下她们急得要哭 了。这时老板出来了,看了几眼付不起钱的学 生,‚没钱,就将证件留下。‛她们乖乖的将 证件交出。学生会出面交涉,老板斩钉截铁说: ‚一分也不能少,如果三天之内不把钱付清, 便立即向法院起诉。……学生只好自认倒霉, 一律师知道了,帮他们追回了所被敲诈的钱。 如何讨?
• 规则: 肯定前件就要肯定后件,否定后件就要否定前件 否定前件就要否定后件,肯定后件就要肯定前件 • 推理蕴涵式为: • (p↔q)∧p →q • (p↔q)∧q →p • (p↔q)∧ p → q • (p↔q)∧ q →p • 某甲犯了罪当且仅当某甲应受刑罚处罚; • 某甲是案犯当且仅当某乙是案犯;
• 负判断由支命题和联结词‚并非‛构成。负 命题的逻辑联结词‚并非‛可以用否定词 ‚‛来表示。 • 日常用语中,负命题的联结词还可以表达为 ‚没有‛、‚不‛、‚这是假的‛、‚这是 错误的‛等。被否定的命题称为支命题,它 可以是简单命题,也可以复合命题。 • 负命题的形式:并非p,也可表示为: p • 负命题的真假表:当支命题为真时,负命题 为假;当支命题为假时,负命题为真。

命题逻辑-

命题逻辑-

4.2有效推理得形式证明
• 自然演绎系统形式证明就是建立在 推理规则基础之上得。这些规则大 约可分为四部分:一就是基本推导 规则,二就是等值替换规则,三就是 条件证明规则,四就是间接证明规 则。
一、基本推导规则:
根据合取式得逻辑特征:
组合式 简记为∧+
根据析取式得逻辑特征:
选言三段论
简记∨-
根据蕴涵式得逻辑特征:
• 例2.判定命题公式“(p∧q) →r”与“p∨(q →r)”就是否逻辑等值。
2.1命题公式之间得逻辑等值
• 如果两个公式就是等值得,那么以这两个公 式为子公式构造一个等值式:
• (﹁p∨ ﹁ q )(﹁ (p∧q))。 • 这个等值式就是恒真得,由此可推知,一个等
值式就是重言式,那么她得两个子公式逻辑 等值。
• 证:① (A∨B)→C
P \A→C
• ② (A∨B) ∨ C
①Impl
• ③ ( A ∧ B) ∨ C
②DeM
• ④ ( A ∨C) ∧( B ∨ C ) ③Dist
• ⑤ A ∨C
④∧-
• ⑥A →C
⑤Impl
作业
• 一、运用真值表方法,判定下列命题就是不 就是等值命题。
• l、如果这匹马儿不吃饱草,那么这匹马儿不 能跑。
• 3.德摩根律 ¬(p∧q) ¬p∨¬q;

¬(p∨q) ¬p∧¬q。
• 4、分配律 p∧(q∨r) (p∧q)∨(p∧r)

p∨(q∧r) (p∨q) →(p∨r)
• 5、实质蕴涵(p→q) ( p ∨ q)
• 6.假言易位 (p→q) ( q → p )
• 7、移出律 (p∧q) →r p→(q →r)

《离散数学》命题逻辑

《离散数学》命题逻辑
由原子命题组合而成的命题称为复合 命题(compound proposition)。
例如:
和 e 都是无理数。 6和8至少有一个是合数。 说刘老师讲课不好是不正确的。 不下雨我就去买书。
7
命题与命题联结词
将命题连接起来的方式叫做命题联结词
( proposition connective ) 或 命 题 运 算 符
3
命题与命题联结词
逻辑
如何表示? 如何“操作”?
非真即假的陈述句称为命题(proposition)。 一个命题如果是对的或正确的,则称为真命
题,其真值为“真”(true),常用T或1表示; 一个命题如果是错的或不正确的,则称为假
命题,其真值为“假”(false),常用F或0表示。
4
命题与命题联结词
32
命题公式及其分类
为简化公式的形式,作如下规定:
(1) 优先级 , (∧, ∨), (, ) (2) 公式 (~p) 的括号可以省略,写成 ~p (3) 整个公式最外层的括号可以省略
例1
(((p)∧q)(q∨p)) p∧q q∨p
例2
p∧q∨r 不是 命题公式 应写作 (p∧q)∨r 或 p∧(q∨r)
例 判断下列句子哪些是命题,哪些不是
这门课程题为“离散数学”。 这门“离散数学”讲得好吗? X 这门“离散数学”讲得真好! X 请学习“离散数学” 。 X 5是素数。 太阳从西方升起。 如果明天晴,而且我有空,我就去踢球。 天王星上没有生命。 x + 3 > 5。 X 5 本命题是假的。X
俞伯牙和钟子期是好朋友。 俞伯牙是好朋友 ∧ 钟子期是好朋友 俞伯牙 ∧ 钟子期是好朋友 Friend (俞伯牙,钟子期)
23

离散数学结构第1章命题逻辑基本概念

离散数学结构第1章命题逻辑基本概念

离散数学结构第1章命题逻辑基本概念第1章命题逻辑基本概念主要内容1. 命题与真值(或真假值)。

2. 简单命题与复合命题。

3. 联结词:否定联结词┐,合取联结词∧,析取联结词∨,蕴涵联结词→,等价联结词。

4. 命题公式(简称公式)。

5. 命题公式的层次和公式的赋值。

6. 真值表。

7. 公式的类型(重⾔式(或永真式),⽭盾式(或永假式),可满⾜式)。

学习要求1. 在5种联结词中,要特别注意蕴涵联结的应⽤,要弄清三个问题:① p→q的逻辑关系② p→q的真值③ p→q的灵活的叙述⽅法2. 写真值表要特别仔细认真,否则会出错误。

3. 深刻理解各联结词的逻辑含义。

4. 熟练地将复合命题符号化。

6. 会⽤真值表求公式的成真赋值和成假赋值。

1.1 命题与联结词 (2)⼀、命题的概念 (2)⼆、复合命题与联结词 (2)三、复合命题真假值 (5)1.2 命题公式及其赋值 (6)⼀、命题公式的定义 (6)⼆、公式的层次 (6)三、公式的赋值 (6)四、真值表 (7)五、公式的真假值分类 (8)1.1 命题与联结词⼀、命题的概念引⾔中的例⼦就是要对“我戴的是⿊帽⼦”进⾏判断。

这样的陈述句称为命题。

作为命题的陈述句所表达的判断结果称为命题的真值,真值只取两个值:真或假。

真值为真的命题称为真命题,真值为假的命题称为假命题。

真命题表达的判断正确,假命题表达的判断错误。

任何命题的真值都是唯⼀的。

判断给定句⼦是否为命题,应该分两步:⾸先判定它是否为陈述句,其次判断它是否有唯⼀的真值。

例1.1 判断下列句⼦是否为命题。

(1) 4是素数。

(2) 是⽆理数。

(3) x⼤于y。

(4) ⽉球上有冰。

(5) 2100年元旦是晴天。

(6) π⼤于吗?(7) 请不要吸烟!(8) 这朵花真美丽啊!(9) 我正在说假话。

解:本题的(9)个句⼦中,(6)是疑问句,(7)是祈使句,(8)是感叹句,因⽽这3个句⼦都不是命题。

剩下的6个句⼦都是陈述句,但(3)⽆确定的真值,根据x,y的不同取值情况它可真可假,即⽆唯⼀的真值,因⽽不是命题。

离散数学第3章 命题逻辑

离散数学第3章 命题逻辑

0
0
0
1 1 0 0
1 0 1 0
0
13

一般来说, 只要不是非常明显的不可兼就使用.


例 p: 今天晚上我在寝室上自习, q :今天晚上我去电影 院看电影. 今天晚上我在寝室上自习或去电影院看电影。 p q.
14
5. 蕴涵(条件)联结词 : p q p: 我有时间, q : 我去看望我的父母. p q : 如果我有时间, 那么我去看望我的父母 . “”相当于“如果…那么…”, “若…则…”,等. p q 可读作“(若)p则q”. p称为前件, q称为后件.
p 1 1 0 0 q 1 0 1 0 pq 1 1 1 0
12
4. 异或联结词 : p q “不可兼或”, 它表示两者不能同时为真


例 p: 明天去深圳的飞机是上午八点起飞, q :明天去深圳 的飞机是上午八点半起飞. p q: 明天去深圳的飞机是上午八点或上午八点半起飞 . p 1 1 0 q 1 0 1 pq 0 1 1 p q pq 1 1 1


2









判断下列语句是否是命题. 2 + 3 = 5. √ 大熊猫产在我国东北. √ x > 3. 立正! 这朵花真漂亮! 你喜欢网络游戏吗? 1+1=10. √ 火星上有生物. √ 我说的都是假话. 小王和小李是同学. √ 你只有刻苦学习,才能取得好成绩. √
3
2. 命题的真值 命题的真值就是命题的逻辑取值. 经典逻辑值只有两个: 1和0 在数理逻辑中, 更多时候逻辑真是用 T(True) 或 t, 逻辑假用 F(False) 或 f 表示的.

离散数学命题逻辑

离散数学命题逻辑

离散数学命题逻辑
离散数学是一门研究离散结构和逻辑推理的学科。

在这门学科中,命题逻辑是其中最基础的一部分。

命题逻辑是一种符号系统,用于表示和推理关于命题的真值。

命题是可以判断为真或假的陈述句。

命题逻辑的目标是通过推理规则和运算符来确定一个复合命题的真值。

命题逻辑中的符号包括命题变量、命题常量、逻辑连接词和逻辑运算符。

命题变量是用字母表示的可以代表任意命题的符号,命题常量是具体的命题,例如“今天是晴天”。

逻辑连接词包括“与”、“或”、“非”等。

逻辑运算符包括合取、析取、否定等。

命题逻辑有一些重要的推理规则,例如蕴含规则、假言推理、逆否命题等。

这些推理规则可以用来证明一个复合命题的真值。

在命题逻辑中,还可以使用真值表来确定一个复合命题的真值。

真值表是一种列出所有可能的真值组合并计算复合命题真值的表格。

除了命题逻辑,离散数学中还有谓词逻辑、谓词演算等其他逻辑系统。

这些逻辑系统在表示和推理复杂问题时更为强大和灵活。

离散数学中的命题逻辑在计算机科学、人工智能、密码学等领域有着广泛的应用。

例如,在计算机程序设计中,命题逻辑被用来表示和推理程序的正确性。

在人工智能中,命题逻辑被用来表示和推理关于世界的知识。

在密码学中,命题逻辑被用来分析和构造安全的密码算法。

总而言之,离散数学中的命题逻辑是一种重要的逻辑系统,用于表示和推理关于命题的真值。

它在各个领域都有广泛的应用,是理解和应用离散数学的基础。

离散数学 第6章 命题逻辑

离散数学 第6章 命题逻辑

(P Q) R m1 m3 m5 m6 m7 (1,3,5,6,7)
三、主合取范式
如组成合取范式的每一个括号中都包括所有的命题 变项或其否定形式,则该合取范式称为主合取范式。 在主合取范式中的每一个括号是一个包括所有的命题 变项或其否定形式的简单析取式,称为大项。 如果将大项中各命题变项看成为0,其否定看成为1, 按字母顺序排列后的二进制数为i,该大项表示为 M i , 注意:M 1不是 (P Q R) ,而是 ( P Q R) 例如,在某命题公式A中P,Q,R为(0,0,1)和(1,1,1)时真 值为0,则A的主合取范式可记作为:
(P Q R) (P Q R) (1,7)
由主析取范式可直接求出主合取范式
例如,上面的例3 ( P Q) R 主析取范式已经求得,为 那么,它的主合取范式为:
(1,3,5,6,7)
( P Q R) ( P Q R) (P Q R)
5。等价 如果两个命题P和Q有 P Q P Q 的真值表 同时又有 Q P 则记作 P Q P Q P Q P Q 就是 ( P Q) (Q P) 0 0 1 合取、析取和等价都满足交换 0 1 0 律,而蕴含是不满足交换律的。 1 0 0 P 例如, Q Q P , P Q Q P 1 1 1 P Q Q P 在一个命题公式中如果没有括号, 各种联结词的运算顺序从先到后依次为:
例题5: 用真值表证明命题公式P ( P Q R) 是重言式 解: P ( P Q R) P Q R PQ R 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1

命题逻辑数学

命题逻辑数学

命题逻辑数学
命题逻辑是数学中的一种逻辑体系,它研究的对象是命题和逻辑推理。

命题是一个陈述句,它要么是真(True),要么是假(False),而不可能既真又假。

命题逻辑可以用逻辑符号来
表示命题之间的关系和逻辑推理。

命题逻辑使用逻辑符号来表示命题之间的关系,常见的逻辑符号有:
- 逻辑与(∧):表示“且”的关系,只有当两个命题都为真时,逻辑与才为真。

- 逻辑或(∨):表示“或”的关系,只要两个命题中有一个为真,逻辑或就为真。

- 非(¬):表示取反的意思,对于一个命题,非真即假,非
假即真。

- 蕴含(→):表示“如果...那么...”的关系,如果一个命题为真,那么另一个命题也为真。

- 等价(↔):表示“当且仅当”的关系,当两个命题都为真或
都为假时,等价为真。

命题逻辑在数学中有广泛的应用,它可以用来描述和分析数学中的命题和逻辑推理的过程。

通过使用逻辑符号和逻辑规则,可以进行逻辑推理和证明。

命题逻辑为数学提供了一个严谨的逻辑基础,使得数学推理能够更加清晰和准确。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

1.2.1 命题【学习目标】知识与技能:了解命题的概念,会判断一个命题的真假,并会将一个命题改写成“若p ,则q ”的形式. 过程与方法:多让学生举命题的例子,培养他们的辨析能力、分析能力和解决问题的能力.情感、态度、价值观:通过学生的参与,激发学生学习数学的兴趣. 【教学重点】命题的概念、命题的改写.【教学难点】分清命题的条件、结构和判断命题的真假. 【教学过程】 一、引入:思考:请判断下列语句的真假,能否看出这些语句的表达形式有什么特点? (1) 若直线a ∥b ,则直线a 和直线b 无公共点; (2) 2 + 4 = 7;(3) 垂直于同一条直线的两个平面平行;(4) 若 x 2 = 1 , 则 x= 1 ; (5) 两个全等的三角形面积相等; (6) 3能被2整除.二、提问答疑: 1.命题的概念:①命题:可以判断真假的陈述句叫做命题. 问题1:命题要满足什么条件? 问题2:上述6个语句是命题吗?②真命题:判断为真的语句叫做真命题; 假命题:判断为假的语句叫做假命题.问题3:上述6个命题中哪些是真命题,哪些是假命题?③例1:判断下列语句中哪些是命题?是真命题还是假命题? (1)空集是任何集合的子集;(2)若整数a 是素数,则a 是奇数; (3)2小于或等于2;(4)对数函数是增函数吗? (5)215x <;(6)平面内不相交的两条直线一定平行;(7)22-2=)(.(学生自练→个别回答→教师点评)④探究:学生自我举出一些命题,并判断它们的真假.2. 将一个命题改写成“若p ,则q ”的形式:①例1中的(2)就是一个“若p ,则q ”的命题形式,我们把其中的p 叫做命题的条件,q 叫做命题的结论.②试将例1中的命题(6)改写成“若p,则q”的形式.③例2指出下列命题的条件p和结论q:(1)若整数a能被2整除,则a是偶数;(2)若四边形是菱形,则它的对角线互相垂直且平分.④例3:将下列命题改写成“若p,则q”的形式.(1)两条直线相交有且只有一个交点;(2)对顶角相等;(3)全等的两个三角形面积也相等.(学生自练→个别回答→教师点评)3. 小结:命题概念的理解,会判断一个命题的真假,并会将命题改写“若p,则q”的形式.三、巩固练习:1. 练习:教材 P10 1、2、32. 作业:教材P10 第4题1.2.2全称量词与存在量词【学习目标】1.知识与技能目标(1)通过生活和数学中的丰富实例理解全称量词与存在量词的含义,熟悉常见的全称量词和存在量词.(2)了解含有量词的全称命题和特称命题的含义,并能用数学符号表示含有量词的命题及判断其命题的真假性.2.过程与方法目标使学生体会从具体到一般的认知过程,培养学生抽象、概括的能力.3.情感态度价值观通过学生的举例,培养他们的辨析能力以及培养他们的良好的思维品质,在练习过程中进行辩证唯物主义思想教育.【教学重点】理解全称量词与存在量词的意义【教学难点】全称命题和特称命题真假的判定. 【教学过程】 1.思考、分析下列语句是命题吗?假如是命题你能判断它的真假吗? (1) 2x +1是整数; (2) x >3;(3) 如果两个三角形全等,那么它们的对应边相等; (4) 平行于同一条直线的两条直线互相平行; (5) 所有有中国国籍的人都是黄种人; (6) 对所有的x ∈R, x >3;(7) 对任意一个x ∈Z,2x +1是整数。

2.推理、判断(让学生自己表述)(1)、(2)不能判断真假,不是命题。

(3)、(4)是命题且是真命题。

(5)-(7)如果是假,我们只要举出一个反例就行。

注:对于(5)-(7)最好是引导学生将反例用命题的形式写出来。

因为这些命题的反例涉及到“存在量词”“特称命题”“全称命题的否定”这些后续内容。

命题(5)是假命题.事实上,存在一个(个别、部分)有中国国籍的人不是黄种人. 命题(6)是假命题.事实上,存在一个(个别、某些)实数(如x =2), x <3. (至少有一个x ∈R, x ≤3)命题(7)是真命题。

事实上不存在某个x ∈Z,使2x +1不是整数。

也可以说命题:存在某个x ∈Z使2x +1不是整数,是假命题. 3.发现、归纳命题(5)-(8)跟命题(3)、(4)有些不同,它们用到 “所有的”“任意一个” 这样的词语,这些词语一般在指定的范围内都表示整体或全部,这样的词叫做全称量词,用符号“∀”表示,含有全称量词的命题,叫做全称命题。

命题(5)-(8)都是全称命题。

通常将含有变量x 的语句用p (x ),q (x ),r (x ),……表示,变量x 的取值范围用M 表示。

那么全称命题“对M 中任意一个x ,有p (x )成立”可用符号简记为:∀x ∈M ,p (x ),读做“对任意x 属于M ,有p (x )成立”。

刚才在判断命题(5)-(7)的真假的时候,我们还得出这样一些命题: (5). 存在一个(个别、部分)有中国国籍的人不是黄种人.(6),存在一个(个别、某些)实数x (如x =2),使x ≤3.(至少有一个x ∈R, x ≤3)(7),不存在某个x ∈Z使2x +1不是整数.这些命题用到了“存在一个”“至少有一个”这样的词语,这些词语都是表示整体的一部分的词叫做存在量词。

并用符号“∃”表示。

含有存在量词的命题叫做特称命题(或存在命题)命题(5),-(7),都是特称命题(存在命题).特称命题:“存在M 中一个x ,使p (x )成立”可以用符号简记为:,()x M p x ∃∈。

读做“存在一个x 属于M ,使p (x )成立”.全称量词相当于日常语言中“凡”,“所有”,“一切”,“任意一个”等;存在量词相当于日常语言中“存在一个”,“有一个”,“有些”,“至少有一个”,“至多有一个”等.4.练习、感悟1.判断下列命题是全称命题还是特称命题:(1)所有的矩形都是平行四边形;(2)每一个素数都是奇数;(3)∀x∈R, x2-2x+1≥0。

(4)有些实数的绝对值是正数;(5)某些平行四边形是菱形;(6)∃ x∈R, x2+1<0。

2.判断下列命题是全称命题还是特称命题,并写出它们的否定:(1) p:所有能被3整除的整数都是奇数;(2) p:每一个四边形的四个顶点共圆;(3) p:对∀x∈Z,x2个位数字不等于3;(4) p:∃ x∈R, x2+2x+2≤0;(5) p:有的三角形是等边三角形;(6) p:有一个素数含三个正因数。

5.作业、探究:(1)作业:P12练习1、2题:1.2.3简单逻辑联结词(且与或)【学习目标】1.知识与技能目标:(1)掌握逻辑联结词“或、且”的含义(2)正确应用逻辑联结词“或、且”解决问题(3)掌握真值表并会应用真值表解决问题2.过程与方法目标:在观察和思考中,在解题和证明题中,本节课要特别注重学生思维的严密性品质的培养.3.情感态度价值观目标:激发学生的学习热情,激发学生的求知欲,培养严谨的学习态度,培养积极进取的精神.【教学重点】重点:通过数学实例,了解逻辑联结词“或、且”的含义,使学生能正确地表述相关数学内容。

【教学难点】1、正确理解命题“P∧q”“P∨q”真假的规定和判定.2、简洁、准确地表述命题“P∧q”“P∨q”.【教学过程】1、引入思考、分析问题1:下列各组命题中,三个命题间有什么关系?(1)①12能被3整除;②12能被4整除;③12能被3整除且能被4整除。

(2)①27是7的倍数;②27是9的倍数;③27是7的倍数或是9的倍数。

问题2:以前我们有没有学习过象这样用联结词“且”或“或”联结的命题呢?你能否举一些例子?2、归纳定义一般地,用联结词“且”把命题p和命题q联结起来,就得到一个新命题,记作p∧q 读作“p且q”。

一般地,用联结词“或”把命题p和命题q联结起来,就得到一个新命题,记作p∨q,读作“p或q”。

命题“p∧q”与命题“p∨q”即,命题“p且q”与命题“p或q”中的“且”字与“或”字与下面两个命题中的“且”字与“或”字的含义相同吗?(1)若 x∈A且x∈B,则x∈A∩B。

(2)若 x∈A或x∈B,则x∈A∪B。

定义中的“且”字与“或”字与两个命题中的“且”字与“或”字的含义是类似。

但这里的逻辑联结词“且”与日常语言中的“和”,“并且”,“以及”,“既…又…”等相当,表明前后两者同时兼有,同时满足, 逻辑联结词“或”与生活中“或”的含义不同,例如“你去或我去”,理解上是排斥你我都去这种可能.说明:符号“∧”与“∩”开口都是向下,符号“∨”与“∪”开口都是向上。

注意:“p或q”,“p且q”,命题中的“p”、“q”是两个命题,而原命题,逆命题,否命题,逆否命题中的“p”,“q”是一个命题的条件和结论两个部分.3、命题“p∧q”与命题“p∨q”的真假的确定你能确定命题“p∧q”与命题“p∨q”的真假吗?命题“p∧q”与命题“p∨q”的真假和命题p,q的真假之间有什么联系?引导学生分析前面所举例子中命题p,q以及命题p∧q的真假性,概括出这三个命题的真假之间的关系的一般规律。

例如:在上面的例子中,第(1)组命题中,①②都是真命题,所以命题③是真命题。

第(2(即一假则假)(即一真则真)一般地,我们规定:当p,q都是真命题时,p∧q是真命题;当p,q两个命题中有一个命题是假命题时,p∧q是假命题;当p,q两个命题中有一个是真命题时,p∨q是真命题;当p,q两个命题都是假命题时,p∨q是假命题。

4、例题讲解例1:将下列命题分别用“且”与“或”联结成新命题“p∧q”与“p∨q”的形式,并判断它们的真假。

(1)p:平行四边形的对角线互相平分,q:平行四边形的对角线相等。

(2)p:菱形的对角线互相垂直,q:菱形的对角线互相平分;(3)p:35是15的倍数,q:35是7的倍数.解:(1)p∧q:平行四边形的对角线互相平分且平行四边形的对角线相等.也可简写成:平行四边形的对角线互相平分且相等.p∨q: 平行四边形的对角线互相平分或平行四边形的对角线相等. 也可简写成:平行四边形的对角线互相平分或相等.由于p是真命题,且q也是真命题,所以p∧q是真命题, p∨q也是真命题.(2)p∧q:菱形的对角线互相垂直且菱形的对角线互相平分. 也可简写成:菱形的对角线互相垂直且平分.p∨q: 菱形的对角线互相垂直或菱形的对角线互相平分. 也可简写成:菱形的对角线互相垂直或平分.由于p是真命题,且q也是真命题,所以p∧q是真命题, p∨q也是真命题.(3)p∧q:35是15的倍数且35是7的倍数. 也可简写成:35是15的倍数且是7的倍数. p∨q: 35是15的倍数或35是7的倍数. 也可简写成:35是15的倍数或是7的倍数.由于p是假命题, q是真命题,所以p∧q是假命题, p∨q是真命题.说明,在用"且"或"或"联结新命题时,如果简写,应注意保持命题的意思不变.例2:选择适当的逻辑联结词“且”或“或”改写下列命题,并判断它们的真假。

相关文档
最新文档