1、同一律就是，A和0进行析取那么肯定是A，因为A根本就没动。
2、排中律的话，就是A析取0的非A的话，那么例如集合加上补集那肯定是全集。
3、蕴含等值式就是说一个东西能够推出一个东西，那么肯定也就是不是这个东西，并且是另一个东西。
4、假言易位就是说一个东西能推出另一个东西，那么不是这个东西，肯定不能退出另一个东西，挺好理解。
5、还有就是，等价等值式倦虺赳式就是说两个东西能够互推，那么不就是说，一个东西能推出另一个东西，并且另一个东西，能够推出这个东西。
6、归谬论也好理解，一个东西能够推出另一个挥响裢鲮东西A，而这个东西又能推出另一个东西B，那肯定存在歧义，所以他肯定不是这个东西。
