(完整版)3.命题逻辑3.1命题的有关概念1.命题2.原子命题(简单命题)3.docVIP

教学内容教学设计长春工业大学离散数学课程讲稿

教学内容教学设计

PAGE

PAGE25

3．命题逻辑

3.1命题的有关概念

1．命题

命题的有关概念和逻辑联结词命题逻辑推理

命题的有关概念和逻辑联结词

命题逻辑推理

命题公式等值

命题公式范式

析取范式

合取范式

工具

真值表

主析取范式

主合取范式

3．复合命题

4．逻辑常量

5．逻辑变量

3.2逻辑联结词

1．否定联结词

2．合取联结词

3．析取联结词

4．蕴涵联结词

5．等价联结词

6．异或联结词

7．与非联结词

8．或非联结词

9．条件否定联结词

3.3命题公式及其真值表

1．命题公式的定义

2．命题的符号化

3．命题公式的真值表

4．命题公式的类型

3.4逻辑等值的命题公式

1．逻辑等值的定义

2．基本等值式

3．等值演算法

4．对偶原理

3.5命题公式的范式

1．命题公式的析取范及合取范式

2．命题公式的主析取范及主合取范式

3.6联结词集合的功能完备性（自学）

3.7命题逻辑中的推理

1．推理形式有效性的定义

2．基本推理规则

3．命题逻辑的自然推理系统

【提出问题1】

有一逻辑学家误入某部落，被拘于牢狱，酋长意欲放行，他对逻辑学家说：“今有两门，一为自由，一为死亡，你可任意开启一门。为协助你逃脱，今加派两名战士负责解答你所提的问题。惟可虑者，此两战士中一名天性诚实，一名说谎成性，今后生死由你自己选择。”逻辑学家沉思片刻，即向一战士发问，然后开门从容离去。该逻辑学家应如何发问？

逻辑学家手指一门问身旁的一名战士说：“这扇门是死亡门，他（指另一名战士）将回答‘是’，对吗？”

当被问战士回答“对”，则逻辑学家开启所指的门从容离去。当被问的战士回答“否”，则逻辑学家开启另一扇门从容离去。

P

Q

R

S

0

0

1

1

0

1

0

0

1

0

0

1

1

1

1

0

事实上，如果被问者是诚实战士，他回答“对”。则另一名战士是说谎战士，他回答“是”，那么，这扇门不是死亡门。如果被问战士是诚实战士，他回答“否”。则另一名战士是说谎战士，他回答“不是”，那么，这扇门是死亡门。如果被问者是说谎战士，可以类似分析。

设P：被问战士是诚实人。

Q：被问战士的回答是“对”。

R：另一名战士的回答是“是”。

S：这扇门是死亡门。

【提出问题2】

一家航空公司，为了保证安全，用计算机复核飞行计划。每台计算机能给出飞行计划正确或者有误的回答。由于计算机也有可能发生故障，因此采用三台计算机同时复核。由所给答案，根据“少数服从多数”的原则作出判断。试将结果用公式表示，并加以简化，画出电路图。

设C1，C2，C3分别表示三台计算机的答案，S表示判断结果，根据题意其的真值表如下。

S=（?C1∧C2∧C3）∨（C1∧?C2∧C3）∨（C1∧C2∧?C3）∨（C1∧C2∧C3）

=（C2∧C3）∨（C1∧C3）∨（C1∧C2）

·

·

·

·

S

C3

C2

C1

C1

C2

C3

S

0

0

0

0

0

0

1

0

0

1

0

0

0

1

1

1

1

0

0

0

1

0

1

1

1

1

0

1

1

1

1

1

逻辑学是研究思维形式及思维规律尤其是推理的学科,早在两千多年前就受到人们的重视,古希腊著名逻辑学家亚里士多德(Aristotle,公元前384~公元前322)是形式逻辑的创始人。

德国数学家、哲学家莱布尼茨(G.Leibniz,1647~1716)首先提出用数学方法研究逻辑,就是建立一套表意符号体系,在符号之间进行形式推理.莱布尼茨是数理逻辑的创始人.也正因为这样,数理逻辑又称为符号逻辑。

逻辑推理无处不在,从日常生活中的实际问题的解决到数学定理的证明以及程序正确性验证.

除了传统的数理逻辑(内容包括逻辑演算、公理化集合论、模型论、递归论和证明论)外,还出现了各种各样的应用逻辑,如多值逻辑、模态逻辑、归纳逻辑、时序逻辑、动态逻辑、模糊逻辑、非单调逻辑、缺省逻辑、算法逻辑及程序逻辑等,这些都与计算机科学密切相关.

命题逻辑与谓词逻辑是数理逻辑的基础部分.

计算机的计算过程就是推理过程,而每一步推理离不开判断,判断的对象就是命题.

我现在年纪大了，搞了这么多年的软件，错误不知犯了多少，现在觉悟了，我想，假如，我早年在数理逻辑上好好下点工夫的话，我就不会犯这么多的错误，不少东西逻辑学家早就说过了，可是我不知道，要是我年轻20岁的话，就回去学逻辑学。

我现在年纪大了，搞了这么多年的软件，错误不知犯了多少，现在觉悟了，我想，假如，我早年在数理逻辑上好好下点工夫的话，我就不会犯这么多的错误，不少东西逻辑学家早就说过了，可是我不知道，要是我年轻20岁的话，就