摘要：
今天开始离散数学的自学旅程。主题：逻辑和证明 逻辑规则给出数学语句的准确含义。逻辑对计算机科学有着重要作用。为了理解数学，我么必须理解正确的数学论证是由什么组成的。只要证明一个数学语句是真的，我们就称之为定理。我们要学会如何理解和构造正确的数学论证。1 命题逻辑 命题是一个或真或假的陈述语句，即一个陈述事实的句子，但不能既真又假。 涉及命题的逻辑领域称为命题演算或者命题逻辑。 1.1非命题，与命题和或命题的真值表 非命题，与命题和或命题的真值表如下 1.2 条件命题令 p 和 q 为命题，条件语句 p → q 是命题“若 p ，则 q ”。当p为真，而q为假的时候，提哦啊兼语句 p→ q为假. 阅读全文
