You are on page 1of 3

Teorema

1 Teorema

Cadenas de caracteres

Un teorema requiere de un marco lgico; este marco consistir en un conjunto de axiomas (sistema axiomtico) y
un proceso de inferencia, el cual permite derivar teoremas
a partir de los axiomas y teoremas que han sido derivados
previamente.

Frmulas
bien formadas
(Lenguaje formal)

En lgica proposicional y de primer orden, cualquier armacin demostrada se denomina teorema. Ms concretamente en lgica se llama demostracin a una secuencia
nita de frmulas bien formadas (frmulas lgicas bien
formadas) F 1 , ...,Fn, tales que cada Fi es o bien un axioma o bien un teorema que se sigue de dos frmulas anteriores Fj y Fk (tales que j<i y k<i) mediante una regla
de deduccin. Dada una demostracin como la anterior
si el elemento nal Fn no es un axioma entonces es un
teorema. Resumiendo lo anterior puede decirse formalmente, un teorema es una frmula bien formada, que no
es un axioma, y que puede ser el elemento nal de alguna
demostracin, es decir, un teorema es una frmula bien
formada para la cual existe una demostracin.

Teoremas

Esta imagen muestra la relacin entre las cadenas de caracteres,


las frmulas bien formadas y los teoremas. En algunos sistemas
formales, sin embargo, el conjunto de los teoremas coincide con
el de las frmulas bien formadas.

2 Teoremas intervinculados

Siendo p y q dos proposiciones se obtienen los siguientes


teoremas, intercambiando la hiptesis con la conclusin
y luego considerando las negaciones de las proposiciones
Un teorema es una proposicin que arma una verdad originales. [2]
demostrable. En matemticas, es toda proposicin que
Teorema directo
partiendo de un supuesto (hiptesis), arma una verdad
pq
(tesis) no evidente por s misma.[1]
Un teorema es una frmula bien formada que puede ser Teorema recproco q p
demostrada dentro de un sistema formal, partiendo de Teorema inverso p q
axiomas u otros teoremas. Demostrar teoremas es un
[3]
asunto central en la lgica matemtica. Los teoremas Teorema contrarrecproco q p
tambin pueden ser expresados en lenguaje natural formalizado.

3 Terminologa en Matemticas

Un teorema generalmente posee un nmero de premisas


que deben ser enumeradas o aclaradas de antemano. Luego existe una conclusin, una armacin lgica o matemtica, la cual es verdadera bajo las condiciones dadas.
El contenido informativo del teorema es la relacin que
existe entre las hiptesis y la tesis o conclusin.

En matemtica una armacin debe ser interesante o importante dentro de la comunidad matemtica para ser
considerada un teorema. Las armaciones menos importantes se denominan:

Se llama corolario a una armacin lgica que sea consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.

Lema: una armacin que forma parte de un teorema ms amplio. Algunas veces, los lemas adquieren
tanta importancia que se vuelven teoremas, como el
1

7
lema de Gauss y el lema de Zorn, por ejemplo. Estos, por s mismos, son teoremas, aunque, por razones histricas, la palabra lema permanece en su
nombre.

Teorema de los ceros de Hilbert


Teorema de Frobenius
Teorema de Fermat-Wiles

Corolario: una armacin que sigue inmediatamente a un teorema. Una proposicin A es un corolario
de una proposicin o teorema B si A puede ser deducida sencillamente de B.

Teorema de Morley

Proposicin: una armacin o resultado no asociado a ningn teorema en particular.Muchos expertos


usan proposicin como sinnimo de teorema. [4]

6 Vase tambin

Conjetura o hiptesis, un enunciado matemtico que


se supone verdadero, an no demostrado . Como
ejemplos, de larga data: la conjetura de Goldbach
o la hiptesis de Riemann.

Teoremas dentro de otras ciencias

REFERENCIAS

El Teorema de Katherine

Sistema axiomtico
Tautologa

7 Referencias
[1] WordReference: teorema
[2] Cotlar- Ratto de Sadosky Introduccin al lgebra/ nociones de lgebra lineal. Eudeba, Buenos Aires ( 1977)
[3] Irving M. Copi. Lgica simblica. ISBN 968-26-0134-7

