条件联接词的定义.pptxVIP

离散数学微课数理逻辑-条件联结词的定义 主讲人：聂盼红计算机科学与工程学院问题引入P：今天下雨。Q：明天下雨。P? PTFFT符号化?P今天不下雨。符号化?P今天下雨而且明天下雨。符号化?P今天下雨或明天下雨。PQP ∨QTTTTFTFTTFFFPQP∧QTTTTFFFTFFFF问题引入设各命题变元为： P：明天天气晴朗 Q：我们就去郊游如果明天天气晴朗，那么我们就去郊游。 符号化 P ?Q 条件联结词定义 给定两个命题 P和Q ，其条件命题是一个复合命题，记为 P ? Q，读作 “若P则Q”。当且仅当P的真值为 T 时，Q的真值为F时， P ? Q 的真值为F，否则P? Q的真值为T。称 P 为前件，Q 为后件。PQP ?QTTTTFFFTTFFT定义记忆说明1P ?Q？什么情形下，乙认为甲的这句话是假符号化设P：今晚甲与乙班上不开班会；设Q：甲与乙一起去玩；PQP ?QTTFFFTT F如果今晚我们班上不开班会，则我就和你一起去玩.TT乙说话不算数啊！TF甲乙乙甲乙定义记忆说明1P ?Q如果你这次数学考100分，那么我给你买飞机模型！P：大头儿子这次数学考了100分。Q：小头爸爸给儿子买飞机模型。PQP ?QTTFFFTT FTTT飞机模型没有买！F爸爸，我这次数学考了100分，我的飞机模型呢？！？什么情形下，儿子认为爸爸说话不算数？爸爸说话不算数！！符号化定义说明2---善意推定PQP ?QTTTTFFFTTFFT？在P→Q 真值表中规定：当 P=F 时，不管 Q 如何 P→Q 的真值都为T. 有没有道理呢？“善意推定”P ?Q设P：小明去了图书馆如果我去图书馆，一定帮你借那本书。设Q：小明帮小红借了那本书PQP ?QTTTTFFFTTFFT小明小红我没有去成图书馆,所以。。。我相信你要是去了图书馆一定会帮我借那本书的。善意推定符号化问题---符号化如下复合命题设P：天不下雨 Q：我骑自行车上班只要不下雨，我就骑自行车上班。只有不下雨，我才骑自行车上班。团队制作：聂盼红涂为员欧阳颖计算机科学与工程学院这个微课的主题是讲数理逻辑部分比较重要的条件联结词的定义；在数理逻辑中，复合命题是由原子命题与逻辑联接词组合而成，为了便于书写和进行逻辑推演，必须对联接词做出明确规定并符号化。大家比较熟悉三个基本的联结词：比如有原子命题P和Q，今天不下雨就符号化为┐P, 连接词非的定义：P为真的时候非P为假，P为假的时候非P为真，复合命题“今天下雨而且明天下雨”，就符号化为P∧Q；当P与Q同时为T的时候复合命题P∧Q 为真，复合命题“今天下雨或明天下雨”，就符号化为P∨Q；当P与Q同时为F的时候为F，这是三个基本的连接词，它们的定义相对比较好理解与记忆；如果我们要表达“如果…那么…”的命题，就要用到条件联结词，比如：如果明天天气晴朗，那么我们就去郊游。 就符号化为P→Q；先来看一下它的数学定义：定义：给定两个命题 P和Q ，其条件命题是一个复合命题，记为 P ? Q，读作 “若P则Q”。当且仅当P的真值为 T 时，Q的真值为F时， P ? Q 的真值为F，否则P? Q的真值为T。称 P 为前件，Q 为后件。也可以用真值表定义如下：条件联接词不像析取与合取定义那么好记忆，为了帮大家记住条件联结词的真值表，下面举例来帮大家记忆；看下例，有甲和乙两人，甲对乙说：“如果今晚我们班上不开班会，则我就和你一起去玩.”在什么情形下，乙认为甲的这句话是假？我们先分解出这句话中的原子命题：设P：今晚甲与乙班上不开班会；设Q：甲与乙一起去玩；“如果今晚我们班上不开班会，则我就和你一起去玩.”就符号化为P→Q；分四种情况讨论若P则Q的真值：P为T，Q为T说明：今晚班上不开班会，甲与乙一起去玩了，乙认为甲说的是真话；P为F，Q为F说明：今晚上开班会，甲与乙没有一起去玩，乙认为甲说的是真话，因为开了班会，没法去玩；P为F，Q为T说明：今晚上开班会，甲与乙一起去玩了（他们两个偷着去玩了），乙认为甲说的是真话；P为T，Q为F说明：今晚上不开班会，甲与乙没有一起去玩，这种情况甲显然违背了他的意图，乙认为甲讲了假话；所以当前件为T后件为F的时候若P则Q取假值，其它三种情况取真值。看下例，有甲和乙两人，甲对乙说：“如果今晚我们班上不开班会，则我就和你一起去玩.”在什么情形下，乙认为甲的这句话是假？我们先分解出这句话中的原子命题：设P：今晚甲与乙班上不开班会；设Q：甲与乙一起去玩；“如果今晚我们班上不开班会，则我就和你一起去玩.”就符号化为P；分四种情况讨论若P则Q的真值：P为T，Q为T说明：今晚班上不开班会，甲与乙一起去玩了，乙认为甲说的是真话；P为F，Q为F说明：今晚上开班会，甲与乙没有一起去玩，乙认为甲说的是真话，因为开了班会，没法去玩；P为F，Q为T说明：今晚上开班