命题逻辑28个公式

【课题】1．1命题逻辑

【教学目标】

知识目标：

（1）理解命题的概念．知道真命题与假命题的意义； （2）了解简单命题和复合命题的概念；

（3）掌握“且”、“或”、“非”、“如果?，那么?”、“当且仅当”等联结词． 能力目标：

通过简单命题和复合命题的学习，提高学生的数学思维能力.

【教学重点】

命题的真假．

【教学难点】

复合命题的真假．

【教学设计】

（1）通过日常生活、生产中的实例导入命题的概念； （2）引导学生认识命题、真命题和假命题的概念；

（3）通过概括、归纳的方法，让学生理解并掌握逻辑。联结词“且”、“或”、“非”的使用；

（4）通过分析例题，学会应用逻辑连接词的真值表判断命题的真假； （4）通过练习，巩固知识． （5）教学过程符合学生思维特点．

【教学备品】

教学课件．

【课时安排】

2课时．(90分钟)

【教学过程】

教 学 过 程 *第一章引言 我们经常说到一个词叫做“逻辑”,它指的是思维的规律.人们常说“说话要有条有理”,有条有理就是思路清晰,思路清晰就是思维逻辑合理.通常我们说的每一句话都需要合乎逻教师 学生 教学 时行为 行为 意图 间 介绍 说明 倾听 了解 引入教学内容 5

1. 设命题p1，p2的真值为1，p3，p4真值为0，求命题

(p1?(p2?(p3??p1)))?(p2??p4)的真值。

2. 给定3个命题：p：北京比天津人口多；q：2大于1；r：15是素数。 求复合命题：

(q?r)?(p??r)的真值。

3. 用等值演算法和真值表法判断公式A?((p?q)?(q?p))?(p?q)的类型。 4. 下列问题，若成立请证明，若不成立请举出反例：

已知p?r?q?r，问p?q成立吗？ 已知?p??q，问p?q成立吗？

5. 如果厂方拒绝增加工资，那么罢工就不会停止，除非罢工超过一年并且工厂撤换了厂长。

问：若厂方拒绝增加工资，罢工刚开始，罢工是否能够停止。

6. 或者逻辑难学，或者有少数学生不喜欢它；如果数学容易学，那么逻辑并不难学。因此，如

果许多学生喜欢逻辑，那么数学难学。

7. 用反证法证明(p?q),(p?r),(q?s)?s?r。

8. 用CP规则证明p?(q?r),r?(q?s)?p?(q?s)。 9. 用CP规则证明：(s?q)?r,?r?p10. p?q?r?s,s?t?u?p?u

,?p?s??q

离散数学讲义

参考书

离散数学，左孝凌、李为鉴、刘永才编著， 上海科学技术文献出版社离散数学，陈莉、刘晓霞编著，高等教育 出版社 Discrete Mathematical Structures, Kolman, Busby and Ross

2013-5-26

第一篇 数理逻辑

第一章 命题逻辑 第二章 谓词逻辑

2013-5-26

第一章 命题逻辑1-1 命题及其表示法定义 1-1.1 命题(Proposition): 可以辨别真假的语句称为命题。 定义 1-1.2 真值： 命题总是具有一个“值”,称为真值。 真值只有“真”、“假”两种，记作 True(真)和False(假),分别用符号T和F 表示。2013-5-26 4

1-1 命题及其表示法例1: (1) 不在同一直线上的三点确定一个平面。 (T) (2) 煤是白的。 (F) (3) 我学英语，或者我学日语。 (4) 如果天气好，那么我去散步。 以上是命题，其中(3)、 (4) 是复合命题。

2013-5-26

1-1 命题及其表示法例2:别的星球上有生物。到目前为止，人们还不能判断别的星球 上是否有生物，但也许将来的人可以判断， 并且只能是别的星球上有生物或没有两种 情况之一。因此是命题。

2013-

1.1 命题符号化及联结词

[教学重点] 命题的概念和六个联结词的定义

[教学目的]1：使学生了解逻辑的框架，命题逻辑的基本要素是命题。 2：通过示例理解命题的概念。

