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

反证法 (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),接着再看更方便。

相关小说

梦的结局I 连载中
梦的结局I
紫苜花
“我以天下为棋,赌我胜它半子。”“你说,我们还有见面的机会吗?”“我好想你,我错了……”“师尊你何时归来。”“主上,你不在的日子,总归是无趣......
1.9万字9个月前
黄河与黄河队 连载中
黄河与黄河队
若慕小染
传承中华民族文化我国的母亲河——黄河值得被更多人了解认识想通过一个故事,让读者体会同名同姓的黄河。英勇一生,淳朴至善,永远适用于他。(本文已......
0.3万字9个月前
溺宠狂妃 连载中
溺宠狂妃
茶树
  她是七大世家之一国师府的嫡女,打从娘胎出来就毫无灵根,众人唾弃,就因生性善良,被姐妹联手外人残害致死。愤怒、怨恨、诅咒为将另一个灵魂召唤......
83.1万字9个月前
杂七杂八灵感集 连载中
杂七杂八灵感集
雪樱娜
这本书收录了我所有的灵感,包括自己编的小故事,星座的,葫芦的故事……故事一——霜生花主要人物:霜落,霜凝,黛瑞从霜源星上开始的故事,具体看霜......
0.3万字9个月前
刺客伍六七柒白甜文——d134 连载中
刺客伍六七柒白甜文——d134
嘉德罗斯小队一夜凌
已弃文
1.0万字9个月前
该死的契约精神 连载中
该死的契约精神
玉卿然
误入系统,签订契约,多重人格,同学们团结完成任务后成功回到现实世界。
25.1万字9个月前