逻辑重要定理：
1.双重否定表肯定；

2.假言律：如果p，那么q 等值于 或者非p，或者q；

3.假言否定律：并非 如果p，那么q  等值于 如果p，那么非q （也可以 等值于 p且非q）；

4.德摩根律：并非 或者p，或者q 等值于 非p并且非q ；并非 p且q 等值于 或者非p，或者非q。