3：通过示例理解合取、析取、异或、蕴涵、等价的含义，了解逻辑语言的精确性，为学习逻辑学打好基础。 4：学会命题符号化的方法。 [教学准备]

[教学方法]讲述法 [课时安排]二课时。 [教学过程] 讲述：

逻辑是解决推理方法的学科，中心是推理，基本要素是命题，称为命题逻辑。 数理逻辑则是用数学方法研究推理； 首先要理解命题是什么，然后了解怎样用数学方法描述命题，甚至逻辑推理。后者是命题符号化的问题。 板书：

第一章 命题基本概念 1.1 命题及其符号化 讲述： 首先讨论命题。 板书： 一 命题

A) 概念：

能判断真假的陈述句。 判断要点：

a 陈述句；b 或真或假，唯一真值； 讲述： 例：

(1) 地球是圆的； 真的陈述句，是命题 (2) 2+3=5； 真的陈述句，是命题 (3) 你知道命题逻辑吗？ 非陈述句，故非命题 (4) 3-x=5； 陈述句,但真假随x的变化而变

离散数学及其算法-曹晓东,可在华章网站免费下载

离散数学及算法

离散数学及其算法-曹晓东,可在华章网站免费下载

课程名称：离散数学及算法 课 时： 学 分： 主讲教师： 联系方式：

离散数学及其算法-曹晓东,可在华章网站免费下载

教材及参考书 教材:– 离散数学与算法. 曹晓东，原旭等编著 .机 械工业出版社. 2007.

参考书:– 离散数学及应用.(英文版.第4版)(美) KennethH.Rosen著 – 离散数学.陈莉编著.高等教育出版社,2000.

离散数学及其算法-曹晓东,可在华章网站免费下载

学习方式 听课 (启发式、讨论式) 读书 (预习、复习) 报告 (综合练习)

离散数学及其算法-曹晓东,可在华章网站免费下载

考试成绩 平时成绩 (书面作业、综合练习、大作业30%) 期末考试(70%)

离散数学及其算法-曹晓东,可在华章网站免费下载

内容安排 数理逻辑– 包括命题逻辑和谓词逻辑(教材第一、二章)

集合论– 包括集合、关系和函数(教材第三、四、五 章)

代数系统– 包括代数系统的基本概念，几类典型的代数 系统(第六章)

图论– 包括图的基本概念，几种特殊的图(第七章)

离散数学及其算法-曹晓东,可在华章网站免费

在n值Lukasiewicz命题逻辑系统中引入了公式集F(S)上真度函数的公理化定义,给出了真度函数的若干重要性质,利用真度函数从形式上定义了相似度和伪距离,建立了逻辑度量空间,为从语构的角度展开近似推理提供了一种可能的框架。

C m ue E gn ei n p l ain计算机工程与应用 o p tr n ier ga dA pi t s n c o

