在离散数学中，如何区别等值和等价

1、A等价B，可以如下图一样书写，用一个双箭头。

2、但是我们要注意，等价左右两边是命题，而不是公式。

3、既然是命题，那么就一定存在真或假【不考虑悖论】。

4、由此可知，等价符号是两个式子，也就可以参与运算。

5、此时，我们再来看看等值式，他的左右由公式组成。

6、所以，等值式为两个公式之间的关系，不存在真假关系。