Teorema

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.

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

Los teoremes 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 rellació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
Un teorema rique d'un marcu lóxicu; esti marcu va consistir nun conxuntu d'axomes (sistema axomáticu) y un procesu d'inferencia, que dexa derivar teoremes a partir de los axomes y teoremes 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) *F*1, ...,*F<sub>n</sub>*, tales que cada *F<sub>i</sub>* ye o bien un axoma o bien un teorema que se sigue de dos fórmules anteriores *F<sub>j</sub>* y *F<sub>k</sub>* (tales que *j<i* y *k<i*) por aciu una regla de deducción. Dada una demostración como l'anterior si l'elementu final *F<sub>n</sub>* 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.

## Teoremes intervinculados
Siendo *p* y *q* dos proposiciones llógrense los siguientes teoremes, intercambiando la hipótesis cola conclusión y depués considerando les negaciones de les proposiciones orixinales.

Teorema direutu p
⇒ q 

Teorema recíprocu q
⇒ p

Teorema inversu ¬p
⇒ ¬q

Teorema contrarrecíproco
¬q ⇒ ¬p

## Terminoloxía en Matemátiques
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 (matemátiques)|Lema]]***: una afirmación que forma parte d'un teorema más ampliu. Delles vegaes, los lemas adquieren tanta importancia que se vuelven teoremes, como'l lema de Gauss y el lema de Zorn, por casu. Estos, por sigo mesmos, son teoremes, anque, por razones históriques, la pallabra *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. 

* Conxetura o hipótesis, un enunciáu matemáticu que se supón verdaderu, entá non demostráu . Como exemplos, de llarga data: la conxetura de Goldbach o la hipótesis de Riemann.

## Teoremes dientro d'otres ciencies
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 teoremes. 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 procuru'l términu *teorema* pa referise a eses afirmaciones demostrables o deducibles de supuestos «más básicos».

## Teoremes célebres
Dalgunos de los teoremes más conocíos son:
* Teorema de Pappus-Guldin
* Teorema de Pitágoras
* Teorema de Bayes
* Teorema del binomiu
* Teorema de muestreo de Nyquist-Shannon
* Teorema de incompletitud de Gödel
* Teorema de la llende central
* Teorema de los númberos primos
* Teorema de la diverxencia
* Teorema de Bell
* Teorema de Stokes
* Teorema de Tales
* Teorema de los ceros de Hilbert
* Teorema de Frobenius
* Teorema de Fermat-Wiles
* Teorema de Morley
* Teorema de Shannon

## Ver tamién
* Sistema axomáticu
* Tautoloxía

## Referencies

### Bibliografía
* 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

* Symploke: Teorema