Contribuições do(a) usuário(a) Joao t carvalho

2 de julho de 2007

• 12h09min12h09min de 2 de julho de 2007 dif his −1 Constante matemática →Constante na lógica
• 12h08min12h08min de 2 de julho de 2007 dif his +3 428 Constante matemática
• 11h43min11h43min de 2 de julho de 2007 dif his −513 Constante matemática
• 11h31min11h31min de 2 de julho de 2007 dif his +1 Fórmula bem formada →Linguagem da lógica clássica de primeira ordem
• 11h29min11h29min de 2 de julho de 2007 dif his +86 Fórmula bem formada

29 de junho de 2007

• 13h56min13h56min de 29 de junho de 2007 dif his 0 Fórmula bem formada →Linguagem da lógica clássica de primeira ordem
• 12h31min12h31min de 29 de junho de 2007 dif his 0 Fórmula bem formada →Linguagem da lógica clássica proposicional
• 12h24min12h24min de 29 de junho de 2007 dif his +13 Fórmula bem formada →Linguagem da lógica clássica de primeira ordem
• 12h20min12h20min de 29 de junho de 2007 dif his 0 Fórmula bem formada →Linguagem da lógica clássica proposicional

18 de junho de 2007

• 03h41min03h41min de 18 de junho de 2007 dif his −81 Fórmula lógica →Bibliografia
• 03h37min03h37min de 18 de junho de 2007 dif his −98 Fórmula atômica →Bibliografia
• 03h37min03h37min de 18 de junho de 2007 dif his −1 Fórmula atômica →Bibliografia
• 03h35min03h35min de 18 de junho de 2007 dif his −4 Fórmula atômica →Bibliografia
• 03h32min03h32min de 18 de junho de 2007 dif his −10 Fórmula bem formada →Introdução
• 03h32min03h32min de 18 de junho de 2007 dif his −21 Fórmula bem formada →Introdução
• 03h31min03h31min de 18 de junho de 2007 dif his +149 Fórmula bem formada
• 03h27min03h27min de 18 de junho de 2007 dif his +108 Fórmula bem formada →{{Links externos}}
• 03h25min03h25min de 18 de junho de 2007 dif his −22 Fórmula atômica
• 03h23min03h23min de 18 de junho de 2007 dif his +22 Fórmula lógica
• 03h22min03h22min de 18 de junho de 2007 dif his +144 Fórmula bem formada →Veja também
• 03h09min03h09min de 18 de junho de 2007 dif his +182 Fórmula bem formada →Linguagem da lógica clássica de primeira ordem

14 de junho de 2007

• 15h57min15h57min de 14 de junho de 2007 dif his −3 Usuário(a):Joao t carvalho →Exemplos do uso de constantes em LCPO atual
• 15h53min15h53min de 14 de junho de 2007 dif his +4 847 N Usuário(a):Joao t carvalho Constantes

11 de junho de 2007

• 16h24min16h24min de 11 de junho de 2007 dif his +55 Ajuda:Página de testes →{{página de testes}}
• 16h15min16h15min de 11 de junho de 2007 dif his +69 Ajuda:Página de testes