Teorema da dedução: historial de revisões

7 de junho de 2020

• atuant 17h58min17h58min de 7 de junho de 2020‎ 2804:14d:5cbc:a858:e944:6d7b:5723:ed14 discussão‎ 12 325 bytes −189‎ O teorema da resolução não tem nada a ver com o da dedução. desfazer Etiquetas: Possível resumo indevido Seção eliminada Editor Visual

20 de maio de 2016

• atuant 08h33min08h33min de 20 de maio de 2016‎ Mschlindwein discussão contribs‎ m 12 514 bytes −8‎ "Implicar", neste caso, é verbo transitivo direto. desfazer

9 de agosto de 2015

• atuant 05h46min05h46min de 9 de agosto de 2015‎ Zoldyick discussão contribs‎ m 12 522 bytes −28‎ removeu Categoria:Lógica; adicionou Categoria:Dedução; removeu {{sem cat}} usando HotCat desfazer

29 de julho de 2015

• atuant 22h54min22h54min de 29 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 12 550 bytes 0‎ desfazer
• atuant 22h39min22h39min de 29 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 12 550 bytes −22‎ desfazer
• atuant 22h31min22h31min de 29 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 12 572 bytes −1 073‎ desfazer

7 de julho de 2015

• atuant 19h16min19h16min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 645 bytes +20‎ desfazer
• atuant 19h11min19h11min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 625 bytes −14‎ agora colocando as categorias certas desfazer Etiqueta: Editor Visual
• atuant 19h09min19h09min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 639 bytes +140‎ desfazer
• atuant 19h03min19h03min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 499 bytes +4‎ →‎Convertendo de provas usando o metateorema da dedução para provas axiomáticas desfazer
• atuant 19h00min19h00min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 495 bytes +252‎ desfazer
• atuant 18h36min18h36min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 243 bytes +50‎ Aumentando a quantidade de categorias desfazer Etiqueta: Editor Visual
• atuant 16h17min16h17min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 193 bytes +33‎ Coloquei o artigo em uma categoria desfazer Etiqueta: Editor Visual
• atuant 16h10min16h10min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 160 bytes +3‎ desfazer
• atuant 16h07min16h07min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 157 bytes −157‎ →‎Links externos desfazer
• atuant 15h21min15h21min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 314 bytes +2‎ →‎Notas desfazer
• atuant 12h51min12h51min de 7 de julho de 2015‎ FSogumo discussão contribs‎ 13 312 bytes +34‎ desfazer
• atuant 12h50min12h50min de 7 de julho de 2015‎ FSogumo discussão contribs‎ 13 278 bytes +65‎ desfazer
• atuant 12h38min12h38min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 213 bytes +122‎ desfazer
• atuant 12h17min12h17min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 091 bytes −247‎ desfazer
• atuant 12h14min12h14min de 7 de julho de 2015‎ ArthurJorge97 discussão contribs‎ 13 338 bytes +13 338‎ nova página: Na lógica matemática, o '''teorema da dedução''' é um metateorema da lógica de primeira ordem. É a formalização da comum técnica de prova na qual uma implicação A →...