第二章 命题逻辑 1.→，前键为真，后键为假才为假；<—>，相同为真，不同为假； 2.主析取范式：极小项(m)之和；主合取范式：极大项(M)之积； 3.求极小项时，命题变元的肯定为1，否定为0，求极大项时相反； 4.求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时 ...

一、格 假设(L, ≤)为偏序集，如果对于任意 a, b∈L ，{a, b} 都存在上确界和下确界，则称 (L, ≤) 为一个格（lattice） 显然上确界和下确界有唯一性 上确界LUB({a ...

一、图的基本概念 无向图可以用二元组G=<V , E>表示，其中E是无序积V&V的有穷多重子集。 无向图中，所有顶点度数之和∑deg(v)=2|E|，即奇数度的顶点数必是偶数。 ...

一、谓词与谓词公式 谓词：表示个体词性质或相互之间关系的词 量词：用来表示个体数量的词是 谓词的量化：给谓词加上量词 一元目谓词P(x)、n元目谓词P(x, y, z, ...)它们是命题形式而非命题 因为既没有指定谓词符号P的含义，而且个体词x、y等也是个体变项而不代表某个具体的事物 ...

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

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

离散数学知识点概述 目录 1. 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 范式 1.5 联结词全功能集 1.6 组合电路 1.7 推理理论 持续 ...

数理逻辑是研究推理的数学学科，它首先完成是对现象的一种符号化处理，基于符号化处理，它在将着重于推理过程以及推理的结果。 命题： 称所表达的判断式真或假但不能可真可假的陈述句为命题。 命题的符号化： 一般使用小写字母p、q、r、s来表示简单的陈述句命题 ...