| Wikipédia em português - A enciclop... |
Lógica classica
Lógica clássica
Lógica clássica identifica uma classe de Lógica matemática que têm sido mais intensamente estudado e mais amplamente utilizado. A classe é, por vezes, chamada de lógica padrão. Elas são caracterizadas por um número de propriedades:
- Lei do terceiro excluído e Dupla negação;
- Princípio da não contradição, e o Princípio de explosão;
- Monotonicidade de vinculação e Idempotência de vinculação;
- Comutatividade da conjunção;
- Teoremas de De Morgan: cada conectivo lógico é duplo a outro;
Enquanto não implicou com as condições anteriores, as discussões contemporâneas da lógica clássica normalmente incluem apenas Lógica proposicional e Lógica de primeira ordem.
| Veja mais na Wikipédia.org... |
© Esse artigo usa material da Wikipédia® sob a licença Licença GNU de Documentação Livre e sob nos termos da licença Creative Commons Attribution-ShareAlike
