planos cad

Universidad José Antonio Páez
Cátedra de Lógica
Profesora: Ketty Noguera
Sección: 20111

INFORME
Sistema Axionométrico Formal (SAF):
Un sistema formal es un tipo de sistema lógico-deductivoconstituido 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 quepermite encontrar las proposiciones derivables de dichos axiomas.
La noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema axiomático, los cuales pueden serexpresados 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 determinadascaracterísticas del mundo real, en un modelo conceptual expresado en un determinado lenguaje formal. Un sistema así es la reducción de un lenguaje formalizado a meros símbolos, lenguaje formalizado ysimbolizado 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 ytransformación que permiten construir las fórmulas del sistema y pasar de una fórmula a otra.
El objetivo de un sistema formal es señalar como válidas determinadas cadenas. Estas cadenas válidas sedenominan 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 quese suponen válidos por definición y se convierten en el germen de producción de teoremas.

Características del SAF:
Un sistema lógico está compuesto por:
1. Un conjunto de símbolos primitivos(conectivas lógicas, cuantificadores, variables, el alfabeto, o vocabulario).
2. Un conjunto de reglas de formación (la gramática) que nos dice cómo construir fórmulas bien formadas a partir de los...