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 ‎