数学联邦政治世界观
超小超大

蕴含式的传递性

已知:A ⇒ B:=(¬A)∨B,求证命题P:(A ⇒ B∧B ⇒ C) ⇒ (A ⇒ C)恒为真。

证明:

P ⇔ [(– A∨B)∧(–B∨C) ⇒ (¬A∨C)] ⇔ ¬(¬A∨B)∧(–B∨C)]∨(¬A∨C) ⇔ (A∧¬B)∨(B∧¬C)∨–A∨C

现在讨论真值:

1. 显然A为假或C为真时,P为真。

2. 当A为真且C为假时,有:P=(A∧¬B)∨(B∧¬C) ⇔ (True ∧ ¬B )∨(True∧B) ⇔ ¬B ∖,由排中律,P为真。

蕴含式:A⇒ B

定义:A B:=( ¬ A) ∨ B

由定义可知——“A为真,则可知B为真”的等价表述是“ (¬ A) 为真,或B为真”。

拆解一下这个等价表述:

“(¬ A) 为真,或B为真” ⇒ 有以下两种情况:

(1)¬ A为假(A为真),且B为真;

(2)¬ A为真(A为假),B可以为真也可以为假。

这也等价表述了一种情况:若¬ A为假(A为真),则B不可能为假,也就是说 A 为真并不蕴含着B为假。

蕴含式的传递性:

(A⇒ C) ∧ (C ⇒ B) ⇒ (A ⇒ B)

传递性的等价表述:¬ ((A ⇒ C)∧(C ⇒ B))为真,或 A ⇒ B 为真。

蕴含式的传递性证明:

通过反证法,假设蕴含式的传递性不成立,即¬ ((A ⇒ C)∧(C ⇒ B))为假,且 A ⇒ B 为假,分别考证两个表达式:

1. ¬ ((A ⇒ C)∧(C ⇒ B))为假

可知(A⇒ C)∧(C ⇒ B)为真,则(A ⇒ C)为真 且(C ⇒ B)为真。

(1)(A⇒ C)为真

即:(¬ A) ∨ C 为真,已知 A 为真,则 C 为真。

(2)(C⇒ B)为真

即:(¬ C) ∨ B 为真,由(1)知 C 为真( ¬ C 为假),则 B 必为真。

2. A⇒ B 为假

即(¬ A) ∨ B 为假,已知 A 为真( ¬ A 为假),则 B 必为假。

上述 1 和 2 得出了两个关于 B 的矛盾结论,因此反证法假设不成立⇒ 蕴含式的传递性成立,得证。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

小明和外星萌友的地球大冒险 连载中
小明和外星萌友的地球大冒险
灵秀笔婉
我们的小明一直对宇宙充满无限遐想与好奇,一次郊外露营,竟意外迎来一位神秘来客——来自遥远星球的酷奇。
0.0万字8个月前
玄梦空间 连载中
玄梦空间
林夕租橙梦
前世情人找上门✔男主全洁且双标✔武斗情节✔[你已征服了我,为何还不属于我?]“我也不想脚踏这么多船啊,关键是他们怎么甩都甩不掉啊!”“哎,没......
14.8万字8个月前
嘿!你家小姐又晕了! 连载中
嘿!你家小姐又晕了!
晏璃儿
双时空的碰撞,究竟是谁对谁错?平行时空的交错,是按指定的命运一直走到黑,还是为了改变命运与天抗衡?她和她原本是两条不相同的命运线,却因一次意......
14.4万字8个月前
哈利波特之来自中国的巫师 连载中
哈利波特之来自中国的巫师
顾晓榕涵
(希望大家可以看看我的新书)哈利.波特是一个巫师,基本上所有巫师都知道他的名字肖若涵一个强大且神秘的人,没有人知道她的身份,即使她年龄很小一......
1.1万字8个月前
筐出未来:小虎崽,你不行 连载中
筐出未来:小虎崽,你不行
洁戍
你本在三次元生活的好好的,但却进入了二次元,在二次元中,你与傲娇小虎崽虎翼进入了爱河,他会在你被欺负时,帮你欺负回去;你会在他伤心难过时,安......
1.2万字8个月前
开心超人联盟小花小花 连载中
开心超人联盟小花小花
柚子是黑猫爱奶酪
啊吧啊吧(本主角以傻)
0.8万字8个月前