2 1,6 3 ) 0 04 ( 6

3 7

命题逻辑系统中公式集上的真度函数马丽娜刘烁王国俊，, MA L-a, I S u WA u - n i‘LU h o, NG G o u n j1 .陕西师范大学数学与信息科学学院，西安 7 0 6 10 22第四军医大学生物医学工程系，安 7 3 .西 02 1 01Cole of M ahe ai s n I o m a i Sce e, ha n Nor a Uni r i Xi a 71 62, i a . lge t m tc a d nf r ton inc S a xi m l ve st y,’ n 00 Ch n 2. c t of B i e c Eng n e i g, e Fa ul y om dial i e r

第一部分

数理逻辑

2013年8月22日星期四

有一逻辑学家误入某部落，被拘于牢

狱，酋长欲放行，他对逻辑学家说： 逻辑学家手指一门问身旁一名战士说： 这扇门是死 今有两门，一为自由，一为死亡， 你可任意开启一门。为协助你脱逃， 今加派两名战士负责解答你所提的任 何问题。惟可虑者，此两战士中一名 天性诚实，一名说谎成性，今后生死 由你自己选择。 逻辑学家沉思片刻，

亡门，他(指另一名战士)将回答‘是’,对吗？

即向一战士发问，然后开门从容离去。

2013年8月22日星期四

P:被问战士是诚实人。 Q:被问战士的回答是 是 R:另一战士回答的是 是 S:这扇门是死亡门。

P T T F

Q T F F

R T F T

S F T F T

F T F 当被问人回答 是 时，此门是生门

当被问人回答 否 时，此门是死门

S (P∧ Q) ∨( P∧ Q)

(P∨ P) ∧ Q Q (S的真值总与Q的真值相反)

逻辑科学，它分为：

2013年8月22日星期四

逻辑，是研究思维形式及思维规律的科学,也把它称为研究推理的 概念是思维的基本单位 由一个或几个判断推出 通过概念对事物是否具有

辨证逻辑——是研究人的思维中的辩证法。

另一判断的思维形式， 某种属性进行肯定或否定

数理逻辑部分

第1章 命题逻辑 1.1 命题符号化及联结词 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题

注意: 感叹句、祈使句、疑问句都不是命题，陈述句中的悖论以及判断结果不惟一确定的也不是命题。

简单命题(原子命题)：简单陈述句构成的命题

复合命题：由简单命题与联结词按一定规则复合而成的命题 简单命题符号化

用小写英文字母 p, q, r, … ,pi,qi,ri (i≥1）表示 简单命题

用“1”表示真，用“0”表示假

例如，令 p： 是有理数，则 p 的真值为 0

q：2 + 5 = 7，则 q 的真值为 1

联结词与复合命题 1.否定式与否定联结词“?”

定义 设p为命题，复合命题 “非p”（或 “p的否定”）称

为p的否定式，记作?p. 符号?称作否定联结词，并规定?p 为真当且仅当p为假.

2.合取式与合取联结词“∧”

定义 设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q的合取式，记作p∧q. ∧称作合取联结词，并规定 p∧q为真当且仅当p与q同时为真

注意：描述合取

离散逻辑学实验

班级：10电信实验班 学号：Q10600132 姓名：王彬彬 一、实验目的

熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。

二、实验内容

1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A）

2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C））

三、实验环境

C或C＋＋语言编程环境实现。

四、实验原理和实现过程（算法描述）

1.实验原理

（1）合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∧Q, 读作P、Q的合取, 也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = T时方可P∧Q =T, 而P、Q只要有一为F则P∧Q = F。这样看来，P∧Q可用来表示日常用语P与Q, 或P并且Q。

（2）析取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∨Q, 读作P、Q的析取, 也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = F, Q = F时方可P∨Q =F, 而P、Q只要有一为T则P∨Q = T。这样看来，P∨Q可用

直言三段论\\ 概念间关系 欧拉图解

逻辑判断-概念间关系

近年来国家和地方公务员考试考查概念知识点的题目主要关注概念间的关系。这类问题只有分为以下两类型：不考虑概念间的数字问题和考虑概念间的数字问题。题目特点是题干中常出现“所有”“有些”“某个”“没有一个”等叙述方式，并就各概念间的关系提出问题。对于这类题目，不是直接推理，就是画出欧拉图，判断各概念间关系，就能轻松搞定。

核心点拨

1、题型简介

公务员考试中对于概念间关系的考查，一般为题干给出几个命题，让考生根据这几个命题来判断选项命题的真假，从而得出答案。

这类题目考查的实质就是根据题干判断出各个概念之间的关系，然后根据概念间的关系来判断选项命题的真假。如果题干涉及的概念比较单一，没有超过三个概念，就可以直接进行推理；若是题干涉及的概念多于三个，则可以用欧拉图辅助解题。 2、 核心知识 概念外延间的关系 全同 概念 实例 欧拉图 全同关系又名同一关系，“珠穆朗玛峰”和“世 指两个概念的外延范围界上最高的山峰”，二者全部相同，即：所有S都指的是同一事物，故为同是P，所有P都是S。 一关系。 真包含 真包含关系指一个概念“学生”和“大学生”， 的外延包围着另一个概前者外延除包括后者外，