Sistemas Formalizados (Deducción axiomático)

Un sistema formal es un tipo de sistema lógico-deductivo constituido por

un lenguaje formal, una gramática formal que restringe cuales son las expresiones
correctamente formadas de dicho lenguaje y las reglas de inferencia y un conjunto
de axiomas que permite encontrar las proposiciones derivables de dichos
axiomas.

Los sistemas formales también han encontrado aplicación dentro de la informática,

la teoría de la información, y la estadística, para proporcionar
una definición rigurosa del concepto de demostración. La noción de sistema
formal corresponde a una formalización rigurosa y completa del concepto
de sistema axiomático, los cuales pueden ser expresados en lenguaje formal o
en lenguaje natural formalizado.

Llamamos formalización al acto de crear un sistema formal, con la que

pretendemos capturar y abstraer la esencia de determinadas características del
mundo real, en un modelo conceptual expresado en un determinado lenguaje
formal.

En la Teoría de la demostración, las demostraciones formales pueden expresarse

en el lenguaje de los sistemas formales, consistentes en axiomas y reglas de
inferencia. Los teoremas pueden ser obtenidos por medio de demostraciones
formales. Este punto de vista de las matemáticas ha sido denominado formalista;
aunque en muchas ocasiones este término conlleva una acepción peyorativa.

Un sistema así es la reducción de un lenguaje formalizado a meros símbolos,

lenguaje formalizado y simbolizado sin contenido material alguno; un lenguaje
reducido a mera forma que se expresa mediante fórmulas que reflejan las
relaciones sintácticas entre los símbolos y las reglas de formación y
transformación que permiten construir las fórmulas del sistema y pasar de una
fórmula a otra.1
El objetivo de un sistema formal es señalar como válidas determinadas cadenas.
Estas cadenas válidas se denominan teoremas. Para obtener los teoremas se
emplean las reglas de producción que convierten una cadena en otra. Hay ciertos
teoremas iniciales que no se obtienen de ninguna regla, éstos son
los axiomas que se suponen válidos por definición y se convierten en el germen de
producción de teoremas.

Nociones Generales de un sistema Formalizado sistemático

Un sistema formal se compone de lo siguiente:

1. Un conjunto finito de símbolos que se utilizan para la construcción de fórmulas.
Es el alfabeto o vocabulario.
2. Una gramática formal, es decir, un mecanismo para la construcción de fórmulas
bien formadas (abreviado: fbf ó wff)
3. Un conjunto de axiomas que deben ser fórmulas bien formadas.
4. Un conjunto de reglas de inferencia (mediante las cuales se obtienen
conclusiones en base a la información conocida)
5. Un conjunto de teoremas que incluye todas las fbf que se pueden derivar de los
axiomas o de otros teoremas mediante reglas de inferencia.

Las propiedades que deben cumplir los sistemas formales son:

1. CONSISTENCIA: No ha de ser posible demostrar en él una fórmula y su
negación.
2. COMPLETUD: Todas las fórmulas lógicamente válidas (verdaderas bajo
cualquier interpretación) han de ser demostrables a partir de los axiomas y las
reglas de inferencia.
3. DECIDIBILIDAD: Un sistema es decidible cuando existe al menos un método
efectivo (un algoritmo) para decidir si una fórmula cualquiera del lenguaje del
sistema es lógicamente válida o no.

Concepto de VERDAD en los sistemas formales:

En los sistemas formales se entiende la VERDAD como COHERENCIA. Esto es,
la verdad o falsedad de un enunciado depende de la relación que ese enunciado
mantiene con otros enunciados, perteneciendo todos a una teoría. Un enunciado
es verdadero si se encuentra en la adecuada relación de implicación con otros
enunciados. }

Ejemplos de axiomas y reglas de inferencia en la Lógica:

AXIOMAS:
(Significado de los símbolos: ┐= negación; V= disyunción)
Principio de no contradicción: ┐(a V ┐a) Afirma que una proposición y su
negación no pueden ser ambas verdaderas al mismo tiempo y en el mismo
sentido

Principio de identidad: a = a Afirma que toda entidad es idéntica a sí misma.

Principio del tercero excluido: (a V ┐a) Afirma que la disyunción de una

proposición y su negación es siempre verdadera.

ALGUNAS REGLAS DE INFERENCIA:

(Significado de los símbolos: ┐= negación; → = implicación; V = disyunción)

MP (Modus ponens) MT (Modus tollens) DN (Doble negación)

A→B A→B A
A ┐B ------
--------- --------- ┐┐A
B ┐A
Cp (Contraposición) Sil (Silogismo) SD (Silogismo
disyuntivo)
A→B A→B AVB
-------------- B→C ┐B
┐B → ┐ A ---------- ----------
A→C A
Sistema formalizado para el calculo proposicional
Una forma de construir un cálculo lógico es mediante un sistema
axiomático. Ya que los sistemas axiomáticos se conocen desde la antigüedad y
podemos poner como uno de los mejores ejemplos: el principio de
la geometría de Euclides. el fue el que desarrollo a lo que hoy en día conocemos
como la geometría, a partir de un conjunto de axiomas.

Podemos llegar a la conclusión y decir que un sistema axiomático procede

deduciendo todas las verdades, a las que se le llaman teoremas, de un conjunto lo
más sencillo e independiente de axiomas, que aceptamos como verdaderos sin
prueba, por su auto evidencia, el sistema también posee un mecanismo de
inferencia en formas de reglas, pero notaremos que lo será mucho más
simplificado que en los sistemas de deducción natural.

