Lógica/Cálculo Proposicional Clássico/Cálculo de Sequêntes: historial de revisões

Ver registos para esta página (ver o registo de abusos)

Seleção de diferenças: use os botões de opção das revisões para marcar as versões que deseja comparar. Pressione 'Enter' ou clique o botão abaixo.
Legenda: (atu) = diferenças para a versão atual, (ant) = diferenças para a versão anterior, m = edição menor.

atuant 20h57min20h57min de 21 de outubro de 2015‎ Marcos Antônio Nunes de Moura discussão contribs‎ m 8 022 bytes 0‎ Foram revertidas as edições de 191.187.171.198 (disc) para a última revisão de He7d3r.bot desfazer [verificada automaticamente]

atuant 18h25min18h25min de 20 de outubro de 2015‎ 191.187.171.198 discussão‎ 8 022 bytes 0‎ →‎Notação desfazer Etiqueta: Editor Visual

atuant 18h46min18h46min de 7 de março de 2011‎ He7d3r.bot discussão contribs‎ m 8 022 bytes −191‎ Não é mais preciso inserir a navegação manualmente, basta manter a lista de capítulos do livro atualizada. Ver detalhes. desfazer [verificada por Raylton P. Sousa]

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

atuant 14h03min14h03min de 8 de maio de 2010‎ Alguém discussão contribs‎ m 8 250 bytes +624‎ Desfeita a edição 169344 de 200.215.222.195 (Usuário Discussão:200.215.222.195) desfazer
atuant 13h15min13h15min de 8 de maio de 2010‎ 200.215.222.195 discussão‎ 7 626 bytes −624‎ Desfeita a edição 158388 de Dante Cardoso Pinto de Almeida (Usuário Discussão:Dante Cardoso Pinto de Almeida) desfazer

atuant 00h30min00h30min de 11 de março de 2010‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 8 250 bytes +624‎ →‎Teoremas e Inferências desfazer

atuant 23h42min23h42min de 10 de março de 2010‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 7 626 bytes +3‎ →‎Regras Lógicas desfazer
atuant 23h39min23h39min de 10 de março de 2010‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 7 623 bytes −11‎ →‎Teoremas e Inferências desfazer

atuant 19h10min19h10min de 4 de novembro de 2009‎ He7d3r.bot discussão contribs‎ m 7 634 bytes 0‎ moveu Lógica: Cálculo Proposicional Clássico: Cálculo de Sequêntes para Lógica/Cálculo Proposicional Clássico/Cálculo de Sequêntes: usando a barra como separador para organizar os capítulos do livro desfazer

atuant 22h03min22h03min de 13 de outubro de 2009‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 7 634 bytes 0‎ →‎Teoremas e Inferências desfazer

atuant 05h16min05h16min de 10 de agosto de 2009‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 7 634 bytes +95‎ →‎Teoremas e Inferências desfazer
atuant 05h13min05h13min de 10 de agosto de 2009‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 7 539 bytes +6‎ →‎Regras desfazer

atuant 20h33min20h33min de 10 de junho de 2009‎ PatiBot discussão contribs‎ m 4 202 bytes +5‎ correção de afluentes (usando AWB) desfazer

atuant 00h49min00h49min de 29 de março de 2008‎ Atoj discussão contribs‎ m 4 197 bytes +2‎ ortografia desfazer

atuant 21h17min21h17min de 23 de março de 2007‎ 200.186.130.2 discussão‎ 2 767 bytes +609‎ →‎Regras Lógicas desfazer
atuant 21h04min21h04min de 23 de março de 2007‎ 200.186.130.2 discussão‎ 2 158 bytes −120‎ Sem resumo de edição desfazer
atuant 21h01min21h01min de 23 de março de 2007‎ 200.186.130.2 discussão‎ 2 278 bytes +2 278‎ Nova página: {{navegação|Voltar para o índice de Cálculo Proposicional Clássico|[[Lógica: Cálculo Proposicional Clássico: Tablôs semânticos|T...

Obtido em "https://pt.wikibooks.org/wiki/Lógica/Cálculo_Proposicional_Clássico/Cálculo_de_Sequêntes"