数理逻辑 数理逻辑 : : 命题逻辑 命题逻辑 1逻辑 o 逻辑不仅对理解数学推理十分重要，而且 在计算机科学中有许多应用。这些逻辑规则用 于计算机电路设计、计算机程序构造、程序正 确性证明等许多方面！ 2Copyright2007byXuDezhi 3 逻辑学 o 逻辑学=研究正确推理的科学 o 推理：由一个或几个命题推出另外一个命题的思维形式 。 o 逻辑学的作用 1、有助于准确、严密地表达和交流思想。 2、有助于培养、提高认知能力，获得间接知识。 3、有助于识别、驳斥谬误和诡辩，进行批判性思维 。 p 数理逻辑：用数学方法研究推理的一门学科 n 一套符号体系 + 一组推理规则 3Copyright2007byXuDezhi 4 逻辑学 o逻辑学关注的是陈述（命题）之间的关系 。 例如 : n 我的表是数字的. n 所有数字设备都依靠电池运行. n 因此，我的表依靠电池运行 o 注意：逻辑学并不关心前面两个陈述（命题）的真假 。但是，如果它们是真的，则推论也一定是真的。 4p命题： n 凡是具有确定真假意义的陈述句均称为命题。 p命题的值: n 若为“真”，用或表示； n 若为“假
