Contribuições do(a) usuário(a) Daniel.bmaranhao

25 de fevereiro de 2015

• 17h25min17h25min de 25 de fevereiro de 2015 dif his −19‎ Cálculo formal ‎ Etiqueta: Editor Visual
• 17h22min17h22min de 25 de fevereiro de 2015 dif his +2 998‎ N Cálculo formal ‎ nova página: Na lógica matemática, o '''cálculo formal''' é um cálculo que é sistemático, porém sem uma justificativa rigorosa. Isso significa que estamos manipulando os símbolos em...
• 14h51min14h51min de 25 de fevereiro de 2015 dif his +1 519‎ N Teorema da consistência conjunta de Robinson ‎ nova página: O '''Teorema da Consistência Conjunta de Robinson''' é um importante teorema da lógica matemática, sendo relacionado com a Interpolação de Craig e a Definibilidade d...

19 de fevereiro de 2015

• 23h52min23h52min de 19 de fevereiro de 2015 dif his +42‎ Domínio vazio ‎
• 23h50min23h50min de 19 de fevereiro de 2015 dif his +14‎ Domínio vazio ‎
• 23h03min23h03min de 19 de fevereiro de 2015 dif his −62‎ Domínio vazio ‎ Etiqueta: Editor Visual
• 23h00min23h00min de 19 de fevereiro de 2015 dif his +62‎ Domínio vazio ‎
• 22h58min22h58min de 19 de fevereiro de 2015 dif his +2 848‎ N Domínio vazio ‎ nova página: Na Lógica de Primeira Ordem o domínio vazio é o conjunto vazio possuindo nenhum membro. Na lógica tradicional e clássica, domínios são restritam... Etiqueta: Página nova sem referências
• 18h41min18h41min de 19 de fevereiro de 2015 dif his −484‎ Posto de quantificadores ‎ →‎Referências = Etiqueta: Editor Visual
• 18h40min18h40min de 19 de fevereiro de 2015 dif his −16‎ Posto de quantificadores ‎
• 18h40min18h40min de 19 de fevereiro de 2015 dif his +951‎ Posto de quantificadores ‎ Etiqueta: Editor Visual
• 18h38min18h38min de 19 de fevereiro de 2015 dif his +2 112‎ N Posto de quantificadores ‎ nova página: Na lógica matemática, o '''posto de quantificadores''' de uma fórmula é a profundidade da árvore de seus quantificadores, desempenhando um papel es... Etiquetas: Internetês ou miguxês Página nova sem referências