- 1、本文档共26页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
02-数理逻辑-离散数学讲义-海南大学(共十一讲)
2.数理逻辑 Mathematical Logic命题逻辑proposition logical
2.1.1命题和命题联结词
2.1.1.1命题statement: 可以判断真假的陈述.
(1) 地球是圆的。p
(2) 2+3=5. q
(3) 你说英语吗?
(4) 3-X=5.
(5) 吃两片阿斯匹林!
(6) 土星表面温度是华氏800度。r
(7) 明天会出太阳。s
可以用符号表示命题:
p,q,r,s,t 分别表示命题
(1)(2)(6)(7)。
2.1.2复合命题 compound statement:
用逻辑连接词可以将若干命题联接成复合命题。
(1) 地球是圆的并且2+3=5. p∧q
(2) 土星表面温度不是华氏800度。~r
(3) 因为地球是圆的,所以明天会出太阳。p→s
(4) 明天不会出太阳,除非2+3=5。即,明天不会出太阳或2+3=5。
~s∨q
(5)明天出太阳,只要2+3=5。
q→s
(6) 明天出太阳,仅当2+3=5。
s→q
2.1.1.3条件命题conditional statements
p→q implication
p 前提antecedent, hypothesis.
q 结论consequent, conclusion.
逆命题converse of the implication
q→p
逆否命题
contrapositive of the implication
~q→~p
p→q ( ~q→~p
2.1.命题变元propositional variable
可以代表任意以一个命题的变元符号
p,q,r,s,…
p1,p2,p3,…
2.1.逻辑连接词logical connectives
否定negation ~ ~p
合取 conjunction ∧ p∧q
析取 disjunction ∨ p∨q
蕴含 implication → p→q
等价equivalence, biconditional ( p(q
联结词的真值表truth table
p q ~p p∧q p∨q p→q p(q 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 1 1
2.1.2命题公式 propositional formulas
递归定义
(1)单个命题变元是命题公式。
(2)如果A, B是命题公式,则(~A),
(A∧B), (A∨B), (A→B), (A(B)
都是命题公式。
例 A=((p∧(~q)) →(((~p)∨q) ∧q)) 是命题公式.
可以省略最外层的括号:
A=(p∧(~q)) →(((~p)∨q) ∧q).
规定命题连接词的优先级:
~,∧,∨,→,(,左边高于右边。
命题A可以化简为:
A= p∧~q →(~p∨q) ∧q.
A可以记作A(p,q),p, q是A中变元.
2.1.2.2命题变元p1,p2,…,pn的赋值
σ(p1,p2,…,pn)
σ(p1,p2,……,pn)=(0,1,1,0,…,1)
也记作
p1σ=0, p2σ=1, p3σ=1, p3σ=0,……, pnσ=1,
一个赋值对应于命题变元的一种真假取值。n个变元共有2n种不同的赋值。
例. 令赋值σ(p1,p2,p3)=(0,1,0),
计算命题公式
A= p∧~q →(~p∨q) ∧q,
B= p→(q→r) 的赋值
Aσ= ((p∧~q →(~p∨q) ∧q)) σ
= 0∧~1 →(~0∨1) ∧0)=1
Bσ=pσ→(qσ→rσ)=0→(1→0)= 1
2.2.3命题公式的真值表
truth table of propositions
A的真值表
p Q ~p ~q p∧~q ~p∨q (~p∨q) ∧q p∧~q →(~p∨q) ∧q 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1
2
您可能关注的文档
- 010电客车双周检规程.doc
- (1-萘基-3-芳酰基硫脲的合成与荧光光谱性质)国家大学生创新训练计划项目申请书2014.doc
- 03章消费税法习题.doc
- 02生物化学习题与解析--核酸的结构与功能.doc
- 04方针目标管理程序.doc
- (修改版)九语上册导学助教案.doc
- 05年9月--06年9月全国计算机等级考试三级网络技术笔试试卷及答案.doc
- 09-10学年第1学期物理化学试卷A评分标准.doc
- 0924091-2供配电课程设计任务书--2013.doc
- 09常微分A答案与评分标准.doc
- 生物人教版八年级上册5.4.2细菌-同步练习B卷.doc
- 浙江省2020-2021年浙教版(一年级)小学数学上册同步试卷【word可编辑】.docx
- 浙江省2021年第一学期(一年级)小学数学上册同步试卷【A4可打印】.docx
- 浙江省2021学年一年级上半学年小学数学上册课后练习试卷【word可编辑】.docx
- 四年级下册数学期末教学总结.docx
- 浙江省2021-2022年度部编版(一年级)小学数学上册达标试卷(A4可编辑).docx
- 四川省雅安市四年级下学期语文期末教学质量测评试卷A卷.doc
- 云南省西双版纳傣族自治州二年级上学期语文第一次月考试卷B卷.doc
- 浙江省2020年一年级小学数学上册达标试卷.docx
- 浙江省2020学年一年级上半学年小学数学上册月考试卷.docx
最近下载
- 新设计ye2系列电机数据参数表2014-04-24.pdf
- JTG 5210-2018 公路技术状况评定标准(附条文).pdf
- SN_T 3741.1-2013国境口岸鼠类携带病原体检测方法 第1部分:致病性钩端螺旋体PCR检测方法.pdf
- 循环冷却水系统及水质控制指标介绍.pptx
- 武汉市英格中学新初一分班英语试卷.docx VIP
- 初中道德与法治学科作业设计与实施指导意见.docx
- 2023年11月18日成都市纪委监委遴选笔试真题及答案解析.doc VIP
- 人教部编版语文五年级上册第六单元复习课教案.docx
- 装配式公路钢桥使用手册.docx
- 2021 特等奖 南京邮电大学 谢娜 《电路分析基础》教学设计表.pdf
文档评论(0)