Question

离散数学中等值与等价的区别是什么

Answer 1

解：设A、B为两个命题公式，若A、B构成的等价式A<->B是重言式（恒为真），那么就称A与B是等值的，记作A<=>B。所以说当一个等价式是重言式的时候，称其前件与后件是等值的。

例如：判断┐（p∨q）与┐p∧┐q是否等值，即判断┐（p∨q）<->┐p∧┐q是否是重言式，通过真值表可发现┐（p∨q）<->┐p∧┐q的逻辑值恒为1，所以┐（p∨q）<->┐p∧┐q是重言式，即┐（p∨q）与┐p∧┐q等值。

学科内容

1．集合论部分：集合及其运算、二元关系与函数、自然数及自然数集、集合的基数。

2．图论部分：图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用。

3．代数结构部分：代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数。

4．组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理。

Answer 2

解：设A、B为两个命题公式，若A、B构成的等价式A<->B是重言式（恒为真），那么就称A与B是等值的，记作A<=>B。所以说当一个等价式是重言式的时候，称其前件与后件是等值的。
例如：判断┐（p∨q）与┐p∧┐q是否等值
即判断┐（p∨q）<->┐p∧┐q是否是重言式，通过真值表可发现┐（p∨q）<->┐p∧┐q的逻辑值恒为1，所以┐（p∨q）<->┐p∧┐q是重言式，即┐（p∨q）与┐p∧┐q等值