Contribuições do(a) usuário(a) 201.73.157.197
De 201.73.157.197 discussão registo de bloqueios registos registo do filtro de edições
17 de dezembro de 2006
- 20h14min20h14min de 17 de dezembro de 2006 dif his −35 Skolemização →Exemplos
- 20h11min20h11min de 17 de dezembro de 2006 dif his +1 Skolemização →Exemplos
- 20h10min20h10min de 17 de dezembro de 2006 dif his +286 Skolemização →Exemplos
- 20h01min20h01min de 17 de dezembro de 2006 dif his +540 Skolemização →Exemplo
- 19h45min19h45min de 17 de dezembro de 2006 dif his +30 Skolemização →Usos da skolemização
- 19h42min19h42min de 17 de dezembro de 2006 dif his 0 Skolemização →Usos da skolemização
- 19h41min19h41min de 17 de dezembro de 2006 dif his +1 Skolemização →Usos da skolemização
- 19h39min19h39min de 17 de dezembro de 2006 dif his −2 Skolemização →Usos da skolemização
- 19h38min19h38min de 17 de dezembro de 2006 dif his +1 409 Skolemização
- 18h40min18h40min de 17 de dezembro de 2006 dif his +1 061 Skolemização →Como funciona
- 17h50min17h50min de 17 de dezembro de 2006 dif his +1 441 Skolemização →Como funciona
- 17h02min17h02min de 17 de dezembro de 2006 dif his +1 592 Skolemização
- 16h45min16h45min de 17 de dezembro de 2006 dif his −1 Forma normal prenex →Deslocando os quantificadores