离散数学 课件 chapter 3 命题逻辑.pptx

3 命题逻辑 什么是逻辑？帅哥? (2023-03-08 22:41:37)：我的第一个问题是，对于我第二个和第三个问题，你可不可以只用能和不能来回答？?美眉? (2023-03-08 22:44:31)：美眉? (2023-03-08 22:41:56) ：可以帅哥? (2023-03-08 22:41:54)：我的第二个问题是，如果我的第三个问题是你能不能做我的女朋友，那么你对于我的第三个问题的答案能不能和第二个问题的答案一样？ 内容3.1 命题与联结词3.2 命题公式3.3 命题公式的等值演算3.4 命题联结词的完备集3.5 范式3.6 命题逻辑的推理理论 3.1 命题与命题联结词 命题：具有非真必假的陈述句。非真必假逻辑真：1 true逻辑假：0 false1、6是整数。2、地球是方的。3、火星上有人。4、请勿吸烟！5、今天天气真好呀！6、你去书店么？7、这个命题是假的。8、我在说谎。 3.1 命题与命题联结词命题分为原子命题和复合命题两种。原子命题：不能再分解为更简单的命题，用大写字母P、Q、R、S、T等表示；复合命题：由原子命题和命题联结词构成。命题联结词：常用的有：否定、合取、析取、条件（蕴含）、双条件（等价）。复合命题和原子命题一样，都具有确切的真假值。 3.1 命题与命题联结词1. 如果明天不下雨，我就去上课。明天不下雨我去上课如果…就…2. 纽约是美国的首都，当且仅当1+2=3。纽约是美国的首都1+2=3当且仅当 3.1 联结词——否定联结词设 P 是一个命题，则 ?P 表示 P 的否定复合命题。P?P0110否定联系词的真值定义 设命题 P 表示“鲁东大学是一所美丽的大学”。其否定命题为： 鲁东大学不是一所美丽的大学。 3.1 联结词——合取联结词设 P 和 Q 是两个命题，用联结词 ?将二者连接成 P?Q，称为命题 P 和 Q 的合取式复合命题。读“ P 与 Q ”或“ P 且 Q ”。PQ P?Q000010100111 设有两个命题 P 和 Q，分别表示为：我喜欢唱歌和我喜欢跳舞，则二者的合取为：我喜欢唱歌和跳舞。 3.1 联结词——合取联结词 1、天气很冷，但老王坚持上班。 2、我们踢足球，他们在游泳。 3、今天天晴，并且3+3=6。 4、我和你是好朋友。合取联结词对应的词汇为：“和”、“并且”、“但是”等。但并不是所有的这些词都表示合取。 3.1 联结词——析取联结词设 P 和 Q 是两个命题，用联结词 将二者连接成 P?Q ，称为命题 P 和 Q 的析取式复合命题。读“ P 或 Q ”。PQP?Q 000011101111 设有两个命题 P 和 Q，分别表示为：灯光有故障、开关有故障，则二者的析取为：或者灯泡有故障，或者开关有故障。 3.1 联结词——析取联结词 1、我明天或者骑车去上班，或者开车去上班。 2、鸟会飞，或济南是山东的省会。 3、明天下雨或下雪。 4、张明或王强都可以做这件事。 析取联结词对应的词汇为：“或” 但并不是所有的“或”都表示析取。 3.1 联结词——条件联结词设 P 和 Q 是两个命题，用联结词 ? 将二者连接成 P? Q，称为命题 P 和 Q 的合取式复合命题。读“ P条件Q ”、“若P 则Q ”、“ P 蕴含 Q ”。PQP? Q001011100111 设有两个命题 P 和 Q，分别表示为：明天下雨、我不上班，则二者的条件式为：如果明天下雨，我就不上班。 3.1 联结词——条件联结词PQP? Q001011100111 如果P，则Q。 P是Q的充分条件。 Q是P的必要条件。只有Q，才P。 只要P，就Q。 除非Q，否则非P。 除非Q，才P。有什么发现？ 3.1 联结词——条件联结词1、如果他是大学生，那么他会一门外语。2、如果雪是黑色的，那么3乘3等于9。3、世界之大，无奇不有。4、除非你努力，否则你将失败。5、小王晚上要回家，除非下大雨。6、只有睡觉才能缓解疲劳。 3.1 联结词——双条件联结词设 P 和 Q 是两个命题，用联结词?将二者连接成P? Q ，称为命题 P 和 Q 的等价 复合命题。读“ P当且仅当Q ”、“P等价Q ” 。PQP? Q 001010100111 设有两个命题 P 和 Q，分别表示为：明天下雨、我不上班，则二者的条件式为：明天下雨当且仅当我不上班。 3.1 联结词——双条件联结词1、三角形是等腰三角形当且仅当两底角相等。2、骗子讲真理当且仅当太阳从西方升起。3、2是素数当且仅当π是无理数。 3.2 命题公式如果 P 代表一个确切的命题，称 P 为命题常元（量）。如果 P 代表一个不确定的泛指的任意命题，称 P 为命题变元（量）。命题常元和单个命题变元，称为原子