数理逻辑.命题逻辑等值演算

2017-10-11  本文已影响0人  PhoenixSpirit

2.1等值式

等值:若A，B构成的等价式A<->B为重言式，则称A，B为等值的，记做A<=>B

上一篇下一篇

猜你喜欢

热点阅读