离散数学及其应用-课件全套 马立和 第1--11章 命题逻辑--- 几类典型图.ppt

离散数学及其应用-课件全套 马立和 第1--11章 命题逻辑--- 几类典型图.ppt

第一章命题逻辑

1.1命题和联结词

1.2命题公式及分类

1.3等值演算

1.4联结词全功能集

1.5对偶对范式

1.6推理理论

。

1.1.1命题

命题

任何基于命题分析的逻辑称为命题逻辑。

定义1.1.1命题:能唯一判断真假的陈述句

真,用T(或1)表示

命题的值

假,用F(或0)表示

1.1.1命题

下列语句是命题?

【例1.1.1】判断下列句子哪些是命题:

(1)2是偶数。

(2)3能被2整除。

(3)《几何原本》的作

文档评论(0)

1亿VIP精品文档

相关文档