segunda-feira, 31 de outubro de 2011
Exercite-se
Oi, galera! Hoje estou trazendo mais exercícios de lógica para testar seu raciocinio.
Clique aqui e boa diversão!
Para refletir: "É impossível governar perfeitamente o mundo, sem Deus e sem a Bíblia." (George Washington)
domingo, 16 de outubro de 2011
Sobre a lógica
Oi, galera! Alguns autores dividem a lógica matemática em:
- LÓGICA INDUTIVA: útil no estudo da teoria da probabilidade
- LÓGICA DEDUTIVA: que pode ser dividida em:
· LÓGICA CLÁSSICA: Considerada como o coração da lógica dedutiva, que chamamos de Cálculo de Predicados de Primeira Ordem com ou sem igualdade e de alguns de seus subsistemas.
Três Princípios regem a Lógica Clássica: da IDENTIDADE, da CONTRADIÇÃO e do TERCEIRO EXCLUÍDO.
· LÓGICAS COMPLEMENTARES DA CLÁSSICA: Complementam de algum modo a lógica clássica estendendo o seu domínio. Exemplos: lógicas modal , deôntica, epistêmica , etc.
· LÓGICAS NÃO - CLÁSSICAS: Assim caracterizadas por derrogarem algum ou alguns dos princípios da lógica clássica. Exemplos: paracompletas e intuicionistas (derrogam o princípio do terceiro excluído); paraconsistentes (derrogam o princípio da contradição); não-aléticas (derrogam o terceiro excluído e o da contradição); não-reflexivas (derrogam o princípio da identidade); probabilísticas, polivalentes, fuzzy-logic, etc...
Para refletir: "É impossível escravizar mental ou socialmente um povo que lê a Bíblia. Os princípios são os fundamentos da liberdade humana." (Dorace Greeley)
- LÓGICA INDUTIVA: útil no estudo da teoria da probabilidade
- LÓGICA DEDUTIVA: que pode ser dividida em:
· LÓGICA CLÁSSICA: Considerada como o coração da lógica dedutiva, que chamamos de Cálculo de Predicados de Primeira Ordem com ou sem igualdade e de alguns de seus subsistemas.
Três Princípios regem a Lógica Clássica: da IDENTIDADE, da CONTRADIÇÃO e do TERCEIRO EXCLUÍDO.
· LÓGICAS COMPLEMENTARES DA CLÁSSICA: Complementam de algum modo a lógica clássica estendendo o seu domínio. Exemplos: lógicas modal , deôntica, epistêmica , etc.
· LÓGICAS NÃO - CLÁSSICAS: Assim caracterizadas por derrogarem algum ou alguns dos princípios da lógica clássica. Exemplos: paracompletas e intuicionistas (derrogam o princípio do terceiro excluído); paraconsistentes (derrogam o princípio da contradição); não-aléticas (derrogam o terceiro excluído e o da contradição); não-reflexivas (derrogam o princípio da identidade); probabilísticas, polivalentes, fuzzy-logic, etc...
Para refletir: "É impossível escravizar mental ou socialmente um povo que lê a Bíblia. Os princípios são os fundamentos da liberdade humana." (Dorace Greeley)
Assinar:
Postagens (Atom)