Histórico

Artigo Discussão

Prova por contradição

3 de janeiro de 2023

Babalu05
sem resumo de edição
11h05min

17 de junho de 2022

15 de abril de 2022

Sr cricri
Não é verdade que há apenas provas por contradição do teorema de Cantor. Coloquei os links corroborando a alteração.
23h41min
+462

13 de maio de 2021

Xavier1824
Página marcada como sem fontes
m
19h03min
+33

10 de setembro de 2016

Yuri do Ubuntu
Corrigindo erro lógico: x não precisa ser primo
21h47min
+90

5 de julho de 2014

Marcioseno
Ver também
m
04h11min
+46

19 de novembro de 2013

Treisijs
Removed interwikis
12h06min
−125

27 de março de 2013

Addbot
A migrar 38 interwikis, agora providenciados por Wikidata em d:q184899
m
05h59min
−1 166

8 de agosto de 2012

JAnDbot
r2.7.2) (Robô: A modificar: ar:برهان خلف, ru:Приведение к абсурду
m
07h42min
−33

18 de fevereiro de 2012

FMTbot
Checkwiki + ajustes
m
07h11min
+37

10 de junho de 2011

EmausBot
r2.6.4) (Robô: A modificar: es:Reductio ad absurdum
m
04h22min
−1

9 de março de 2011

WikitanvirBot
r2.7.1) (Bot: Adicionando: bg:Довеждане до абсурд
m
13h57min
+44

26 de novembro de 2009

Luckas-bot
Bot: Adicionando: ar:البرهان بنقض الفرض
m
17h31min
+42

16 de novembro de 2009

ThiagoRuiz
um é sobre falacia, o outro sobre prova matemática
01h09min
−32

23 de outubro de 2009

Alexbot
Bot: Adicionando: da:Absurd (logik)
m
19h33min
+22

6 de julho de 2009

Numbo3-bot
Bot: Adicionando: sh:Reductio ad absurdum
m
05h54min
+28

1 de abril de 2009

TXiKiBoT
Bot: Adicionando: pms:Dimostrassion për assurd
m
08h09min
+34

25 de fevereiro de 2009

Xqbot
Bot: Adicionando: uk:Доведення від супротивного
m
04h35min
+58

8 de fevereiro de 2009

ChristianH
→‎Exemplo
m
02h34min

23 de novembro de 2008

VolkovBot
Bot: Adicionando: ro:Argumentum ad absurdum
m
15h49min
+30

23 de outubro de 2008

VolkovBot
Bot: Adicionando: el:Εις άτοπον απαγωγή
m
10h53min
+42

10 de outubro de 2008

SilvonenBot
Bot: Modificando: ca:Reducció a l'absurd
m
08h39min
−3

7 de setembro de 2008

TXiKiBoT
Bot: Modificando: nl:Bewijs uit het ongerijmde
m
03h35min
+5

3 de setembro de 2008

TXiKiBoT
Bot: Adicionando: be:Давядзенне да абсурду
m
18h45min
+48

2 de setembro de 2008

14 de agosto de 2008

Ptbotgourou
Bot: Adicionando: sk:Dôkaz sporom
m
04h43min
+21

30 de julho de 2008

TXiKiBoT
Bot: Adicionando: id:Pembuktian melalui kontradiksi
m
16h23min
+38

19 de julho de 2008

CarsracBot
Bot: Adicionando: simple:Reductio ad absurdum
m
00h46min
+32

1 de julho de 2008

1 de junho de 2008

TXiKiBoT
Bot: Adicionando: ca:Prova per contradicció
m
17h30min
+31

29 de maio de 2008

Synthebot
Bot: Adicionando: nn:Reductio ad absurdum
m
23h11min
+28

28 de maio de 2008

JAnDbot
Bot: Adicionando: bs, eo, fa, fi, it, ko, la, no, ru, sr, zh-min-nan, zh-yue Modificando: es
m
15h53min
+370

27 de agosto de 2007

21 de setembro de 2006

200.232.11.90
→‎Exemplo
17h53min
−1

9 de abril de 2006

Salgueiro
subcategorização
07h36min
+4

6 de outubro de 2005

NTBot
robot Adicionando: et
m
13h37min
+32

23 de agosto de 2005

8 de agosto de 2005

LeonardoRob0t
robot Adicionando: cs, tr
m
20h03min
−57

17 de maio de 2005

Obtida de "https://pt.wikipedia.org/wiki/Especial:History/Prova_por_contradição"