离散数学知识点整理

离散数学知识点整理

离散数学

一、逻辑和证明

1.1命题逻辑

命题：是一个可以判断真假的陈述句。

联接词：∧、∨、→、↔、¬。记住“p仅当q”意思是“如果p，则q”，即p→。记住“q除非p”意思是“¬p→q”。会考察条件语句翻译成汉语。

系统规范说明的一致性是指系统没有可能会导致矛盾的需求，即若pq无论取何值都无法让复合语句为真，则该系统规范说明是不一致的。

1.3命题等价式

逻辑等价：在所有可能情况下都有相同的真值的两个复合命题，可以用真值表或者构造新的逻辑等价式。