Teorema

De Wikipedia
Saltar a navegación Saltar a la gueta
Esta imaxe amuesa la relación ente les cadenes de calteres,. En dellos sistemes formales, sicasí, el conxuntu de los teoremas coincide col de les fórmules bien formaes.

Un teorema ye una proposición qu'afirma una verdá demostrable. En matemátiques, ye toa proposición que partiendo d'un supuestu (hipótesis), afirma una racionabilidad (tesis) non evidente por sigo mesma.[1]

Tamién puede dicise qu'un teorema ye una fórmula bien formada que puede ser demostrada dientro d'un sistema formal, partiendo de axomas o otros teoremas. Demostrar teoremas ye un asuntu central na lóxica matemática. Los teoremas tamién pueden ser espresaos en llinguaxe natural formalizáu.

Los teoremas xeneralmente tienen un númberu de premises que tienen de ser numberaes o esclariaes de mano. La conclusión del teorema ye una afirmación lóxica o matemática que ye verdadera so les condiciones daes. El conteníu informativo del teorema ye la relación qu'esiste ente les hipótesis y la tesis o la conclusión.

Llámase corolariu a una afirmación lóxica que ye consecuencia inmediata d'un teorema, pudiendo ser demostrada usando les propiedaes del teorema de referencia.

Teorema[editar | editar la fonte]

Un teorema rique d'un marcu lóxicu; esti marcu va consistir nun conxuntu de axomas (sistema axomáticu) y un procesu de inferencia, que dexa derivar teoremas a partir de los axomes y teoremas que fueron derivaos pero nun son axomes.

En lóxica proposicional y de primer orde, cualquier afirmación demostrada denominar teorema. Más concretamente en lóxica llámase demostración a una secuencia finita de fórmules bien formaes (fórmules lóxiques bien formaes) F1, ...,Fn, tales que cada Fi ye o bien un axoma o bien un teorema que se sigue de dos fórmules anteriores Fj y Fk (tales que j<i y k<i) por aciu una riegla de deducción. Dada una demostración como l'anterior si l'elementu final Fn nun ye un axoma entós ye un teorema. Resumiendo lo anterior puede dicise formalmente, un teorema ye una fórmula bien formada, que nun ye un axoma, y que puede ser l'elementu final de dalguna demostración, esto ye, un teorema ye una fórmula bien formada pa la cual esiste una demostración.

Teoremas intervinculados[editar | editar la fonte]

Siendo p y q dos proposiciones llógrense los siguientes teoremas, intercambiando la hipótesis cola conclusión y depués considerando les negaciones de les proposiciones orixinales.[2]

Teorema directu p

⇒ q

Teorema recíprocu q ⇒ p

Teorema inversu ¬p

⇒ ¬q

Teorema contrarrecíproco ¬q ⇒ ¬p[3]

Terminoloxía en Matemátiques[editar | editar la fonte]

En matemática una afirmación tien de ser interesante o importante dientro de la comunidá matemática pa ser considerada un teorema. Les afirmaciones menos importantes denominar:

  • Lema: una afirmación que forma parte d'un teorema más ampliu. Delles vegaes, los lemas adquieren tanta importancia que se vuelven teoremas, como'l lema de Gauss y el lema de Zorn, por casu. Estos, por sigo mesmos, son teoremas, anque, por razones históriques, la palabra lema permanez nel so nome.
  • Corolariu: una afirmación que sigue darréu a un teorema. Una proposición A ye un corolariu d'una proposición o teorema B si A puede ser deducida cenciellamente de B.
  • Proposición: una afirmación o resultancia ensin acomuñar a nengún teorema en particular.Munchos espertos usen proposición como sinónimu de teorema.[4]

Teoremas dientro d'otres ciencies[editar | editar la fonte]

Con frecuencia en física o economía delles afirmaciones importantes que pueden ser deducíes o xustificaes a partir d'otres afirmaciones o hipótesis básiques llámense comúnmente teoremas. Sicasí, frecuentemente les árees de conocencia onde apaecen eses afirmaciones con frecuencia nun fueron formalizaes afechiscamente en forma de sistema lóxicu polo que puramente tendría d'usase con precuru'l términu teorema pa referise a eses afirmaciones demostrables o deducibles de supuestos «más básicos».

Teoremas célebres[editar | editar la fonte]

Dalgunos de los teoremas más conocíos son:

Ver tamién[editar | editar la fonte]

Referencies[editar | editar la fonte]

  1. WordReference: teorema
  2. Cotlar- Ratto de Sadosky Introducción a la álxebra/ nociones d'álxebra llineal. Eudeba, Buenos Aires ( 1977)
  3. Irving M. Copi. Lóxica simbólica. ISBN 968-26-0134-7
  4. Carlos Chávez. Notes de matemática Editorial San Marcos, Lima (1991)

Bibliografía[editar | editar la fonte]

  • Barwise, J. (1982). Handbook of Mathematical Logic. Elsevier. ISBN 9780080933641.
  • Belnap, N. (1977). "A useful four-valued logic". In Dunn & Eppstein, Modern uses of multiple-valued logic. Reidel: Boston.
  • Bocheński, J. M. (1959). A précis of mathematical logic. Translated from the French and German editions by Otto Bird. D. Reidel, Dordrecht, South Holland.
  • Bocheński, J. M. (1970). A history of formal logic. 2nd Edition. Translated and edited from the German edition by Ivo Thomas. Chelsea Publishing, New York.

Enllaces esternos[editar | editar la fonte]



Teorema