Wikipédia em português - A enciclop...
Download this dictionary
Lógica classica
REDIRECIONAMENTO
Lógica clássica
Veja mais na Wikipédia.org...
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