Trabajo de logica
Páginas: 2 (379 palabras)
Publicado: 18 de julio de 2013
República Bolivariana de Venezuela
Ministerio del Poder Popular para la Educación Superior.
Universidad José Antonio Páez.
San Diego. Edo- Carabobo.
Prof:Ketty Noguera.
San Diego, 18 dejulio de 2013.
Sistema Axiomático Formal (S.A.F).
El SAF en lógica y matemática, consiste en un conjunto de axiomas que se utilizan mediante deducciones para mostrar teoremas. Unos ejemplos desistema axiomáticos deductivos son la geometría euclidiana compilada por Euclides en los Elementos y el sistema axiomático de la lógica proposicional.
Un sistema así es la reducción de un lenguajeformalizado 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ácticasentre 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.
Sistemas axiomáticos formales e informales.
Un sistemaaxiomático puede tener expresados sus axiomas de manera formal o de manera informal:
Una axiomatización formal usa un lenguaje formal y en él cada axioma es una cadena finita de signos en el alfabetodel lenguaje formal, siguiendo las reglas combinatorias que hacen de la secuencia una formula bien formada.
Una axiomatización informal usa una lengua natural y definiciones no ambiguas, los librosde matemática y otras disciplinas formales normalmente redactan los axiomas de esta manera.
Los sistemas de axiomas formales son más sencillos de estudiar y son preferibles para caracterizar lossistemas matemáticos.
Componentes
Un sistema axiomático formal consta de los siguientes elementos:
• Un alfabeto S para construir expresiones formales que incluye:
• Un conjunto de símbolos...
Ministerio del Poder Popular para la Educación Superior.
Universidad José Antonio Páez.
San Diego. Edo- Carabobo.
Prof:Ketty Noguera.
San Diego, 18 dejulio de 2013.
Sistema Axiomático Formal (S.A.F).
El SAF en lógica y matemática, consiste en un conjunto de axiomas que se utilizan mediante deducciones para mostrar teoremas. Unos ejemplos desistema axiomáticos deductivos son la geometría euclidiana compilada por Euclides en los Elementos y el sistema axiomático de la lógica proposicional.
Un sistema así es la reducción de un lenguajeformalizado 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ácticasentre 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.
Sistemas axiomáticos formales e informales.
Un sistemaaxiomático puede tener expresados sus axiomas de manera formal o de manera informal:
Una axiomatización formal usa un lenguaje formal y en él cada axioma es una cadena finita de signos en el alfabetodel lenguaje formal, siguiendo las reglas combinatorias que hacen de la secuencia una formula bien formada.
Una axiomatización informal usa una lengua natural y definiciones no ambiguas, los librosde matemática y otras disciplinas formales normalmente redactan los axiomas de esta manera.
Los sistemas de axiomas formales son más sencillos de estudiar y son preferibles para caracterizar lossistemas matemáticos.
Componentes
Un sistema axiomático formal consta de los siguientes elementos:
• Un alfabeto S para construir expresiones formales que incluye:
• Un conjunto de símbolos...
Leer documento completo
Regístrate para leer el documento completo.