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

蕴含式的传递性

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

相关小说

喜美:朦胧梦境 连载中
喜美:朦胧梦境
湫日有棂
禁一切作者:湫日有棂【祈念文学社】从学生时期便认识的我们,为什么最后没能走到一起?一场意外把美幻曦带到副本世界,需要前往一个个世界攻略喜易言......
14.7万字8个月前
(科幻万人迷)渣女改造系统 连载中
(科幻万人迷)渣女改造系统
吃人不放盐23
—这是一个社会潜在型人渣,被一个莫名奇妙的系统培养成社会栋梁最后成神的故事—林一览一直都知道自己不是个好东西,但从来没有想过,自己会因为渣得......
1.7万字8个月前
垃圾小短文合集 连载中
垃圾小短文合集
一一默rycidxy
所有内容都为言情。这一本是黑历史。我自己写的一些篇章和和别人一起写的一些篇章,会汇集到这本书里。类型多样,风格多样。
2.1万字8个月前
不相离,不相弃 连载中
不相离,不相弃
栢竹
稚子被预言为灾星降世即便是肆意的妖,也被预言束缚不得归家她一直很疑惑为什么自己的友人眼底总是带着苦涩直到那日她踏上了家乡的土地一切也都水落石......
0.6万字5个月前
无限:古堡之诗 连载中
无限:古堡之诗
槐x2
这是一个古怪的世界,所有人都被【系统】分配进各个无限流游戏关卡副本中【古堡之诗】通关率5%,危险率???但仍有倒霉蛋被分配在一起,6人一组作......
8.1万字5个月前
三号线乙围楼 连载中
三号线乙围楼
阮度
游走在表世界的活死人,意外闯入死灵的结界,他能能否在迷幻的规则中活下去,揭开谜底
3.1万字2个月前