Glosario Enunciados de lógica / Término

Sistema axiomático

Es la organización de un conjunto de enunciados de tal forma que, partiendo de algunos de sus miembros (axiomas) y mediante la aplicación de una serie de reglas de transformación, se pueda derivar los restantes enunciados (teoremas) de la teoría en cuestión.

La forma clásica de formalización es la forma axiomática.

Enlace permanente: Sistema axiomático - Fecha de creación: 2014-02-07


< Simbolización del lenguaje Glosario Enunciados de lógica Tautologías >

Glosarios especializados

Este sitio web es posible gracias a que muestra publicidad en línea a sus visitantes.
Por favor, ayude a que pueda seguir existiendo deshabilitando su bloqueador de anuncios (adblocker).
Muchas gracias.