离散数学知识汇总

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

离散数学笔记
            第一章 命题逻辑
合取
析取
定义 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
1.6 推理
定义 1.6.1 设 A 与 C 是两个命题公式， 若 A → C 为永真式、 重言式，则称 C 是 A 的有
效结论，或称 A 可以逻辑推出 C，记为 A => C。 （用等值演算或真值表）


               ...

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：离散数学 数学知识 公式转换 字符串 III

相关内容：离散数学知识汇总