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

蕴含式的传递性

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

相关小说

变成了相方的猫 连载中
变成了相方的猫
高V不会
简介正在更新
20.3万字8个月前
快穿守护:大佬她天天崩人设 连载中
快穿守护:大佬她天天崩人设
—易烊千语—
【23w+-正文已完结,番外待补】漂亮精致的少年偶像委屈巴巴的扯着舒星的衣角,“说好的,你宠我的……”温柔如天使的小病娇,抱着她软软的撒娇,......
22.0万字8个月前
花游记2 连载中
花游记2
游客1584553941842
花游记是韩国电视剧,讲述孙悟空和陈善美的爱情降妖类的故事。陈善美在勇斗恶龙时死去,有些遗憾,作者在此奉上第二部。一个全新的故事。
8.8万字8个月前
绝世,铠甲2 连载中
绝世,铠甲2
该用户已注销
自已看,第二部会出现真正的主角
5.8万字8个月前
我竟然来到了监控人的世界 连载中
我竟然来到了监控人的世界
小监控
我和我同学来到了监控人的世界
0.7万字8个月前
喜羊羊……之观影 连载中
喜羊羊……之观影
喜逸鑫
1.0万字8个月前