⑨充满智慧与力量⑨

离散数学

未归档(3) 题解(16)

/ 注册

全部文章 / 离散数学（共4篇）

九、十章笔记

第九章二元运算及其性质定义：设为集合，函数称为上的二元运算定义：设为集合，函数称为上的一元运算如何验证一个二元运算中任意的元素都能运算中任意两个元素运算的结果是唯一的中任意两个元素运算的结果仍是属于的二元和一元运算的表示解析式法和运算表一些性质定义9.3设为上的二元...

2020-10-24

0 602

第三章命题逻辑的推理理论

推理的形式结构定义：设都是命题公式，对其中出现的所有命题变项的任意一组赋值使得为重言式时，则说前提推出B 的推理是有效的或者正确的，并称B为有效的结论九条推理定律附加律化简律假言推理拒取式析取三段论假言三段论等价三段论构造性二难 ...

2020-10-24

0 1028

第二章命题逻辑等值演算

本章分为三节：等值式，析取范式与合取范式，联结词的完备集。等值式设 A, B是两个命题公式，若 A, B构成的等价式为重言式，则称A与B是等值的，记作 16组重要等值式模式双重否定律幂等律 &nb...

2020-09-21

0 1358

第一章命题逻辑的基本概念

本章主要分为两节：命题与联结词，命题公式及其赋值。命题与联结词命题与真值命题是陈述句，非真即假。作为命题的陈述句所表达的判断结果称作为命题的真值。真值只取两个值： True (1) 或 False (0) 其中真值为真的命题称为真命题 &nbs...

2020-09-14

1 973