Con frecuencia en fsica o economa algunas armaciones importantes que pueden ser deducidas o justicadas a [4] Carlos Chvez. Notas de matemtica Editorial San Marcos, Lima (1991)
partir de otras armaciones o hiptesis bsicas se llaman
comnmente teoremas. Sin embargo, frecuentemente las
reas de conocimiento donde aparecen esas armaciones
con frecuencia no han sido formalizadas adecuadamente 7.1 Bibliografa
en forma de sistema lgico por lo que estrictamente debe Barwise, J. (1982). Handbook of Mathematical Lora usarse con cautela el trmino teorema para referirse a
gic. Elsevier. ISBN 9780080933641.
esas armaciones demostrables o deducibles de supuestos
ms bsicos.
Belnap, N. (1977). A useful four-valued logic. In
Dunn & Eppstein, Modern uses of multiple-valued
logic. Reidel: Boston.

Teoremas clebres

Algunos de los teoremas ms conocidos son:


Teorema de Pitgoras
Teorema de Bayes
Teorema del binomio

Bocheski, J. M. (1959). A prcis of mathematical


logic. Translated from the French and German editions by Otto Bird. D. Reidel, Dordrecht, South Holland.
Bocheski, J. M. (1970). A history of formal logic.
2nd Edition. Translated and edited from the German
edition by Ivo Thomas. Chelsea Publishing, New
York.

Teorema de muestreo de Nyquist-Shannon


Teorema de incompletitud de Gdel
Teorema del lmite central

7.2 Enlaces externos

Wikimedia Commons alberga contenido multimedia sobre Teoremas. Commons

Wikcionario tiene deniciones y otra informacin sobre teorema.Wikcionario

Teorema de los nmeros primos


Teorema de la divergencia
Teorema de Bell
Teorema de Stokes
Teorema de Tales

Symploke: Teorema

Origen del texto y las imgenes, colaboradores y licencias

8.1

Texto

Teorema Fuente: https://es.wikipedia.org/wiki/Teorema?oldid=93141740 Colaboradores: Sabbut, Moriel, Robbot, Vivero, Rosarino, Elwikipedista, Tano4595, Troodon, Loco085, Magister Mathematicae, RobotQuistnix, Platonides, Yrbot, Beto29, Gtz, Tomatejc, Paintman,
BOTpolicia, JMCC1, Retama, Baiji, Davius, Antur, Escarlati, Ggenellina, Ingenioso Hidalgo, Thijs!bot, Botones, Isha, Rrmsjp, JAnDbot,
VanKleinen, Gsrdzl, TXiKiBoT, Humberto, Netito777, Rei-bot, Tuertooriginal, FaustoxXx, Jtico, Judas Ali-Qu, AlnoktaBOT, VolkovBot,
Technopat, Tonopano, Queninosta, Matdrodes, AlleborgoBot, 3coma14, Muro Bot, BotMultichill, SieBot, Mel 23, Greek, Camiloalcubo2,
Ivanics, Jarisleif, HUB, Farisori, Leonpolanco, Alejandrocaro35, Furti, Petruss, Poco a poco, PetrohsW, Alexbot, Juan Mayordomo, SilvonenBot, UA31, AVBOT, David0811, Angel GN, Diegusjaimes, MelancholieBot, Romerin, CarsracBot, Luckas-bot, Yonidebot, Felipe
Schenone, SuperBraulio13, Almabot, Manuelt15, Jkbw, Rubinbot, Muro Bot 2, Esemigens, Botarel, ManuBOT15, Gusbelluwiki, TobeBot,
RedBot, PatruBOT, GrouchoBot, Edslov, EmausBot, ZroBot, Fidulario, Grillitus, Fargue, ChuispastonBot, Khiari, MerlIwBot, Chrishonduras, Saulpila2000, RichardOrton26, Acratta, Juanman33, Johnbot, Creosota, Adad-1990, Syum90, Legobot, Eyetheunlord, Addbot,
JacobRodrigues, Jarould, AlvaroMolina, Hiperdoxa, JaimeDes, Meechum, Nicole Slater, Juanmanco855, Solotetes y Annimos: 112

8.2

Imgenes

Archivo:Commons-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public domain Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used
to be slightly warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version,
created by Reidab.
Archivo:Entidades_sintcticas_2.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/5/5f/Entidades_sint%C3%A1cticas_
2.svg Licencia: CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Felipe Schenone
Archivo:Wiktionary-logo-es.png Fuente: https://upload.wikimedia.org/wikipedia/commons/0/06/Wiktionary-logo-es.png Licencia: CC
BY-SA 3.0 Colaboradores: originally uploaded there by author, self-made by author Artista original: es:Usuario:Pybalo

8.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0