Teorema (lógica)

Teorema (lógica)

Teorema (lógica)

Un teorema es una afirmación que puede ser demostrada como verdadera dentro de un marco lógico. Demostrar teoremas es el asunto central en la matemática.

Un teorema generalmente posee un número de condiciones que deben ser enumeradas o aclaradas de antemano y que se denominan respuesta. Luego existe una conclusión, una afirmación matemática, la cual es verdadera bajo las condiciones en las que se trabaja. El contenido informativo del teorema es la relación que existe entre la hipótesis y la tesis o conclusión.

Se llamará corolario a una afirmación lógica que sea consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado

Contenido

Teoremas dentro de la matemática

En matemática una afirmación debe ser interesante o importante dentro de la comunidad matemática para ser considerada un teorema. Las afirmaciones menos importantes se denominan:

  • Lema: una afirmación que forma parte de un teorema más largo. Por supuesto, la distinción entre teoremas y lemas es arbitraria. El Lema de Gauss y el Lema de Zorn, por ejemplo, son considerados demasiado importantes per se para algunos autores, por lo cual consideran que la denominación lema no es adecuada.
  • Corolario: una afirmación que sigue inmediatamente a un teorema. Una proposición A es un corolario de una proposición o teorema B si A puede ser deducida sencillamente de B.
  • Proposición: un resultado no asociado a ningún teorema en particular.

Una afirmación matemática que se cree verdadera pero no ha sido demostrada se denomina conjetura o hipótesis. Por ejemplo: la conjetura de Goldbach o la hipótesis de Riemann.

Teoremas dentro de la lógica y la lógica matemática

Un teorema requiere de un marco lógico; este marco consistirá en un conjunto de axiomas (Véase también: sistema axiomático) y un proceso de inferencia, el cual permite derivar teoremas a partir de los axiomas y teoremas que han sido derivados previamente. En lógica matemática y en lógica proposicional, cualquier afirmación demostrada se denomina teorema. Más concretamente en lógica matemática se llama demostración a una secuencia finita de fórmulas lógicas bien formadas F1, ...,Fn, tales que cada Fi es o bien un axioma o bien un teorema que se sigue de dos fórmulas anteriores Fj y Fk (tales que j<i y k<i) mediante una regla de deducción . Dada una demostración como la anterior si elemento final Fn no es un axioma entonces es un teorema.


Teoremas dentro de otras ciencias

Con frecuencia en física o economía algunas afirmaciones importantes que pueden ser deducidas o justificadas a partir de otras afirmaciones o hipótesis básicas se llaman comúnmente teoremas. Sin embargo, frecuentemente las áreas de conocimiento donde aparecen esas afirmaciones con frecuencia no han sido formalizadas adecuadamente en forma de sistema axiomático por lo que estrictamente debería usarse con cautela el término teorema para referirse a esas afirmaciones demostrables o deducibles de supuestos "más básicos".

Véase también

  • Teorema de incompletitud de Gödel
  • Sistema axiomático
Obtenido de "Teorema (l%C3%B3gica)"

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Teorema (revista) — Teorema Cuarenta años 1971 2011 Teorema es una revista de filosofía fundada en Valencia (España) en 1971 por el profesor Manuel Garrido de cuya Universidad era a la sazón catedrático de Lógica. En su primera época, Teorema se publicó sin… …   Wikipedia Español

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Teorema — Para otros usos de este término, véase Teorema (desambiguación). Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas… …   Wikipedia Español

  • Teorema de Löwenheim-Skolem — En lógica matemática, el teorema de Löwenheim Skolem es un teorema que establece que si una teoría de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable.[1] Más precisamente: sea T un subconjunto… …   Wikipedia Español

  • Lógica plurivalente — Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso.[1] Distintas lógicas plurivalentes… …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Lógica doxástica — La lógica doxástica (del griego antiguo δόξα, doxa, creencia ) es una lógica modal que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión para significar el razonador c cree que p es… …   Wikipedia Español

  • Teorema de compacidad — En lógica matemática, el teorema de compacidad establece que un conjunto (posiblemente infinito) de fórmulas bien formadas de la lógica de primer orden tiene un modelo si todos sus subconjuntos finitos tienen un modelo. Es decir, para todo… …   Wikipedia Español

  • Teorema de Löb — En lógica matemática, el teorema de Löb establece que en una teoría con aritmética de Peano, para cualquier fórmula P, se puede demostrar que si P es demostrable entonces P , entonces P es demostrable. O sea: si , entonces donde Dem(#P) significa …   Wikipedia Español

  • Teorema — (Del gr. theorema, meditación.) ► sustantivo masculino 1 LÓGICA Proposición que afirma una verdad demostrable a través de un razonamiento. 2 LÓGICA, MATEMÁTICAS Expresión de un sistema formal, demostrable en el interior de dicho sistema. * * *… …   Enciclopedia Universal

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”