Que es un teorema Que es un teorema?

Un teorema es una afirmacin que puede ser demostrada como verdadera dentro de un marco lgico a la ves logra ser afirmacin que puede ser demostrada verdadera dentro de un marco lgico. Un teorema generalmente posee un nmero de condiciones que pueden ser enumeradas en los teoremas o aclaradas de antemano. Luego existe una conclusin, una afirmacin matemtica, la cual es verdadera bajo las condiciones en las que se trabaja. El contenido informativo del teorema es la relacin que existe entre la hiptesis y la tesis o conclusin. En la parte de la matemticas generales una informacin es interesante o importante en la comunidad matemticas se le llama o considera teorema. La menos importantes se les llama o denominan de la siguiente manera: Lema: una afirmacin que forma parte de un teorema ms largo. Por supuesto, la distincin entre teoremas y lemas es arbitraria. El Lema de Gauss y el Lema de Zorn, por ejemplo, son considerados demasiado importantes para algunos autores, por lo cual consideran que la denominacin lema no es adecuada. Corolario: una afirmacin 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. Proposicin: un resultado no asociado a ningn teorema en particular. Una afirmacin matemtica que se cree verdadera pero no ha sido demostrada se denomina conjetura o hiptesis. Por ejemplo: la conjetura de Goldbach o la hiptesis de Riemann. Un teorema requiere cierto marco lgico, este marco consistir en un conjunto de axiomas, como tambin un proceso de inferencia, el cual permite derivar nuevos teoremas a partir de los axiomas y otros teoremas que han sido derivados anteriormente. En lgica preposicional, cualquier afirmacin demostrada se denomina teorema. En otras ciencias definicin que se le considera o se le denomina teorema por ejemplo en Fsica o en economa con frecuencia a aparece algunas arfimaciones importantes que pueden ser deducidas o justificadas a partir de otras afirmaciones o hiptesis bsicas se llaman comnmente teoremas. Sin embargo, frecuentemente las reas de conocimiento donde aparecen esas afirmaciones con frecuencia no han sido formalizadas adecuadamente en forma de sistema axiomtico por lo que estrictamente debera usarse con cautela el trmino teorema para referirse a esas afirmaciones demostrables o deducibles de supuestos "ms bsicos". Qu es reciproco de un teorema? El teorema recproco o directo; es el teorema donde la tesis es la hiptesis de un teorema o viceversa. El teorema reciproco es independiente del directo y la verdad falsedad de uno no implica la del otro. Sin embargo, hay un caso en el que el teorema recproco es vlido si lo es el directo. Este se produce cuando en una cuestin caben diversas hiptesis que se excluyen mutuamente y que, juntas, se complementan. En ste caso, de la verdad

del directo se deduce la del recproco y no siempre los teoremas recprocos son verdaderos. Lema: Es una proposicin o teorema preliminar que sirve de base a la demostracin de un teorema. Escolio: Observacin que se hace sobre un teorema previamente demostrado. Reciproca. Es la proposicin compuesta en las que se da la condicin de implicacin pero con las proposiciones en orden inverso: Se nota: qp Continuando con el ejemplo anterior ejemplo con las dos mismas proposiciones la proposicin reciproca ser: Si Marcos pasa el examen, entonces, estudia. O tambin es vlido: Marcos pasa el examen Implica estudiar. Y tambin puede ser: Marcos pasa el examen solo si estudia. Qu es el contrareciproc de un teorema? Dos teorema se llama contrareciproc cuando uno de ellos es el contrario de reciproco (o el reciproco del contrario) del otro. Dos teoremas son contrareciprocos son equivalentes, lo que se le expresa diciendo que si se verifica la hiptesis se verifica la tesis, queda probado el contrareciproc, y si no se verifica la tesis no se verifica la hiptesis. Contra recproca. Es la reciproca de la inversa condicional. Se nota: q p . Siguiendo con el ejemplo: Si Marcos NO pasa el examen, entonces, NO estudia. O tambin es vlido: Marcos NO pasa el examen Implica NO estudiar. Y tambin puede ser: Marcos NO pasa el examen solo si NO estudia .