Contribuições do(a) usuário(a) Dalmo 3

5 de julho de 2007

• 09h55min09h55min de 5 de julho de 2007 dif his +24‎ Lista de teorias de primeira ordem ‎ →‎Álgebras Booleanas
• 09h54min09h54min de 5 de julho de 2007 dif his +2‎ Lista de teorias de primeira ordem ‎ →‎Conjunto bem-ordenado
• 09h53min09h53min de 5 de julho de 2007 dif his +2‎ Lista de teorias de primeira ordem ‎ →‎Ordem
• 09h52min09h52min de 5 de julho de 2007 dif his +3 917‎ Lista de teorias de primeira ordem ‎
• 09h37min09h37min de 5 de julho de 2007 dif his 0‎ Relação binária ‎

4 de julho de 2007

• 00h30min00h30min de 4 de julho de 2007 dif his −12‎ Relação binária ‎ →‎{{Ver também}}
• 00h24min00h24min de 4 de julho de 2007 dif his +149‎ Relação binária ‎ →‎Referências
• 00h21min00h21min de 4 de julho de 2007 dif his +656‎ Lista de teorias de primeira ordem ‎ →‎Referências

3 de julho de 2007

• 23h03min23h03min de 3 de julho de 2007 dif his +4‎ Relação binária ‎
• 22h59min22h59min de 3 de julho de 2007 dif his +2 657‎ Relação binária ‎
• 22h52min22h52min de 3 de julho de 2007 dif his 0‎ Operação binária ‎
• 15h27min15h27min de 3 de julho de 2007 dif his +23‎ Lista de teorias de primeira ordem ‎ →‎Ver também
• 15h26min15h26min de 3 de julho de 2007 dif his −9 739‎ Lista de teorias de primeira ordem ‎

2 de julho de 2007

• 07h43min07h43min de 2 de julho de 2007 dif his −65‎ Estrutura (lógica) ‎ →‎Homomorfismo e Isomorfismo
• 07h37min07h37min de 2 de julho de 2007 dif his +2‎ Estrutura (lógica) ‎ →‎Homomorfismo e Isomorfismo

30 de junho de 2007

• 23h13min23h13min de 30 de junho de 2007 dif his +48‎ N Teorias de primeira ordem ‎ ← feito redirecionamento para Lista de teorias de primeira ordem
• 23h12min23h12min de 30 de junho de 2007 dif his +48‎ N Teoria de primeira ordem ‎ ← feito redirecionamento para Lista de teorias de primeira ordem

29 de junho de 2007

• 05h04min05h04min de 29 de junho de 2007 dif his −412‎ Relação binária ‎

20 de junho de 2007

• 15h30min15h30min de 20 de junho de 2007 dif his +195‎ Relação binária ‎
• 15h29min15h29min de 20 de junho de 2007 dif his 0‎ Lista de teorias de primeira ordem ‎
• 15h27min15h27min de 20 de junho de 2007 dif his +161‎ Lista de teorias de primeira ordem ‎
• 15h18min15h18min de 20 de junho de 2007 dif his +12 767‎ N Relação binária ‎ ← nova página: {{wikificar}} Na matemática e na lógica, uma '''relação binária''' ou ''2''-ária é uma relação entre dois elementos. Uma relação biná...
• 15h16min15h16min de 20 de junho de 2007 dif his +18 013‎ N Lista de teorias de primeira ordem ‎ ← nova página: {{wikificar}} Na lógica, uma '''teoria de primeira ordem''' é um conjunto de axiomas de uma linguagem de primeira ordem. ==...
• 03h37min03h37min de 20 de junho de 2007 dif his +1‎ N Usuário(a):Dalmo 3 ‎ ← nova página: .
• 03h17min03h17min de 20 de junho de 2007 dif his +682‎ Aridade ‎
• 02h48min02h48min de 20 de junho de 2007 dif his +41‎ Aridade ‎ →‎Relação nulária
• 02h13min02h13min de 20 de junho de 2007 dif his +144‎ Relação ternária ‎ →‎Funções
• 02h07min02h07min de 20 de junho de 2007 dif his +32‎ Relação ternária ‎ →‎Funções
• 02h01min02h01min de 20 de junho de 2007 dif his +2‎ Relação ternária ‎ →‎Funções
• 02h01min02h01min de 20 de junho de 2007 dif his +9‎ Relação ternária ‎ →‎Funções
• 01h53min01h53min de 20 de junho de 2007 dif his +2‎ m Relação ternária ‎
• 01h53min01h53min de 20 de junho de 2007 dif his −84‎ Relação ternária ‎ →‎Funções
• 01h48min01h48min de 20 de junho de 2007 dif his +2‎ Relação ternária ‎
• 01h48min01h48min de 20 de junho de 2007 dif his +266‎ Relação ternária ‎
• 01h36min01h36min de 20 de junho de 2007 dif his +34‎ N Operador ternário ‎ ← feito redirecionamento para Operação ternária atual
• 01h20min01h20min de 20 de junho de 2007 dif his +4‎ Operação binária ‎ →‎Definição
• 01h20min01h20min de 20 de junho de 2007 dif his −83‎ Operação binária ‎ →‎Definição
• 01h07min01h07min de 20 de junho de 2007 dif his +7‎ Operação binária ‎ →‎Elemento inverso
• 01h07min01h07min de 20 de junho de 2007 dif his +20‎ Operação binária ‎ →‎Distributividade
• 01h06min01h06min de 20 de junho de 2007 dif his +17‎ Operação binária ‎ →‎Associatividade
• 01h05min01h05min de 20 de junho de 2007 dif his +1‎ Operação binária ‎ →‎Identidade
• 01h05min01h05min de 20 de junho de 2007 dif his −8‎ Operação binária ‎ →‎Identidade
• 01h04min01h04min de 20 de junho de 2007 dif his +16‎ Operação binária ‎ →‎Identidade
• 01h03min01h03min de 20 de junho de 2007 dif his +8‎ Operação binária ‎ →‎Comutatividade
• 01h03min01h03min de 20 de junho de 2007 dif his 0‎ Operação binária ‎ →‎Fechamento
• 00h49min00h49min de 20 de junho de 2007 dif his −176‎ Função unária ‎ ← feito redirecionamento para Operação unária atual
• 00h44min00h44min de 20 de junho de 2007 dif his +33‎ N Estrutura (logica) ‎ ← feito redirecionamento para Estrutura (lógica)
• 00h32min00h32min de 20 de junho de 2007 dif his +33‎ N Estrutura de interpretação ‎ ← feito redirecionamento para Estrutura (lógica)
• 00h31min00h31min de 20 de junho de 2007 dif his +33‎ N Interpretação (lógica) ‎ ← feito redirecionamento para Estrutura (lógica)
• 00h31min00h31min de 20 de junho de 2007 dif his +90‎ Interpretação (desambiguação) ‎