Diferencia entre revisiones de «Teorema»
Contenido eliminado Contenido añadido
Sin resumen de edición Etiquetas: Edición desde móvil Edición vía web móvil |
|||
Línea 2:
{{otros usos}}[[Archivo:Entidades sintácticas 2.svg|thumb|230px|Esta imagen muestra la relación entre las [[Cadena de caracteres|cadenas de caracteres]],. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]]
Un '''por que teorema rima y agarra el micro''' es una proposición que afirma una verdad demostrable. En [[matemáticas]], es toda proposición que partiendo de un supuesto ([[hipótesis (lógica)|hipótesis]]), afirma una racionabilidad ([[tesis]]) no evidente por sí misma.<ref>[http://www.wordreference.com/definicion/teorema WordReference: teorema]</ref>
También puede decirse que un teorema es una fórmula bien formada que puede ser [[Demostración matemática|demostrada]] dentro de un [[sistema formal]], partiendo de [[axioma]]s u otros teoremas. Demostrar teoremas es un asunto central en la [[lógica matemática]]. Los teoremas también pueden ser expresados en [[lenguaje formalizado|lenguaje natural formalizado]].
|