Lógica/Cálculo Proposicional Clássico/Dedução Natural - Parte I/Resolução dos Exercícios: historial de revisões

30 de maio de 2015

• atuant 20h56min20h56min de 30 de maio de 2015‎ Marcos Antônio Nunes de Moura discussão contribs‎ m 9 302 bytes +678‎ Foram revertidas as edições de 186.222.87.226 (disc) para a última revisão de He7d3r.bot desfazer [verificada automaticamente]

29 de maio de 2015

• atuant 19h23min19h23min de 29 de maio de 2015‎ 186.222.87.226 discussão‎ 8 624 bytes +11‎ →‎2: Correção desfazer Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel
• atuant 19h21min19h21min de 29 de maio de 2015‎ 186.222.87.226 discussão‎ 8 613 bytes −19‎ →‎Resolução dos Exercícios de Regras de Inferência Direta: Correção. desfazer Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel
• atuant 19h19min19h19min de 29 de maio de 2015‎ 186.222.87.226 discussão‎ 8 632 bytes −793‎ Correção desfazer Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel
• atuant 19h16min19h16min de 29 de maio de 2015‎ 186.222.87.226 discussão‎ 9 425 bytes +123‎ Adição de conteúdo desfazer Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel

20 de março de 2012

• atuant 12h25min12h25min de 20 de março de 2012‎ He7d3r.bot discussão contribs‎ m 9 302 bytes −145‎ Correção de afluentes dos capítulos do livro de lógica (\[\[([^\n]*): ([^\n]*)\]\] --> [ [$1/$2]]) e de typos; -hack obsoleto para forçar PNG desfazer [verificada por Raylton P. Sousa]

31 de agosto de 2010

• atuant 13h39min13h39min de 31 de agosto de 2010‎ He7d3r.bot discussão contribs‎ 9 447 bytes −37‎ Trocando categorização manual por AutoCat (o indexador da categoria estava incorreto) [ usando AWB ] desfazer

4 de novembro de 2009

• atuant 19h08min19h08min de 4 de novembro de 2009‎ He7d3r.bot discussão contribs‎ m 9 484 bytes 0‎ moveu Lógica: Cálculo Proposicional Clássico: Dedução Natural - Parte I/Resolução dos Exercícios para Lógica/Cálculo Proposicional Clássico/Dedução Natural - Parte I/Resolução dos Exercícios: usando a barra como separador para orga desfazer

18 de fevereiro de 2007

• atuant 22h22min22h22min de 18 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 9 484 bytes 0‎ →‎1 desfazer

4 de janeiro de 2007

• atuant 03h17min03h17min de 4 de janeiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 9 484 bytes +1 450‎ →‎4 desfazer
• atuant 03h17min03h17min de 4 de janeiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 8 034 bytes −1 449‎ →‎4 desfazer
• atuant 03h14min03h14min de 4 de janeiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 9 483 bytes +1 451‎ →‎3 desfazer

1 de janeiro de 2007

• atuant 19h36min19h36min de 1 de janeiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 8 032 bytes +102‎ →‎Resolução dos Exercícios de Regras Hipotéticas desfazer
• atuant 19h33min19h33min de 1 de janeiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 7 930 bytes +105‎ →‎Resolução dos Exercícios de Regras de Inferência Direta desfazer

30 de dezembro de 2006

• atuant 18h03min18h03min de 30 de dezembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 7 825 bytes +2 289‎ →‎Resolução dos Exercícios de Regras Hipotéticas desfazer
• atuant 17h39min17h39min de 30 de dezembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 5 536 bytes +2 377‎ →‎Resolução dos Exercícios de Regras Hipotéticas desfazer
• atuant 04h35min04h35min de 30 de dezembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 3 159 bytes +1 606‎ →‎Resolução dos Exercícios de Regras de Inferência Direta desfazer
• atuant 03h57min03h57min de 30 de dezembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 1 553 bytes +1 553‎ Nova página: ==Resolução dos Exercícios de Regras de Inferência Direta== Lembre-se que a ordem na qual a derivações são feitas pode variar. ====1==== <math>\left\{A\leftrightarrow \left(B\l...