《离散数学》课件-第1章 命题逻辑.pdf

云南大学滇池学院《离散数学》 第1 章 命题逻辑 第1章 命题逻辑 1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1.6 全功能联结词集 1.7 对偶式与蕴含式 1.8 命题逻辑的推理理论 返回总目录 云南大学滇池学院《离散数学》 第1 章 命题逻辑 第1章 命题逻辑 1.1命题及联结词 1.1.1 命题的基本概念 在数理逻辑中把能判断真假的陈述句称为命题。一般 用小写英文字母或小写英文字母带下标表示。 命题的概念包含了以下3个要素： ⑴只有陈述句才有可能成为命题，而其它的语句，如： 感叹句、祈使句、疑问句等都不是命题。 ⑵一个语句虽是陈述句,但不能判断真假的不是命题。 ⑶虽然要求命题能判断真假，但不要求现在就能确定 真假，将来可以确定真假也可以。 一个命题表达的判断结果称为命题的真值。命题的真 值有 “真”和 “假”两种，分别用True 、T 、1 (真)和False 、 F 、0 (假)来表示。真值为真的命题称为真命题，真值为假 的命题称为假命题。任何命题的真值是惟一的。 云南大学滇池学院《离散数学》 第1 章 命题逻辑 在命题逻辑中对命题不再细分，因而命题是数理逻辑中 最基本的也是最小的研究单位。 【例1.1】判断以下语句是否为命题。若是命题，确定 其真值。 ⑴上海是个小村庄。 ⑵别的星球上存在生物。 ⑶禁止吸烟！ ⑷北京是中国的首都。 ⑸4是素数或6是素数。 ⑹今天你吃了吗？ ⑺11+ 1= 100 ⑻我正在说谎。 解：⑴命题(F)，⑵命题(待定)，⑶不是命题(祈使句)， ⑷命题(T) ，⑸命题(F)，⑹不是命题(疑问句), ⑺不是命题 (真值由上下文确定),⑻ 不是命题(悖论) 。 云南大学滇池学院《离散数学》 第1 章 命题逻辑 表示命题的小写英文字母或带下标的小写英文字母常称 为命题标识符。如果命题标识符表示一个具体、确定的命题， 称为命题常元。如果命题标识符表示任意一个命题，称为命 题变元。命题变元无确定的真值。 命题是能判断真假的陈述句。而命题变元代表任意的命 题，其真值是不确定的。因而不是命题。 如果一个命题不能再分解成更简单的命题，则称该命题 为原子命题。如果一个命题不是原子命题，称该命题为复合 命题。 如果命题变元表示原子命题时，该命题变元称为原子变 元。 在自然语言中，可以通过 “如果„，那么„”， “不 但„，而且„”这样的连词将简单的陈述句联结成复合语句， 同样在命题逻辑当中，也可以通过命题联结词将原子变元联 结起来表示复合命题。 云南大学滇池学院《离散数学》 第1 章 命题逻辑 1.1.2 命题联结词 常用的逻辑联结词有五种：否定联结 表1.1 词、合取联结词、析取联结词、条件联结 词和双条件联结词。 1. 否定联结词 p ¬p 定义1.1.1 设p 为命题，则p 的否定是一 0 1