离散数学知识点整理(共7页).doc

离散数学1、 逻辑和证明1.1命题逻辑命题：是一个可以判断真假的陈述句。联接词：、。记住“p仅当q”意思是“如果p，则q”，即p。记住“q除非p”意思是“pq”。会考察条件语句翻译成汉语。构造真值表pqpqpqpqpqpqpTTTTTTFFTFFTFFTFFTFTTFTTFFFFTTFT1.2语句翻译系统规范说明的一致性是指系统没有可能会导致矛盾的需求，即若pq无论取何值都无法让复合语句为真，则该系统规范说明是不一致的。1.3命题等价式逻辑等价：在所有可能情况下都有相同的真值的两个复合命题，可以用真值表或者构造新的逻辑等价式。证逻辑等价是通过p推导出q，证永真式是通过p推导出T。逻辑等价式pT ppF p恒等律pF FpT T支配律pp p幂等律(P) p双否律pq