Consistência: historial de revisões

17 de novembro de 2023

• atuant 19h14min19h14min de 17 de novembro de 2023‎ Jones Tanabe discussão contribs‎ 11 107 bytes +12‎ Funcionalidade de sugestões de hiperligações: 3 hiperligações adicionadas. desfazer Etiquetas: Editor Visual Edição via dispositivo móvel Edição feita através do sítio móvel Edição móvel avançada Tarefa para recém-chegados Sugerida: adicionar hiperligações

29 de dezembro de 2018

• atuant 12h30min12h30min de 29 de dezembro de 2018‎ Texvc2LaTeXBot discussão contribs‎ m 11 095 bytes +1‎ WP:BOT: Substituindo sintaxe matemática obsoleta de acordo com mw:Extension:Math/Roadmap desfazer

5 de setembro de 2017

• atuant 20h26min20h26min de 5 de setembro de 2017‎ Luizdl discussão contribs‎ m 11 094 bytes −22‎ ajustes usando script desfazer

10 de maio de 2016

• atuant 13h01min13h01min de 10 de maio de 2016‎ Mschlindwein discussão contribs‎ m 11 116 bytes −1‎ "implica algo", não "em algo" desfazer

25 de fevereiro de 2015

• atuant 12h11min12h11min de 25 de fevereiro de 2015‎ 189.70.212.214 discussão‎ 11 117 bytes +25‎ desfazer Etiqueta: Editor Visual

23 de fevereiro de 2015

• atuant 06h34min06h34min de 23 de fevereiro de 2015‎ Zoldyick discussão contribs‎ m 11 092 bytes −35‎ desfazer

14 de fevereiro de 2015

• atuant 00h35min00h35min de 14 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 11 127 bytes +1‎ →‎Esboço da prova desfazer Etiqueta: Editor Visual
• atuant 00h34min00h34min de 14 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 11 126 bytes +97‎ desfazer

11 de fevereiro de 2015

• atuant 15h22min15h22min de 11 de fevereiro de 2015‎ Thiago MTB discussão contribs‎ m 11 029 bytes +35‎ Página marcada como sem categoria, usando FastButtons desfazer

9 de fevereiro de 2015

• atuant 23h29min23h29min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 10 994 bytes −1‎ →‎Resultados básicos desfazer
• atuant 23h29min23h29min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 10 995 bytes +1‎ →‎Resultados básicos desfazer Etiqueta: Editor Visual
• atuant 23h28min23h28min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 10 994 bytes −2‎ →‎Teorema de Henkin desfazer
• atuant 23h28min23h28min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 10 996 bytes −16‎ →‎Definição desfazer Etiqueta: Editor Visual
• atuant 23h26min23h26min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 11 012 bytes 0‎ desfazer Etiqueta: Editor Visual
• atuant 23h25min23h25min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 11 012 bytes −48‎ desfazer Etiqueta: Editor Visual
• atuant 23h24min23h24min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 11 060 bytes +60‎ desfazer
• atuant 23h15min23h15min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 11 000 bytes −5‎ →‎Definição desfazer
• atuant 23h15min23h15min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 11 005 bytes −1‎ desfazer
• atuant 23h12min23h12min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 11 006 bytes +1 604‎ desfazer
• atuant 22h18min22h18min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 9 402 bytes +525‎ desfazer
• atuant 22h14min22h14min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 8 877 bytes +6 204‎ desfazer
• atuant 20h56min20h56min de 9 de fevereiro de 2015‎ Bebetocf discussão contribs‎ 2 673 bytes +2 673‎ nova página: Na lógica clássica dedutiva, uma teoria é chamada de consistente se não contém contradição. A falta de contradição pode s...