第三章 命题逻辑
- 格式:ppt
- 大小:941.50 KB
- 文档页数:79
第三章命题逻辑1、判断下列语句是否是命题,如果是命题,指出其真值:(1)2是无理数;(2) 存在最大质数;(1)中国是一个人口众多的国家;(2)这座楼真高啊!(3)你喜欢“蓝色的多瑙河”吗?(4)请你关上门。
(5)地球以外的星球上也有人。
解(1)是命题,真值为1。
(1)是命题,真值为0。
(2)是命题,真值为1。
(3)、(5)、(6)均不是命题。
(6)是命题,真值是惟一的,迟早会被指出。
说明要判断一个语句是否是命题,首先要判断它是否是陈述句,然后再判断它的真值是否是惟一的。
本题中,(4)、(5)、(6)均不是陈述句,无法分辨其真假,故都不是命题。
陈述句不一定是命题,这里的关键是:客观上有无真假可言,而不以主观能否判断为标准。
2、将下列命题符号化,并确定其真值:(1)5不是偶数;(2)天气炎热但湿度较低;(3)2+3=5或者他游泳;(4)如果a和b是偶数,则a+b是偶数;(5)2+2=4,当且仅当3是奇数。
解(1)设P:5是偶数。
则(1)是:P⌝,真值为1。
(2)设P:天气炎热。
Q:湿度较低。
则(2)是:P∧Q。
显然,只有在既炎热又湿度较低的情况下,P∧Q的真值为1,否则,其真值皆为0。
(3)设P:2+3=5。
Q:他游泳。
则(3)是:P∨Q,真值为1。
(4)设P:a和b是偶数。
Q:a+b是偶数。
则(4)是P→Q,真值为1。
(5)设P:2+2=4。
Q:3是奇数。
则(5)是:P↔Q,真值为1。
3、设命题P,Q的真值为1,命题R,S的真值为0,试确定下面命题的真值:(1)G=(P∧Q∧R)∨⌝((P∨Q)∧(R∨S);(2)G=(﹁(P∧Q)∨⌝R)∨(((﹁P∧Q)∨﹁R)∧S);(3)G=(⌝(P∧Q)∨⌝R)∧((Q↔⌝P)→(R∨S⌝));(4)G=(P∨(Q→(R∧⌝P)))↔(Q∨⌝S)。
解(1)故(1)的真值为1。
故(2)的真值为1。
故(4)的真值为1。
4、在什么情况下,下面的命题是真的:“说戏院是寒冷的或者是人们常去的地方是不对的,并且说别墅是温暖的或者戏院是讨厌的也是假的。
命题逻辑原理
命题逻辑是一种数学模型,用于对逻辑表达式的真假进行推理。
其基本原理包括使用逻辑运算符(如AND、OR和非NOT)来构建代表“命题”的公式,并允许某些公式构成“定理”,有一套形式“证明规则”。
在命题逻辑中,原子命题是最基本的单位,它们不能进一步被分解为更简单的命题。
原子命题通过逻辑运算符可以组合成更复杂的命题。
基本的逻辑运算符包括“与”AND、“或”OR和非NOT。
在命题逻辑中,一个重要的概念是“有效性”。
一个逻辑公式被称为有效的,当且仅当它对于所有的解释都为真。
在逻辑学中,有效性是通过演绎推理来确定的。
此外,命题逻辑的适用范围也相当广泛。
它被用于计算机科学中的许多领域,如电路设计、编程语言和系统设计(如Prolog语言)。
在更近的时代里,
命题逻辑也用于人工智能和机器学习等领域。
以上内容仅供参考,如需更全面准确的信息,可查阅命题逻辑相关的教材或论文。
第三章命题逻辑重点:掌握数理逻辑中命题的翻译及命题公式的定义;利用真值表技术和公式转换方式求公式的主析取范式和主合取范式;利用规则、基本等价和蕴涵公式、三种不同的推理方法完成命题逻辑推理;难点:如何正确地掌握对语言的翻译,如何利用推理方法正确的完成命题推理。
数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科,它与数学的其他分支、计算机学科、人工智能、语言学等学科均有十分密切的联系,并且益显示出它的重要作用和更加广泛的应用前景。
要很好地使用计算机,就必须学习逻辑。
数理逻辑分五大部分。
在离散数学中仅介绍命题逻辑和谓词逻辑。
命题逻辑是谓词逻辑的基础,只有掌握了命题逻辑,才能学好谓词逻辑。
对于命题逻辑,下面从六个知识点来加以阐述。
3.1 命题符号化及联系结词1 命题有确切真值的陈述句称为命题。
所谓确切真值是指在具体的环境,具体的时间,具体的对象,具体的位置等情况下能唯一确定真值的。
命题分为两种:(1) 简单命题:不能分解为更为简单的句子的命题。
(2)复合命题:能够分解为更为简单的命题。
2 命题联结词关于联结词,有如下几点要注意:(1)此联结词是联结的句子与句子之间的联结,而非单纯的名记号、形容词、数词等的联结;(2)此联结词是两个句子真值之间的联结词,而非句子的具体含义的联结,两句子之间可以无任何的内在联系;(3)联结词与自然语言之间的对应并非一一对应,如合取联结词“∧”对应了自然语言中的“既……又……”、“不仅……而且……”、“虽然……但是……”、“并且”、“和”、“与”等。
如蕴涵联结词“→”,P →Q 对应了自然语言中的“加P 则Q ”,“只要P 就Q ”,“P 仅当Q ”,“只有Q 才P ”,“除非Q 否则乛P ”等。
如等价联结词“←→ ”对应了自然语言中的“等价”、“并且仅当”、“充分必 ”等。
如析取联结词∨是对应相容的或(中兼的或)。
3.2 命题公式及分类一般称具有确切真值的简单命题叫命题常量,用P ,Q ,R ,…等表示。