耶耶猫猫的博客

目录一、函数的概念1、函数的定义2、函数相等3、函数的集合4、函数的分类1. 满射2. 单射3. 双射二、逆函数和复合函数1、逆函数2、复合函数3、特殊函数1. 常函数2. 恒等函数一、函数的概念1、函数的定义2、函数相等3、函数的集合4、函数的分类1. 满射2. 单射3. 双射二、逆函数和复合函数1、逆函数2、复合函数3、特殊函数1. 常函数2. 恒等函数...

目录一、集合的概念与表示1、集合的概念2、集合元素的性质3、集合的描述方法1. 列举法3. 叙述法3. 文氏图4、集合的关系5、特殊的集合1. 空集2. 全集3. 幂集二、集合的运算1、集合的交2、交运算的性质3、集合的并运算4、并运算的性质5、相关定理6、集合的补集7、对称差8、集合关系的相关证明方法9、**集合恒等式**三、序偶与笛卡尔积1、序偶2、笛卡尔积1. 定义2. 性质四、关系及其表示1、关系2、定义域、值域3、X到Y的关系4、X上的恒等关系5、关系的表示（1）集合表示法（2）关系矩阵（3）关系

目录前言：命题逻辑的局限性一、谓词的概念与表示1、谓词的概念2、谓词的表示3、命题的表示方法二、命题函数与量词1、命题函数2、个体域3、量词1.全称量词2.存在量词3.特性谓词三、谓词公式与翻译四、变元的约束五、谓词演算的等价与蕴含式六、谓词演算的推理理论前言：命题逻辑的局限性一、谓词的概念与表示1、谓词的概念在命题逻辑中，命题是能够判断真假的陈述句，从语法上分析，一个陈述句由主语和谓语两部分组成。◆ 主语是谓语陈述的对象（称为客体或个体），指出谓语说的是“谁”或者“什么”；◆ 谓语是用

目录一、命题及其表示方法1、命题的定义2、命题的3要素3、命题的真值4、命题标识符5、命题常元、命题变元6、原子命题、复合命题二、联结词1、否定词 “¬”2、合取“∧”3、析取“∨”4、条件 “→”5、双条件 “ ”5、小技巧三、命题公式与翻译1、命题公式2、翻译（符号化）四、真值表与等价公式1、真值表2、等价公式3、基本等价式五、重言式与蕴含式1、重言式和矛盾式2、蕴含式定义3、基本蕴含式4、蕴含的几个常用的性质六、其他联结词一、命题及其表示方法1、命题的定义具有具体意义的又能判断真假的陈述句，称