Contribuições do(a) usuário(a) 200.17.143.31

3 de julho de 2007

• 15h37min15h37min de 3 de julho de 2007 dif his −239‎ Dedução natural ‎ →‎Eliminação do existencial
• 13h40min13h40min de 3 de julho de 2007 dif his +32‎ Função de verdade ‎
• 13h09min13h09min de 3 de julho de 2007 dif his +144‎ Dedução natural ‎ →‎Validade do sistema
• 13h02min13h02min de 3 de julho de 2007 dif his +8‎ Dedução natural ‎ →‎Introdução do existencial
• 12h58min12h58min de 3 de julho de 2007 dif his +6‎ Dedução natural ‎ →‎Introdução da disjunção
• 12h57min12h57min de 3 de julho de 2007 dif his +5‎ Dedução natural ‎ →‎Introdução da conjunção
• 12h55min12h55min de 3 de julho de 2007 dif his +4‎ Dedução natural ‎ →‎Introdução da implicação
• 12h37min12h37min de 3 de julho de 2007 dif his +16‎ Dedução natural ‎ →‎Eliminação do universal
• 01h33min01h33min de 3 de julho de 2007 dif his −2‎ Quantificação ‎ →‎Quantificação na linguagem natural
• 01h30min01h30min de 3 de julho de 2007 dif his +7 726‎ Quantificação ‎
• 00h59min00h59min de 3 de julho de 2007 dif his +55‎ Quantificação ‎ →‎Quantificação na linguagem natural
• 00h43min00h43min de 3 de julho de 2007 dif his +1‎ Universo de discurso ‎
• 00h42min00h42min de 3 de julho de 2007 dif his +28‎ Universo de discurso ‎
• 00h39min00h39min de 3 de julho de 2007 dif his +218‎ Universo de discurso ‎

1 de julho de 2007

• 22h58min22h58min de 1 de julho de 2007 dif his +132‎ Quantificação universal ‎
• 22h06min22h06min de 1 de julho de 2007 dif his 0‎ Quantificação ‎
• 21h53min21h53min de 1 de julho de 2007 dif his +4 029‎ Quantificação ‎

29 de junho de 2007

• 20h14min20h14min de 29 de junho de 2007 dif his 0‎ Par ordenado ‎ →‎A definição padrão de Kuratowski
• 20h03min20h03min de 29 de junho de 2007 dif his +1‎ Par ordenado ‎ →‎Pares ordenados na teoria dos conjuntos
• 19h58min19h58min de 29 de junho de 2007 dif his −132‎ Par ordenado ‎ →‎Definição rigorosa
• 19h55min19h55min de 29 de junho de 2007 dif his +74‎ Par ordenado ‎ →‎Definição rigorosa
• 19h52min19h52min de 29 de junho de 2007 dif his +2‎ Par ordenado ‎ →‎Definição rigorosa
• 19h51min19h51min de 29 de junho de 2007 dif his +286‎ Par ordenado ‎ →‎Definição rigorosa
• 19h20min19h20min de 29 de junho de 2007 dif his −23‎ Par ordenado ‎ →‎Pares ordenados na teoria dos conjuntos
• 19h19min19h19min de 29 de junho de 2007 dif his +23‎ Par ordenado ‎ →‎Pares ordenados na teoria dos conjuntos
• 19h05min19h05min de 29 de junho de 2007 dif his −14‎ Relação de recorrência ‎ →‎Algoritmos Definidos por Recorrência
• 19h04min19h04min de 29 de junho de 2007 dif his +18‎ Relação de recorrência ‎ →‎Algoritmos Definidos por Recorrência
• 19h01min19h01min de 29 de junho de 2007 dif his −5‎ Relação de recorrência ‎ →‎Operações Definidas por Recorrência
• 18h59min18h59min de 29 de junho de 2007 dif his +2‎ Relação de recorrência ‎ →‎Operações Definidas por Recorrência
• 18h58min18h58min de 29 de junho de 2007 dif his +3‎ Relação de recorrência ‎ →‎Operações Definidas por Recorrência
• 18h42min18h42min de 29 de junho de 2007 dif his +3‎ Relação de recorrência ‎ →‎Conjuntos Definidos por Recorrência
• 18h36min18h36min de 29 de junho de 2007 dif his 0‎ Relação de recorrência ‎ →‎Seqüências Definidas por Recorrência
• 18h36min18h36min de 29 de junho de 2007 dif his +1‎ Relação de recorrência ‎ →‎Seqüências Definidas por Recorrência

22 de junho de 2007

• 15h46min15h46min de 22 de junho de 2007 dif his +1‎ História do Japão ‎ →‎Princípio da monarquia

21 de junho de 2007

• 21h00min21h00min de 21 de junho de 2007 dif his 0‎ Harry Belafonte ‎ →‎Música
• 20h56min20h56min de 21 de junho de 2007 dif his 0‎ Harry Belafonte ‎ →‎Oposição ao governo Bush
• 20h52min20h52min de 21 de junho de 2007 dif his −1‎ Harry Belafonte ‎ →‎Ativismo Político
• 20h49min20h49min de 21 de junho de 2007 dif his 0‎ Harry Belafonte ‎ →‎Oposição ao governo Bush

19 de junho de 2007

• 11h38min11h38min de 19 de junho de 2007 dif his −25‎ HTML ‎ →‎Editores HTML

18 de junho de 2007

• 23h52min23h52min de 18 de junho de 2007 dif his +1 086‎ N Universo de discurso ‎ ← nova página: O domínio de discurso, também chamado de Universo de Discurso, é uma ferramenta analítica usada na lógica dedutiva, especialmente na lógica de predicados. Indic...
• 23h34min23h34min de 18 de junho de 2007 dif his +39‎ N Quantificadores universais ‎ ← feito redirecionamento para Quantificação universal atual
• 23h07min23h07min de 18 de junho de 2007 dif his +41‎ N Quantificador existencial ‎ ← feito redirecionamento para Quantificação existencial
• 23h06min23h06min de 18 de junho de 2007 dif his +39‎ N Quantificador universal ‎ ← feito redirecionamento para Quantificação universal atual
• 22h59min22h59min de 18 de junho de 2007 dif his +29‎ N Quantificador ‎ ← feito redirecionamento para Quantificadores
• 22h56min22h56min de 18 de junho de 2007 dif his +29‎ N Quantificacao ‎ ← feito redirecionamento para Quantificação atual
• 14h59min14h59min de 18 de junho de 2007 dif his +88‎ Engenharia de materiais ‎ →‎Cursos e Universidades

17 de junho de 2007

• 20h14min20h14min de 17 de junho de 2007 dif his +1‎ Lógica proposicional ‎ →‎Referências
• 19h39min19h39min de 17 de junho de 2007 dif his +29‎ Função de verdade ‎
• 19h14min19h14min de 17 de junho de 2007 dif his +81‎ Função de verdade ‎
• 18h59min18h59min de 17 de junho de 2007 dif his −82‎ Função de verdade ‎