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

反证法 (2-1)

目录

一、逻辑学原理 ▹

1.1 不予盾律 ▹

1.2 排中律 ▹

1.3 矛盾和排中的关系 ▹

二、反证法的步骤 ▹

三、例子 ▹

一、逻辑学原理

在逻辑学中存在3条基础规则,分别是:同一律、不矛盾律、排中率。所谓的基础规则,可以理解为数学中的公理,也就是是大家认可的常识,所以不证自明(无需证明即为真的命题)。

在反证法中,主要依赖的是:不矛盾率和排中率,下面分别介绍下。

1.1 不矛盾律

不矛盾率律,通常也被称作:矛盾率

什么是矛盾关系?现看下面这样几个例子:

① 小明的数学分数既及格了,又没有及格;

② 北京是中国的首都,同时也不是中国的首都;

③ 今天这场足球比赛甲队赢了,但甲队也输了。

上面的每一个句子中,都存在两个说法(或看成命题),同时前后两种说法是互相否定的,

例如:小明的分数及格了,小明的分数没有及格,前后两种说法是互相否定的。

如果存在这种前后互相否定,那么我们就称:两种说法法矛盾了或这个复合命题矛盾了。

重要的是:如果存在两个互相否定的说法,那么这两种说法不可能同时为真。

也就是:这两种相互矛盾的说法,要么有一个真、一个假;要么两个都是假的。

即:如果存在两个互相否定的说法,至少有一个为假。

1.2 排中律

什么是排中,先看下面的几个例子:

① 中国要么属于亚洲,要么不属于亚洲;

② 这本书小明要么看过(打开过),要么没看过(没打开过)。

上面的每一个句子中,对于事实的判断都只存在两种可能,

例如:中国要么属于亚洲,要么不属于亚洲,不存在第三种可能。

如果一个事情的结果,只存在两种可能A或非A,在A和非A之间不存在中间的可能,即排中。

这等同于概率论中的:对立事件,两个对立的事件构成了整个样本空间。

重要的是:如果一个事件的结果若只存在两种可能A或非A,那么这两个结果不可能同时为假。

也就是:A或非A中,只存在一真一假,要么A真非A假,要么A假非A真。

1.3 矛盾和排中的关系

再回到上面的例子:

今天这场足球比赛甲队赢了,但甲队也输了。

足球比赛的结果存在三种可能:赢、平、输,

所以,这两种说法虽然是矛盾的,但这两种说法并不符合排中。

今天这场足球比赛甲队赢了,但甲队也输了。

这本书小明要么看过,要么没看过

因为这句话存在两个互相否定的说法,所以是矛盾的,

同时,一本书是否看过,只存在看过或没看过,所以也是排中的。

因此,若一个复合命题是符合排中的,那么该复合命题必然是矛盾的。

但是,如一个复合命题是矛盾的,但未必是符合排中的。

二、反证法的步骤

我们要证明一个数学命题,从正面去证明困难的情况下,可以考虑:正难则反,这个方法也是统计学中假设检验的核心论证逻辑。

例子:我们要证明是A是A,我们称为原命题。

第一步:写出原命题的的对立命题(注意不是原命题的否命题,因为否命题是双否结构);

那么对立命题为:A不是A、或者并非A是A

第二步:假设对立命题《A不是A》是正确的;

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

相关小说

祖传瓷盘通长征(我靠美食让战士们大口吃肉) 连载中
祖传瓷盘通长征(我靠美食让战士们大口吃肉)
Jhanna
【爱国脑】【美食】爷爷八十大寿送我一个瓷盘第一天:“谁往我的瓷盘上放这么多树皮!!”第二天:“谁往我家扔垃圾啊我giao!”第三天:“小盘子......
1.2万字9个月前
蝶恋与梦 连载中
蝶恋与梦
闲fish鱼魚
事情的起因源于一场梦,让人沉浸其中。
0.6万字9个月前
瞳宇之恋 连载中
瞳宇之恋
红尘落舞
晨光微露,叶灵瞳缓缓睁开了他那双美眸。叶灵瞳咦?叶灵瞳头好痛!叶灵瞳算了,不管了,先起床吧。叶锋灵瞳,快起床!要去紫萝城分院报名啦!叶灵瞳哦......
0.5万字9个月前
成功的卧底 连载中
成功的卧底
微风轻云淡
南景夜因为处分降职暂时调到亚兰斯特监狱任职,在翻看犯人资料时意外发现,当年害死家人的一次恐怖袭击中,木简就是当年抓到的恐怖分子之一,但又由于......
1.3万字9个月前
六——界 连载中
六——界
Vixerunt_
林雅:“谁说我是最强的?”云雅:“也许真的是?”血璃月:“你都已经离开这么久了,为何还要问我?”血离星:“哦……与我无关。毕竟,我杀不杀人与......
1.3万字9个月前
白色盛夏蔷薇心 连载中
白色盛夏蔷薇心
竹溪明
柯亦晨的心,早在十年前就死了。‘他’那受人敬仰的好父亲啊,在权势受到动摇之际毫不犹豫舍弃了自己的妻子。“这个世界的光明渺小到要被黑暗淹没.你......
8.2万字9个月前