Guia N 1 Matematicas


Ministerio De Educación
Instituto Académico Panamá
Nombre:
Henry Delgado
Nombre Profe:
Sol Guevara
Guía:
Nº3
2015




Índice
Introducción
Copia de guía
Contenido
Conclusión
Bibliografía

Introducción
Las primeras referencias que se tienen sobre la noción de función aparecen en el mundo antiguo unidas a problemas astronómicos y vienen dadas en forma de tablas. En algunos escritos de losastrónomos babilonios aparecen funciones tabuladas con las que pretendían, por métodos cuantitativos, buscar regularidades para predecir fenómenos que se repetían periódicamente, como los movimientos lunares y planetarios.A través de la historia el concepto función, nació ligado a la idea de dependencia de cantidades variables, en unión al estudio del movimiento, en época de Galileo Galilei, y con lacaracterización dada por Nicolás de Oresme: "Todo lo que varía, se sepa medir o no, lo podemos imaginar como una cantidad continua representada por un segmento". Esta concepción de carácter físico y geométrico antecedió a la noción cartesiana de dependencia numérica. Este concepto resultó demasiado restrictivo para las necesidades de la física matemática, por lo que la idea de función debió pasar porun largo proceso de generalización y clarificación.














1.La lógica matemática es una parte de la lógica y la matemática, que consiste en el estudio matemático de la lógica, y en la aplicación de dicho estudio a otras áreas de la matemática y de las ciencias. La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica.
2. En lógica, una reglade inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones). Por ejemplo, la regla de inferencia llamada Modus ponendo ponens toma dos premisas, uno en la forma "Si p entonces q" y otra en la forma "p", y vuelve la conclusión "q". La regla es válida con respecto a la semántica de lalógica clásica (así como la semántica de muchas otras lógicas no clásicas), en el sentido de que si las premisas son verdaderas (bajo una interpretación), entonces también lo será la conclusión.
3. En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones). Por ejemplo,la regla de inferencia llamada Modus ponendo ponens toma dos premisas, uno en la forma "Si p entonces q" y otra en la forma "p", y vuelve la conclusión "q". La regla es válida con respecto a la semántica de la lógica clásica (así como la semántica de muchas otras lógicas no clásicas), en el sentido de que si las premisas son verdaderas (bajo una interpretación), entonces también lo será laconclusión.
4. Un axioma es una proposición que se considera «evidente» y se acepta sin requerir demostración previa. En un sistema hipotético-deductivo es toda proposición no deducida (de otras), sino que constituye una regla general de pensamiento lógico (por oposición a los postulados).
5. Los axiomas son verdades incuestionables universalmente válidas y evidentes, que se utilizan a menudo comoprincipios en la construcción de una teoría o como base para una argumentación. La palabra axioma deriva del sustantivo griego αξιωμα, que significa "lo que parece justo" o "lo que se considera evidente, sin necesidad de demostración". El término viene del verbo griego αξιοειν (axioein), que significa "valorar", que a su vez procede de αξιος (axios): "valioso", "válido" o "digno". Entre los filósofosgriegos antiguos, un axioma era lo que parecía verdadero sin necesidad de prueba alguna. En muchos contextos, axioma es sinónimo de postulado, ley o principio.
6. Un teorema es una proposición que afirma una verdad demostrable. En matemáticas, es toda proposición que partiendo de un supuesto (hipótesis), afirma una verdad (tesis) no evidente por sí misma.Un teorema es una fórmula bien formada...