离散数学重要等值式后4种

1、等价等值式

2、还有假言易位

3、等价否定等值式

4、归谬论

5、以下式蕴含等值式的应用

6、等值式的应用需要熟练