- 博客(17)
- 收藏
- 关注
RSS订阅
1原创 离散数学——基础推理
概览 推理的定义 推理的定义 推理的规则 推理方法↓ （ 直接证明法规则cp证明法 间接证明法）推理的定义：推理的有效性≠正确性推理的有效性＝命题的前提为真证明推理的判定定理，即证明公式为永真公式判定方法有：真值表技术 公式转化法 主析取范式法例：推理定律——基本蕴含关系推理规则使用已知条件时很自由 想先用那个用哪个要找准切入点演绎的基本形式P是已知条件I基本蕴含关系...
2022-08-28 23:45:37
5574
原创 离散数学——范式（2）主范式
概览 极大项和极小项 主范式定义 求解定理 真值表技术 主范式应用 极大项和极小项1.主范式的引用因为范式的不唯一性，我们对构成范式的子句和短语进一步规划，形成主析取范式和主合取范式。2.极大项和极小项的定义每个命题变元及其否定不同时出现，至多出现出现一次若有n个命题变元，则应有2的n次方个不同的极小项和2的n次方个不同的极大项3.极小项的性质没有两个不同的极小项是等价的，每个极小项只有一组解释使其为真，极小
2022-08-25 00:41:29
13844
原创 离散数学——范式（一）定义与求解
概览 范式的定义 范式的求解 范式的定义1.引入范式对于真值表，n个命题变元，真值表要列出2的n次方个解释。当n的数值过大时，真值表就不再简便，因此引入范式。范式的定义自下而上， 正如语文中字组成词，词组成句。命题变元或命题变元的否定称为文字有限个文字的析取称为简单析取式（子句），要注意有限个包括一个，因此单独的文字也可以称为简单析取式（子句）。同理，单独的一个文字也可以称为简单合取式（短语）。2，范式的命名有限个包括一个，因此一个短语也可以称
2022-08-24 01:22:48
4199
原创 离散数学第二章
概览 命题的定义 命题联结词 命题符号化及其应用 命题公式及真值表 命题公式的分类和等价 基本等式关系及应用 什么是命题注：一切没有判断内容的都不是命题（4，如果是十进制，则命题真值为F。如果是二进制，则命题真值为T命题联结词特别注意新概念蕴涵和等价判断复合命题真值的方法1，判断所有简单命题的真值2，判断连接词3判断复合命题的真值命题符号化及其应用（1）先
2022-08-20 18:14:03
1769
原创 离散数学第一章
概览集合的运算 集合的运算定律 自然数集 等势 可数数集 不可数数集集合的运算（交并补为高中知识，不再记录，补充两个新概念，差集和对称差集对称差集差集集合的运算定律基本等式在此要格外注意吸收率，理解为括号外和括号内有一相同元素，括号内的另一个元素被吸收，且需要注意括号内外一交一并德摩根律注意交并符号的变化集合相等的证明自然数集的定义等势可数集合（1）容易得出两者是一一对应关系（2）第一个素数对应第一个自然数，第二
2022-08-20 15:03:33
1383
原创 【无标题】
1，爱是在路上看到可爱的小狗都要忍不住拍下来给你分享，是看到好看的云朵会想你那边也能看到吗，是吹晚风的时候希望身边是你不管是现在还是以后2为了爱我的人我爱的人，为了我的福气在后头呢3拥抱，永远喜欢拥抱4月亮🌙，因为我爱我自己5是蓝色？因为是自由的颜色6五彩缤纷！7答案，讨厌没有答案的感觉8想成为小孩子们想成为的大人，成为我喜欢的人喜欢的人9爱和被爱要同时进行！10明天见？11这辈子不想回到那一年12💰13重要14我看上去真年轻15想弥补今年夏天的
2022-08-19 23:37:55
111
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人