[IT认证]第一章命题逻辑.ppt

第1章 命题逻辑 数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科。 现代数理逻辑可分为逻辑演算、证明论、公理集合论、递归论和模型论。 本课程介绍的是数理逻辑最基本的内容，也是与计算机科学关系最为密切的：命题逻辑和谓词逻辑（一阶逻辑） 1.1 命题符号化及联结词 命题：能判断真假的陈述句。 真值：一个命题表达的判断结果称为命题的真值。命题的真值有“真”和“假”两种，分别用True、T、1(真)和False、F、0(假)来表示。真值为真的命题称为真命题，真值为假的命题称为假命题。任何命题的真值是惟一的。 注: 一切没有判断内容的句子，无所谓是非的句子，如感叹句、疑问句、祈使句等都不是命题。 例1： 2是素数。 雪是黑色的。 2+3=5 。 明年十月一日是晴天。 这朵花多好看呀！ 3能被2整除. 明天下午有会吗？ 请关上门！ x+y5 。 地球外的星球上也有人。 命题判断的关键：1.是否是陈述句；2.真值是否是唯一的。 简单命题（原子命题）：不能分解为更简单的陈述句。 简单命题又称为命题常项或命题常元。对于真值可以变化的简单陈述句称为命题变项或命题变元。 复合命题：由联结词把几个原子命题联结起来的命题。 表示法： 例3：将下列各命题符号化 李平既聪明又用功. 李平虽然聪明，但不用功. 李平不但聪明，而且用功. 李平不是不聪明，而是不用功. 例4：将下列各命