相关文档

《离散数学》课程PPT教学课件讲稿(数理逻辑)第二章 命题逻辑的等值和推理演算

2.1 等值定理 2.2 等值公式 2.2.3 置换规则 2.2.4 等值演算举例 2.4 联结词的完备集 2.4.1 命题联结词的个数 2.4.2 联结词的完备集 2.5 对偶式 2.6 范式
团购合买资源类别:文库,文档格式:PPT,文档页数:74,文件大小:173KB
点击进入文档下载页(PPT格式)
点击下载(PPT格式)