Contente

• Consistente

  
  

  Na lógica dedutiva clássica, uma teoria consistente é aquela que não contém uma contradição. A falta de contradição pode ser definida em termos semânticos ou sintáticos. A definição semântica afirma que uma teoria é consistente se, e somente se, tiver um modelo, ou seja, existe uma interpretação sob a qual todas as fórmulas da teoria são verdadeiras. Este é o sentido usado na lógica aristotélica tradicional, embora na lógica matemática contemporânea o termo satisfatório seja usado. A definição sintática declara que uma teoria T { displaystyle T} é consistente se, e somente se, não houver uma fórmula such { displaystyle varphi}, de modo que ambos φ { displaystyle varphi} e sua negação ¬ φ { displaystyle lnot varphi} são elementos do conjunto T { displaystyle T}. Seja A { displaystyle A} um conjunto de frases fechadas (informalmente "axiomas") e set A⟩ { displaystyle langle A rangle} o conjunto de frases fechadas que podem ser obtidas de A { displaystyle A} em algumas (especificadas, (possivelmente implicitamente) sistema dedutivo formal. O conjunto de axiomas A { displaystyle A} é consistente quando is A⟩ { displaystyle langle A rangle} existe. Se existe um sistema dedutivo para o qual essas definições semânticas e sintáticas são equivalentes para qualquer teoria formulada em uma determinada dedução lógica, a lógica é chamada completa. A completude do cálculo sentencial foi comprovada por Paul Bernays em 1918 e Emil Post em 1921, enquanto a completude do cálculo predicado foi comprovada por Kurt Gödel em 1930, e as provas de consistência para aritmética restrita em relação ao esquema do axioma de indução foram comprovadas por Ackermann (1924), von Neumann (1927) e Herbrand (1931). Lógicas mais fortes, como lógica de segunda ordem, não estão completas. Uma prova de consistência é uma prova matemática de que uma teoria específica é consistente. O desenvolvimento inicial da teoria da prova matemática foi impulsionado pelo desejo de fornecer provas de consistência financeira para toda a matemática como parte do programa Hilberts. O programa Hilberts foi fortemente impactado por teoremas da incompletude, que mostraram que teorias de prova suficientemente fortes não podem provar sua própria consistência (desde que sejam de fato consistentes). Embora a consistência possa ser comprovada por meio da teoria dos modelos, ela geralmente é feita de maneira puramente sintática, sem a necessidade de fazer referência a algum modelo da lógica. A eliminação do corte (ou equivalente à normalização do cálculo subjacente, se houver) implica a consistência do cálculo: como obviamente não há prova de falsidade sem corte, não há contradição em geral.

  
  

• Consistente (adjetivo)

  erro de ortografia consistente

• Consistente (adjetivo)

  De natureza regular e confiável. do final do dia 16 c. no sentido obsoleto "consistindo em"

  "O uso consistente de Chinglish na China pode ser muito irritante, além de alguma diversão inicial".

  "Ele é muito consistente em suas escolhas políticas: economia boa ou ruim, ele sempre vota trabalhista!"

• Consistente (adjetivo)

  Compatível, concordante.

• Consistente (adjetivo)

  De um conjunto de afirmações: tais que nenhuma contradição se segue logicamente delas.

• Consistente (substantivo)

  Objetos ou fatos que são coexistentes ou de acordo um com o outro.

• Consistente (substantivo)

  Uma espécie de penitente a quem foi permitido ajudar a receber os santos sacramentos.

• Consistente (adjetivo)

  
  

  Possuir firmeza ou firmeza; empresa; Difícil; sólido.

• Consistente (adjetivo)

  Ter acordo consigo ou com outra coisa; tendo harmonia entre suas partes; possuindo unidade; concordante; harmonioso; congruente; compatível; uniforme; não é contraditório.

• Consistente (adjetivo)

  Viver ou agir de acordo com as crenças ou profissões.

• Consistente (adjetivo)

  (às vezes seguido por `com) de acordo ou consistente ou confiável;

  "testemunho consistente com os fatos conhecidos"

  "Decidi que o curso de conduta que estou seguindo é consistente com meu senso de responsabilidade como presidente em tempos de guerra"

• Consistente (adjetivo)

  marcado por uma relação ordenada, lógica e esteticamente consistente de partes;

  "um argumento lógico"

  "a apresentação ordenada"

• Consistente (adjetivo)

  capaz de ser reproduzido;

  "resultados surpreendentemente reproduzíveis podem ser obtidos"

• Consistente (adjetivo)

  o mesmo em toda a estrutura ou composição;

  "carvão betuminoso é frequentemente tratado como um produto consistente e homogêneo"