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

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

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

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

什么叫“离散”？离散，就是和连续相反的。随便拿一堆东西，如大到宇宙，小到粒子团，若其整体中的元素是独立的，分开的，则叫“离散”。计算机是不能处理连续信息的，这是由计算机的本质：0和1，决定的。正因为这样，如果要借助计算机来处理连续的东西，其中有一个必须的步骤：离散化。 “离散数学”是什么？它是 ...

这里是离散数学图论的学习笔记，然而由于学校的关系跳过了集合论、序偶、二元关系等一些可能运用到的基础知识，所以可能数学符号和表述方面会有一些问题 qaq \[\newcommand{\lvert}{\left\vert} \newcommand{\rvert}{\right\vert ...

一阶谓词逻辑表示法 命题 一个非真即假的陈述句 谓词 一般形式：P(X1, X2, ..., Xn) P是谓词名，X是个体 个体可分为： 个体是常量： 个体是变元： 个体是函数：（个体到另一个体的映射） 个体是谓词： 谓词公式 连接词 合取 ...

若p为假，则q可取真或假，p->q为永真 若p为真，q为假，则p->q为假 若p为真，q为真，则p->q为真 p q p->q ...