第一讲命题公式.pptVIP

2004年11月 计算机系软件教研室 中国地质大学计算机系软件教研室  第1讲 命题公式 主讲人 吴杰 中国地质大学计算机学院 主要内容 1 命题的基本概念 2 命题联结词及真值表 3 命题公式与命题符号化 4 命题公式的分类 5 命题公式的等值演算 6 范式 1.1 命题与联结词 命题 能够分辨真假的陈述句叫做命题(Proposition)。 该定义有两层含义： (1)命题是陈述句。其他的语句，如疑问句、祈使句、感叹句均不是命题； (2)这个陈述句表示的内容可以分辨真假，而且不是真就是假，不能不真也不假，也不能既真又假 1.1 命题与联结词 作为命题的陈述句所表示的判断结果称为命题的真值，真值只取两个值：真或假。凡是与事实相符的陈述句是真命题，而与事实不符合的陈述句是假命题。通常用1（或字母T）表示真，用0（或字母F）表示假。 1.1 命题与联结词 命题的分类 原子命题（Automic Proposition）：是指不能再分解为更简单命题的命题； 复合命题（Compound Proposition）：是指由若干命题用联结词组成的新命题。 例如“雪是白的”是原子命题；“昨天下雨，而且打雷”，“如果明天天晴我就去打球或者游泳”都是复合命题。 1.1 命题与联结词 命题常元 真值确定的原子命题称为命题常元。