Lógica: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Tipos de logica
Etiquetas: Remoção considerável de conteúdo Editor Visual
Foram revertidas as edições de 168.195.182.22 (usando Huggle) (3.3.3)
Linha 155:
 
:* '''[[Lógica paracompleta]]''': Esta lógica derroga o princípio do terceiro excluído, isto é, uma oração pode não ser totalmente verdadeira, nem totalmente falsa. Um exemplo de oração que pode ser assim classificada é: "fulano conhece a [[China]]". Se ele nunca esteve lá, essa oração não é verdadeira. Mas se mesmo nunca tendo estado lá ele estudou a [[história da China]] por [[livro]]s, fez amigos [[chineses]], viu muitas fotos da China, etc; essa oração também não é falsa.
 
* '''[[Lógica difusa]]''': Mais conhecida como "lógica fuzzy", trabalha com o conceito de graus de pertinência. Assim como a lógica paracompleta, derroga o princípio do terceiro excluído, mas de maneira comparativa, valendo-se de um elemento chamado [[conjunto fuzzy]]. Enquanto na lógica clássica supõe-se verdadeira uma oração do tipo "se algo é quente, não é frio" e na lógica paracompleta pode ser verdadeira a oração "algo pode não ser quente nem frio", na lógica difusa poder-se-ia dizer: "algo é 30% quente, 25% morno e 45% frio". Esta lógica tem grande aplicação na [[informática]] e na [[estatística]], sendo inclusive a base para indicadores como o [[coeficiente de Gini]] e o [[IDH]].
* Lógica de base n: uma das forma de lógica de base n era um tipo de lógica difusa. No entanto podemos fazer enumerações de zero a n ou usar um alfabeto n-ário numa máquina de Turing, relacioná-las e com base nisso tirar vantagens.<ref name=":0">"Uma lógica causa-efeito" de Osvaldo Mendes</ref> Esta lógica pode ainda relacionar-se com muitos assuntos em informática.<ref name=":0" />
 
== Testes de lógica ==