Lógica/Cálculo Quantificacional Clássico/Dedução Natural no CQC: 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 21h09min21h09min de 7 de maio de 2015‎ Marcos Antônio Nunes de Moura discussão contribs‎ m 39 163 bytes −6‎ Foram revertidas as edições de 177.18.147.237 (disc) para a última revisão de He7d3r desfazer [verificada automaticamente]
atuant 20h12min20h12min de 7 de maio de 2015‎ 177.18.147.237 discussão‎ 39 169 bytes +6‎ →‎Eliminação do Existencial: -- Arruma falta de variável quantificada desfazer Etiqueta: Editor Visual

atuant 12h54min12h54min de 20 de março de 2012‎ He7d3r discussão contribs‎ m 39 163 bytes −1‎ typo desfazer [verificada por He7d3r]
atuant 12h31min12h31min de 20 de março de 2012‎ He7d3r.bot discussão contribs‎ m 39 164 bytes −650‎ 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

atuant 19h14min19h14min de 5 de outubro de 2011‎ 187.53.185.203 discussão‎ 39 814 bytes +2‎ →‎Eliminação do Universal desfazer
atuant 19h12min19h12min de 5 de outubro de 2011‎ 187.53.185.203 discussão‎ 39 812 bytes +2‎ →‎Eliminação do Universal desfazer

atuant 18h56min18h56min de 7 de março de 2011‎ He7d3r.bot discussão contribs‎ m 39 810 bytes −349‎ Não é mais preciso inserir a navegação manualmente, basta manter a lista de capítulos do livro atualizada. Ver detalhes. desfazer

atuant 00h32min00h32min de 21 de fevereiro de 2011‎ Alguém discussão contribs‎ m 40 159 bytes −18‎ Sem resumo de edição desfazer

atuant 16h28min16h28min de 26 de dezembro de 2010‎ He7d3r.bot discussão contribs‎ 40 177 bytes −8‎ correção de afluentes desfazer

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

atuant 19h09min19h09min de 4 de novembro de 2009‎ He7d3r.bot discussão contribs‎ m 40 225 bytes 0‎ moveu Lógica: Cálculo Quantificacional Clássico: Dedução Natural no CQC para Lógica/Cálculo Quantificacional Clássico/Dedução Natural no CQC: usando a barra como separador para organizar os capítulos do livro desfazer

atuant 16h00min16h00min de 1 de agosto de 2007‎ Marcos Antônio Nunes de Moura discussão contribs‎ 40 225 bytes +31‎ Sem resumo de edição desfazer

atuant 01h40min01h40min de 13 de julho de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 40 194 bytes +21‎ {{candidatomodulo}} desfazer

atuant 19h50min19h50min de 26 de junho de 2007‎ 201.54.129.80 discussão‎ 40 173 bytes 0‎ →‎Intercâmbio de Quantificadores 1 desfazer

atuant 22h47min22h47min de 18 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 40 173 bytes +74‎ →‎Exercícios desfazer

atuant 19h40min19h40min de 17 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 40 099 bytes +18‎ →‎Exercício desfazer
atuant 19h38min19h38min de 17 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 40 081 bytes +153‎ →‎Introdução do Existencial desfazer
atuant 19h14min19h14min de 17 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 39 928 bytes +1 378‎ →‎Regras para Quantificadores desfazer
atuant 01h05min01h05min de 17 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 38 550 bytes −6‎ →‎Eliminação do Universal desfazer

atuant 01h19min01h19min de 13 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 38 556 bytes −711‎ Removendo algo que ficará melhor em outro lugar. desfazer
atuant 01h18min01h18min de 13 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 39 267 bytes −11‎ →‎Exercício 2 desfazer

atuant 05h21min05h21min de 12 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 39 278 bytes +95‎ →‎Exercício 2 desfazer
atuant 05h16min05h16min de 12 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 39 183 bytes +188‎ →‎Exercício desfazer
atuant 03h28min03h28min de 12 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 38 995 bytes 0‎ →‎Introdução do Universal desfazer

atuant 05h43min05h43min de 10 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 856 bytes −3 173‎ A demonstração está incorreta. Depois eu arrumo isto. Até lá, melhor tirar daí. desfazer
atuant 03h58min03h58min de 10 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 40 029 bytes +3 398‎ →‎Eliminação do Existencial desfazer

Obtido em "https://pt.wikibooks.org/wiki/Lógica/Cálculo_Quantificacional_Clássico/Dedução_Natural_no_CQC"