Contenido

• Consistente

  
  

  En la lógica deductiva clásica, una teoría consistente es aquella que no contiene una contradicción. La falta de contradicción puede definirse en términos semánticos o sintácticos. La definición semántica establece que una teoría es consistente si y solo si tiene un modelo, es decir, existe una interpretación bajo la cual todas las fórmulas en la teoría son verdaderas. Este es el sentido utilizado en la lógica aristotélica tradicional, aunque en la lógica matemática contemporánea se utiliza el término satisfactoria. La definición sintáctica establece que una teoría T { displaystyle T} es consistente si y solo si no hay una fórmula φ { displaystyle varphi} tal que tanto φ { displaystyle varphi} como su negación ¬ φ { displaystyle lnot varphi} son elementos del conjunto T { displaystyle T}. Sea A { displaystyle A} un conjunto de oraciones cerradas (informalmente "axiomas") y ⟨A⟩ { displaystyle langle A rangle} el conjunto de oraciones cerradas demostrables a partir de A { displaystyle A} debajo de algunas (especificadas, posiblemente implícitamente) sistema deductivo formal. El conjunto de axiomas A { displaystyle A} es consistente cuando ⟨A⟩ { displaystyle langle A rangle} es. Si existe un sistema deductivo para el cual estas definiciones semánticas y sintácticas son equivalentes para cualquier teoría formulada en un deductivo particular lógica, la lógica se llama completa. Paul Bernays en 1918 y Emil Post en 1921 demostraron la integridad del cálculo sentencial, mientras que Kurt Gödel probó la integridad del cálculo predicado en 1930, y Ackermann demostró las pruebas de consistencia para la aritmética restringida con respecto al esquema del axioma de inducción. (1924), von Neumann (1927) y Herbrand (1931). Lógicas más fuertes, como la lógica de segundo orden, no están completas. Una prueba de consistencia es una prueba matemática de que una teoría particular es consistente. El desarrollo temprano de la teoría de la prueba matemática fue impulsado por el deseo de proporcionar pruebas de consistencia finita para todas las matemáticas como parte del programa de Hilbert. El programa de Hilbert se vio fuertemente afectado por los teoremas de incompletitud, que mostraron que las teorías de prueba suficientemente fuertes no pueden probar su propia consistencia (siempre que sean de hecho consistentes). Aunque la consistencia se puede demostrar mediante la teoría de modelos, a menudo se hace de una manera puramente sintáctica, sin necesidad de hacer referencia a algún modelo de la lógica. La eliminación de corte (o la normalización equivalente del cálculo subyacente si hay uno) implica la consistencia del cálculo: dado que obviamente no hay una prueba de falsedad sin corte, no hay contradicción en general.

  
  

• Consistente (adjetivo)

  falta de ortografía consistente

• Consistente (adjetivo)

  De naturaleza regular y confiable. desde finales del siglo XVI c. en el sentido obsoleto "que consiste en"

  "El uso constante de Chinglish en China puede ser muy molesto, aparte de cierta diversión inicial".

  "Es muy consistente en sus elecciones políticas: economía buena o mala, ¡siempre vota a los laboristas!"

• Consistente (adjetivo)

  Compatible, acorde.

• Consistente (adjetivo)

  De un conjunto de declaraciones: de modo que lógicamente no se derive ninguna contradicción de ellas.

• Consistente (sustantivo)

  Objetos o hechos que son coexistentes, o de acuerdo unos con otros.

• Consistente (sustantivo)

  Una especie de penitente a quien se le permitía ayudar a recibir los santos sacramentos.

  
  

• Consistente (adjetivo)

  Poseer firmeza o fijeza; firma; difícil; sólido.

• Consistente (adjetivo)

  Tener un acuerdo consigo mismo o con otra cosa; teniendo armonía entre sus partes; poseer unidad; conforme; armonioso; congruo; compatible; uniforme; No es contradictorio.

• Consistente (adjetivo)

  Vivir o actuar de conformidad con las propias creencias o profesiones.

• Consistente (adjetivo)

  (a veces seguido de `con) de acuerdo o consistente o confiable;

  "testimonio consistente con los hechos conocidos"

  "He decidido que el curso de conducta que estoy siguiendo es coherente con mi sentido de responsabilidad como presidente en tiempo de guerra"

• Consistente (adjetivo)

  marcado por una relación de partes ordenada, lógica y estéticamente consistente;

  "un argumento lógico"

  "la presentación ordenada"

• Consistente (adjetivo)

  capaz de ser reproducido;

  "Se pueden obtener resultados asombrosamente reproducibles"

• Consistente (adjetivo)

  lo mismo en toda su estructura o composición;

  "El carbón bituminoso a menudo se trata como un producto consistente y homogéneo"