好文档 - 专业文书写作范文服务资料分享网站

(完整word版)离散数学知识汇总,推荐文档

天下 分享 时间: 加入收藏 我要投稿 点赞

离散数学笔记

第一章 命题逻辑

合取 析取

定义 1. 1.3 否定:当某个命题为真时,其否定为假,当某个命题为假时,其否定为真 定义 1. 1.4 条件联结词,表示“如果… …那么……”形式的语句 定义 1. 1.5 双条件联结词,表示“当且仅当”形式的语句

定义 1.2.1 合式公式

(1)单个命题变元、命题常元为合式公式,称为原子公式。 (2)若某个字符串 A 是合式公式,则?A、(A)也是合式公式。

(3)若 A、B 是合式公式,则 A ?B、A?B、A? B、A?B 是合式公式。 (4)有限次使用(2)~(3)形成的字符串均为合式公式。

1.3等值式

1.4析取范式与合取范式

i

将一个普通公式转换为范式的基本步骤

ii

iii

(完整word版)离散数学知识汇总,推荐文档

离散数学笔记第一章命题逻辑合取析取定义1.1.3否定:当某个命题为真时,其否定为假,当某个命题为假时,其否定为真定义1.1.4条件联结词,表示“如果……那么……”形式的语句定义1.1.5双条件联结词,表示“当且仅当”形式的语句定义1.2.1合式公式(1)单个命题变元、命题常元为合
推荐度:
点击下载文档文档为doc格式
0pug64smsc2b61z97l7x8uhsm07tfq016y3
领取福利

微信扫码领取福利

微信扫码分享