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

蕴含式的传递性

已知: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://www.bjxsw.cc),接着再看更方便。

相关小说

多重宇宙:离婚后,为她一夜白头 连载中
多重宇宙:离婚后,为她一夜白头
笨笨笨小妙
跟心心念念的男人结婚五年后...我心灰意冷,决定离婚。却在一场车祸后...窥探到另一个时空的我和他...原来,那个不说爱的男人,在另一个时空......
28.2万字4个月前
极品风流贵婿 连载中
极品风流贵婿
气泡菌阿六
穿到古代成了陪葬姑爷?媳妇是个植物人?  什么,还和护国大将军有婚约?皇妃娘娘要和我深入交流?  陈叶双肾瑟瑟发抖。这是学韦小宝,集齐七个老......
121.7万字2个月前
道藏玄止 连载中
道藏玄止
云舟隐鹤
腹黑疯批事业派女主披荆斩棘,干翻倒霉亲戚,打趴狐狸窝长老会,与魔王男主相爱相杀的故事。【注意】本文群像风,除男女主外有多对cp,各种都有,但......
71.7万字1个月前
第一异技师:大烟石之战 连载中
第一异技师:大烟石之战
薇伊十三号
(已完结)这是一个异技的世界,每天充满着挑战,与敌人的战斗中若战败元气大伤,若战胜折翼损爪。在此时,世界成立了一个组织,为了无辜人民,他们又......
17.1万字1个月前
暗欲之爱 连载中
暗欲之爱
千絮任奈
暗雨之下,他对她爱而不得,她若即若离,无路可逃得不到?那就一起下地狱吧,宝贝…..~
2.0万字4天前
1000个民间故事 连载中
1000个民间故事
无敌蛙王
每一个故事。或奇幻、或温情、或警醒。那些被岁月尘封的传说。带着生活的烟火与奇思。跨越时空。讲述人间万象。
18.6万字4天前