Los sistemas axiomáticos son de una importancia muy grande ya que

constituyen el ideal de estructura lógica y deductiva de toda teoría científica. Las
teorías científicas deben de asegurar la validez de sus deducciones, por lo que
normalmente sería de enunciados se puede estructurar como sistemas
axiomáticos.

I.2 Lista de axiomas:

Los axiomas para el cálculo proposicional son:

II.3 Criterios de deducción:

A partir de los axiomas y de las reglas de inferencia, Hilbert y Ackerman

comienzan desmontrando teoremas que seán útiles para demostraciones ulteriores
más complejas:
II.5 Reglas y Teoremas demostrados:
II.6 Utilización del teorema de la deducción de Herbrand:

Teorema de la deducción de Herbrand (1930) :

Demostración del teorema de Herbrand:

III.- Axiomas y reglas del sistema Frege-Lucasiewicz:

- Bibliografía:
http://www.concept-global.net/es/logica/axiomas_calculo_proposiciones.html

Hilbert D. And Ackermann W., “Principles of Mathematical Logic”, translated

into english by Robert E. Luce, Chelsea Publishing Company, New York, 1950.
Jaime Vladimir TORRES-HEREDIA JULCA

Versión del 16 de abril del 2006

Estructura de un sistema formal axiomático

 Parte morfológica
1. Un conjunto de componentes primitivos.
2. Un conjunto de operaciones relativas a tales componentes.
3. Un conjunto de reglas de formación expresivas de cómo a partir de los componentes
primitivos se pueden construir nuevos componentes llamados derivados.
 Parte axiomática
1. Un conjunto de axiomas.
2. Un conjunto de definiciones.
3. Un conjunto de reglas o criterios de deducción.
4. Un conjunto de teoremas demostrados, que se basan en los tres conjuntos
anteriores.
Lo que se refiere a la parte morfológica, lo hemos estudiado en la Lógica proposicional. En
cuanto a la parte axiomática, se han formulado diferentes grupos de axiomas como los
de Lukasiewicz, los de Frege – Lukasiewicz, y los de Hilbert – Ackermann, que pasamos a
exponer.

Axiomas
 A 1:
 A 2:
 A 3:
 A 4:
Definiciones
Tienen como fin establecer el significado de los operadores no primitivos o derivados.
 Df, 1:
 Df, 2:
 Df. 3:
 Df. 4:

Criterios de deducción
 D 1: A 1, A 2, A 3, A 4 son tesis.
 D 2: Si es una tesis y si es una tesis, entonces es una tesis (modus
ponendo ponens).
 D 3: Si una expresión lógica es una tesis y sustituimos en ella una proposición
atómica por otra cualquiera, el resultado es una tesis.
 D 4: Si es una tesis, y si es una tesis, entonces es una tesis.
 D 5: Nada es tesis si no es mediante los criterios: D 1, D 2, D 3 y D 4.
A partir de estos axiomas, definiciones y criterios de deducción se pueden ir demostrando
los teoremas de la lógica proposicional. Por ejemplo:
 A partir de A 2, D 1, D 3, se obtiene: T1.
 A partir de A 1, T 1, D 1, D 4: T2.
 A partir de T 2, Df 1: T3.
 A partir de A 3, D 1, D 3 : T4.
 A partir de T 3, T 4, D 2 : T5.
En el método matemático no existe un modelo único de sistema formal axiomático para
toda la matemática. Cada una de sus partes, –según el organigrama anterior–, tiene su
sistema formal axiomático.
La teoría de los conjuntos utiliza los axiomas de Zermelo – Faenkel, o los de Neumann –
Bernays – Gödel. La aritmética usa los de Peano, La geometría euclídea los de Hilbert, etc.
Finalmente, para que un conjunto de axiomas esté bien construido tiene que cumplir los
siguientes requisitos:
 Independencia: Ninguno de los axiomas puede ser deducido o demostrado a partir
de los demás. Cada axioma ha de ser independiente.
 Consistencia: Partiendo de los axiomas no debe ser posible demostrar un teorema y
la negación del mismo. No se puede demostrar que 3 + 2 sea igual a 5, y que 3 + 2
sea distinto de 5.
 Completitud: Significa que sobre cualquier proposición del sistema se pueda
determinar si es verdadera o es falsa.
Al aplicar estas condiciones necesarias, surgen las limitaciones de los sistemas formales
axiomáticos, que fueron descubiertas por el insigne lógico – matemático Kurt Gödel en
1931. Gödel afirma que en todo sistema formal axiomático, hay proposiciones
indecidibles desde el interior del sistema, es decir, que no se puede afirmar si son
verdaderas o falsas, dentro de los límites del sistema. (Habría que salirse del sistema y
enunciar otros axiomas, pero esto nos llevaría a un proceso indefinido).
Algunos matemáticos consideraron dentro de este tipo de proposiciones algunas que aún
no habían sido demostradas como la conjetura de Goldbach.
Finalmente, podemos preguntarnos, sobre el tipo de conocimiento y la seguridad o
certeza que nos proporcionan las matemáticas, ¿son seguras sus conclusiones?
La autonomía del sistema formal axiomático es la raíz de la seguridad de sus conclusiones.
Dados los axiomas, los teoremas se van deduciendo necesariamente. Volvemos a
encontrar la noción de verdad lógica o validez, matemáticamente verdadero significa
verdadero dentro del sistema axiomático en el que se trabaja.
Sin embargo lo interesante de las matemáticas es que también se pueden aplicar como
herramienta para consolidar descubrimientos en los campos de otras ciencias como la
física, la química o la astronomía.