离散数学课件（北航）第三章习题解答

第三章 公理系统1. 证明：(1) (2) (3) (4) (5) (6) (7) (8) (9) (10) 解 (1) ，，A ，，A ，，A ，，A ，，A最后，使用3次演绎定理得到：(2)