离散数学——第一章 数理逻辑

文章目录 第一章 逻辑与证明 1.1.前言 1.1.1.本章概述 1.2.命题逻辑(Propositional Logic) 1.2.1.命题及其表示法 1.2.2.联结词（Connectives、Logical Operator） 条件语句 双条件 联结词优先级（Precedence of Logical Operators ） 1.2.3.真值表与等价命题 1.2.4.逻辑等价式 1.3.谓词

>>阅读原文<<