置换规则、换名规则、代替规则 1. 置换规则 设(A)是含A的公式, 那么, 若AB, 则(A)(B). 2. 换名规则 设A为一公式，将A中某量词辖域中个体变项的所有约束 出现及相应的指导变元换成该量词辖域中未曾出现过的个 体变项符号，其余部分不变，设所得公式为A，则AA. 3. 代替规则 设A为一公式，将A中某个个体变项的所有自由出现用A中 未曾出现过的个体变项符号代替，其余部分不变，设所得 公式为A，则AA.

离散数学的解题全方面~~~~~ 有助于你的参考与学习

工控离散点拐点查找快速查找，准确度高，计算方便，使用简单

1.3.3　离散系统的数字PID控制仿真 仿真实例 设被控制对象为： 　采样时间为1ms,采用Z变换进行离散化，经过Z变换后的离散化对象为：

输入 x(n)： [1 2 2 1] 输入h（n）： [1 2 3 1] 第一序列x（n）为： 1 2 2 1 第二个序列 h(n) 是： 1 2 3 1 卷积序列 Y(n) 为： 11 9 10 12

大学离散数学，期末复习试题，包含答案解析，搞懂离散数学，拿题练习，13套练习，助你蓬荜生辉

中南大学离散数学期末试卷，每年题目都差不多，极具参考价值

南航离散数学课程设计.docx

重要公式定理汇总 大学一年级上学期 离散数学

matlab各种代码 信息路与编码理论 实验的程序