ESTUDIANTE


INDICE
1. INDICE…………………………………………………………………………………………………………………………...
2. INTRODUCCION……………………………………………………………………………………………………………….
3. METODO DE IGUALACION……………………………………………………………………………………………….
4. METODO DE SUSTITUCION……………………………………………………………………………………………..
5. METODO DE SUMA Y RESTA…………………………………………………………………………………………….6. METODO DE DETERMINANTES………………………………………………………………………………………….
7. COCCLUSIONES…………………………………………………………………………………………………………………
8. BIBLIOGRAFIAS……………………………………………………………………………………………………………….






















INTRODUCCION
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 todaproposición no deducida (de otras), sino que constituye una regla general de pensamiento lógico (por oposición a los postulados).1
un axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente los axiomas se eligen de las consideradas «afirmaciones evidentes», porque permiten deducir las demás fórmulas.En lógica un postulado es una proposición no necesariamente evidente: una fórmula bien formada (planteada) de un lenguaje formal utilizada en una deducción para llegar a una conclusión.
En matemática se distinguen dos tipos de proposiciones: axiomas lógicos y postulados.
La lógica del axioma es partir de una premisa calificada de verdadera por sí misma (el axioma), y de ésta inferirotras proposiciones por medio del método deductivo, de lo cual se obtienen conclusiones coherentes con el axioma. A partir de los axiomas, y de reglas de inferencia, han de deducirse todas las demás proposiciones de una teoría dada.
Axioma lógico
Los axiomas son ciertas fórmulas en un lenguaje formal que son universalmente válidas, esto es fórmulas satisfechas por cualquier estructura y por cualquier función variable.En términos coloquiales son enunciados verdaderos en cualquier mundo posible, bajo cualquier interpretación posible, con cualquier asignación de valores. Comúnmente se toma como axioma un conjunto mínimo de tautologías suficientes para probar una teoría.
Ejemplo 1
En cálculo proposicional es común tomar como axiomas lógicos todas las fórmulas siguientes:


,
donde , , y  pueden sercualquier fórmula en el lenguaje.
Cada uno de estos patrones es un esquema de axiomas, una regla para generar un número infinito de axiomas. Por ejemplo si p, q, y r son variables proposicionales, entonces  y  son instancias del esquema 1 y por lo tanto son axiomas.
Puede probarse que, con solamente estos tres esquemas de axiomas y la regla de inferencia modus ponens, todas las tautologías del cálculoproposicional son demostrables. También se puede probar que ningún par de estos esquemas es suficiente para demostrar todas las tautologías utilizando modus ponens. Este conjunto de esquemas axiomáticos también se utiliza en el cálculo de predicados, pero son necesarios más axiomas lógicos.
Ejemplo 2
Sea  un lenguaje de primer orden. Para cada variable  la fórmula  es universalmente válida.
Estosignifica que, para cualquier símbolo variable , la fórmula  puede considerarse axioma. Para no incurrir en vaguedad o en una serie infinita de «nociones primitivas», primero se necesita una idea de lo que se desea expresar mediante , o definir un uso puramente formal y sintáctico del símbolo . De hecho sucede esto en Lógica matemática.
Otro ejemplo interesante es el de «instanciación universal», mediante el cuantificador universal. Para una fórmula  en un lenguaje de primer orden , una variable  y un término sustituible por  en , la fórmula  es válida universalmente.
En términos informales este ejemplo permite afirmar que si se sabe que cierta propiedad  se cumple para toda  y que si  es un objeto particular en la estructura, se estaría en capacidad de afirmar .
De nuevo se...