内容摘录自北京大学的离散数学概论（慕课） pdf文档下载链接 提取码：mm27 ...

命题逻辑 命题与公式 1.命题 一句有真假意义的话（陈述句），记作P。不能是悖论、祈使句、疑问句、感叹句 命题的否定：记以 \(\lnot\)P 2.析取 P\(\lor\)Q 读作“P或Q” 真值规定：P\(\lor\)Q是真的当且仅当P，Q中至少有一个是真的。注意可兼或。 3.合取 P ...

1.数理逻辑 1.1命题逻辑 1.1.1命题定义和逻辑联结词   命题指的是具有真假意义（要么为真，要么为假）的一句话，它常以陈述句形式出现，而疑问句，感叹句，祈使句等都不是命题。 你多大了？(疑问句，不是命题) 出来！(祈使句，不是命题) 今天真好！(感叹句，不是命题 ...

1.2.1基本概念 指派：n个命题变元的公式，真值有2^n种不同组合，每种组合叫一种指派，共2^n种，即真值表2^n行。 命题公式得到一确定的值，命题公式成为具有真假值的命题。 重言式/永真式： ...

目录 前言 命题逻辑 持续更新ing 前言 自己整理的关于离散数学的思维导图，可能不全面、有欠缺。 命题逻辑 持续更新ing ...

...

图 图的基本概念 简单图：不允许有平行边和反身边。 无向图：允许有平行边和反身边。 有限图：有限点构成的图一定是有限图，但是有限边构成的图不一定是有限图（可能有无数个孤立点） 零图：只有点，没有边。 完全图：任意两点之间都有边。边的数量是\(\mathrm{C}_{\mathrm{m ...

这里是离散数学第一篇学习笔记 qwq，也是我尝试使用 Markdown 记课上笔记的开始，离散数学是一门研究离散量的科学，是数据结构、算法设计的基础，这里不仅有有趣的逻辑与集合，还会有“超级好玩”的群论和图论等待你去探索。就让我们一起畅游这“魔法”的世界吧！ 由于离散数学的知识较多，这里是 ...