离散数学答案(尹宝林版)第三章习题解答.docxVIP

第三章 公理系统 1. 证明： (1) |? ( A ? B) ? ((B ? C) ? ( A ? C)) (2) |? ( A ? (B ? C)) ? (B ? ( A ? C)) (3) |? ??A ? A (4) |? A ? ??A (5) |? ( A ? B) ? (?B ? ?A) (6) |? A ? (?B ? ?( A ? B)) (7) |? A ? A ? B (8) |? A ? B ? A (9) |? A ? B ? A (10) |? A ? B ? B 解 (1) A ? B ， B ? C ，A |? A A ? B ， B ? C ，A