En lgica y matemticas, un sistema axiomtico consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas.

Ejemplos de sistemas axiomticos 1 deductivos son la geometra euclidiana compilada por Euclides en los Elementos y el sistema axiomtico de la lgica proposicional.

Axioma

A veces se compara a los axiomas con semillas, porque de ellos surge toda la teora de la cual son axiomas.

Un axioma es una proposicin que se considera evidente y se acepta sin requerir demostracin previa. En un sistema hipottico-deductivo es toda proposicin no deducida (de otras), sino que constituye una regla general de pensamiento lgico, por oposicin a los postulados.1 En lgica y matemticas, un axioma es una premisa que, por considerarse evidente, se acepta sin demostracin, como punto de partida para demostrar otras frmulas. Tradicionalmente los axiomas se eligen de las consideradas afirmaciones evidentes, porque permiten deducir las dems frmulas. En lgica un postulado es una proposicin no necesariamente evidente: una frmula bien formada (planteada) de un lenguaje formal utilizada en unadeduccin para llegar a una conclusin. En matemtica se distinguen dos tipos de proposiciones: axiomas lgicos y postulados.

La lgica del axioma es partir de una premisa calificada de verdadera por s misma (el axioma), y de sta inferir otras proposiciones por medio del mtodo deductivo, de lo cual se obtienen conclusiones coherentes con el axioma. Los axiomas han de cumplir slo un requisito: de ellos, y de reglas de inferencia, han de deducirse todas las dems proposiciones de una teora dada.

Modus ponendo ponens

(Redirigido desde Modus ponens)

En lgica, modus ponendo ponens (en latn, modo que afirmando afirma), tambin llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:

Si A, entonces B A Por lo tanto, B Por ejemplo, un razonamiento que sigue la forma del modus ponens podra ser: Si est soleado, entonces es de da. Est soleado. Por lo tanto, es de da. Otra manera ms formal de presentar el modus ponens es:

Axioma lgico[editar editar fuente]

Los axiomas son ciertas frmulas en un lenguaje formal que son universalmente vlidas, esto es frmulas satisfechas por cualquier estructura y por cualquier funcin variable. En trminos coloquiales son enunciados verdaderos en cualquier mundo posible, bajo cualquier interpretacin posible, con cualquier asignacin de valores. Comnmente se toma como axioma un conjunto mnimo de tautologas suficientes para probar una teora.

Ejemplo 1[editar editar fuente]

En clculo proposicional es comn tomar como axiomas lgicos todas las frmulas siguientes: 1. 2. 3. donde , ,y , pueden ser cualquier frmula en el lenguaje.

Cada uno de estos patrones es un esquema de axiomas, una regla para generar un nmero infinito de axiomas. Por ejemplo si p, q, y r son variables proposicionales, entonces y 1 y por lo tanto son axiomas. son instancias del esquema

Puede probarse que, con solamente estos tres esquemas de axiomas y la regla de inferencia modus ponens, todas las tautologas del clculo proposicional son demostrables. Tambin se puede probar que ningn par de estos esquemas es suficiente para demostrar todas las tautologas utilizando modus ponens. Este conjunto de esquemas axiomticos tambin se utiliza en el clculo de predicados, pero son necesarios ms axiomas lgicos.

Ejemplo 2
Sea un lenguaje de primer orden. Para cada variable vlida. la frmula es universalmente

Esto significa que, para cualquier smbolo variable , la frmula 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 sintctico del smbolo . De hecho sucede esto en Lgica matemtica. Otro ejemplo interesante es el de instanciacin universal , mediante el cuantificador universal. Para una frmula por en en un lenguaje de primer orden , una variable y un trmino sustituible

, la frmula

es vlida universalmente.

En trminos 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 estara en capacidad de afirmar .

De nuevo se afirma que la frmula es vlida. Esto es, se debe ser capaz de aportar una prueba de este hecho, o -mejor expresado- una metaprueba. En efecto, estos ejemplos son metateoremas de la teora de lgica matemtica, ya que la referencia es meramente al concepto demostrativo en s. Adems se puede extender a una generalizacin existencial utilizando el cuantificador existencial. Esquema axiomtico. Para una frmula trmino sustituible por en , la en un lenguaje de primer orden , una variable y un

es universalmente vlida.