离散数学期末复习（谓词逻辑、集合、关系、函数、图、欧拉图与哈密顿图）前言谓词逻辑集合关系函数图欧拉图与哈密顿图
前言为了与课本那难以理解的表述区分，部分定义会用自己的话来解释，以课本为准。谓词逻辑命题符号化存在量词 与 合取 搭配全称量词 与 蕴含 搭配析取、合取范式只要看式子中连接每一项的连接词是∧还是∨，连接词是∧则式子为合取范式，为∨是析取范式。前束范式量词（全称、存在）都在前面。1、使用换名规则：2、分配律全称量词 对 合取 有分配律存在量词 对 析取 有分配律3、蕴含等值式（p->q）前件p，后件qp的量词做结合律要取反q的量词做结合律保持不变
