Sistemas Formales

Proyecto Calculo I, II Semestre 2015-2016
I Parte
Sistemas Formales1
Este proyecto tiene como objetivo comprender el método de deducción y comprender un sistema
axiomático.
Introducción
La presencia de paradojas en la Antigua Grecia y su utilización en la retórica preocuparon a muchos
filósofos de la época, pues temı́an que dichas paradojas sirvieran para confundir y distorsionar la
verdad. Surge entonces la necesidad de establecer reglas claras con las cuales proceder en el discurso
lógico. La primera manisfestación de la matemática sigue justamente este requerimiento.
Ası́ es como Euclides construye un sistema de definiciones, postulados o axiomas, y teoremas que
se constituyeron en lo que hoy conocemos como Geometrı́a Euclideana. La Geometrı́a Euclideana es
el primer ejemplo histórico de un sistema formal.
El concepto de sistema formal fue establecido a principios de este siglo y surgió del trabajo de
varios matemáticos y logicistas como David Hilbert, Emil Post, Bertrand Russell, Allan Turin y
muchos otros, quienes trataban de responder a varias paradojas encontradas a finales del siglo XIX
dentro de la teorı́a de conjuntos. La teorı́a de conjuntos tenı́a la ambiciosa misión de fundamentar
toda la matemática.
Primera Parte
1. Proporcione las definiciones de Concepto Primario, Definición, Axioma, Teorema.
2. Ilustre con una ejemplo cada uno de los conceptos descritos en la pregunta 1.1
3. Describa con sus palabras la estructura del lenguaje matemático.
Segunda Parte
Un ejemplo sencillo de un sistema formal es el Sistema ROA. Este sistema formal consta, como todo
sistema formal, de un alfabeto, un conjunto de axiomas, un conjunto de reglas de formación y conjunto
de reglas de deducción.
ALFABETO: R, O, A (El alfabeto es un conjunto de sı́mbolos.)
AXIOMAS: RO (Una afirmación que asumimos como dada.)
El Sistema ROA consiste de palabras (teoremas) que pueden ser formadas con el alfabeto a partir
del axioma dado siguiendo las siguientes reglas de inferencia del sistema:
1
Adaptado de Cálculo y Geometrı́a: Una aproximación conceptual , Velentina Aguilar
1
REGLAS
Regla 1
Si se posee una palabra cuya última letra es O se puede añadir una A al último.
Regla 2
Si se tiene la palabra Rx entonces podemos obtener Rxx.
Regla 3
Si OOO aparece en una palabra se puede reemplazar OOO por A.
Regla 4
Si la secuencia AA aparece en una palabra se puede borrar dicha secuencia.
1. Practica las reglas del Sistema ROA deduciendo 3 teoremas cualesquiera, es decir, formando 3
palabras cualesquiera. Debes mencionar en tu deducción qué reglas, teoremas y axiomas utilizas.
2. Demuestra que RAOOA es un teorema del Sistema ROA.
3. ¿Está A en el Sistema ROA? Si la respuesta es afirmativa muestra la deducción. Si la respuesta

es negativa argumenta la imposibilidad de tal teorema.
4. ¿Está RA en el Sistema ROA? Si la respuesta es afirmativa muestra la deducción. Si la respuesta

es negativa argumenta la imposibilidad de tal teorema.
5. Describe cualitativamente el efecto repetitivo de cada regla.
6. Encuentra una forma ordenada de crear nuevos teoremas. Sugerencia: Haz un árbol de tres
niveles partiendo del axioma RO.
Instrucciones
• El proyecto debe ser realizado en un grupo de no menos de dos y no más de tres estudiantes.
El grupo completo es responsable del contenido y la presentación del proyecto, de igual manera
asume toda la responsabilidad del cumplimiento del código de honor de la USFQ que será
estrictamente aplicado.
• Debe utilizarse un editor de texto cientı́fico como Scientific Notebook, LyX o LATEX. LyX y
LATEXson softwares libres y pueden bajarse de INTERNET totalmente gratis.
• El proyecto debe ser un trabajo lo más minucioso posible donde deben estar todos los pro-
cedmientos explicados como si fuera un texto, de forma tal que una presona que lo lea pueda
entender todo el razonamiento.
• Al final deben haber citas bibliográficas de todas las fuentes utilizadas.
• El encabezamiento debe incluir el nombre de todos los integrantes del grupo, la clase, el semestre,
el profesor, la fecha de culminación del proyecto y el editor de texto cientı́fico utilizado.
• El proyecto debe ser entregado impreso según la fecha del calendario del D2L, al inicio de la
clase que conste en ese calendario. Entregas posteriores tendrán multa. No se aceptan proyectos
pasadas 24 horas de la fecha de entrega.
• El formato de impresión debe ser en hojas de papel bond a dos caras engrapadas (o enlazadas
de algún modo), no debe haber carpetas de ningún material, ni hojas totalmente en blanco.
• Además el proyecto debe ser cargado en un archivo PDF al D2L en las correspondientes secciones
habilitadas en la carpeta DEBERES hasta las 23h55m del dı́a de entrega en clase.
2
• Es decisión del profesor llamar a los integrantes del grupo a una defensa oral en caso de ser
necesario.
• Recuerda que este es un trabajo en equipo. Se requiere la participación de todos sus integrantes
(entre 2 y 3) y todos serán responsables de los resultados obtenidos. Se recomienda que todos
lean y aprueben el trabajo final antes de entregarlo.
Rúbrica
PP 1,2 y 3 SP1 SP2 SP3/ SP4 SP5 SP6 Formato Total
1 1 1 1 1 1 1 7

Sistemas Formales

Cargado por

Copyright:

Formatos disponibles

Sistemas Formales

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sistemas Formales

Cargado por

Copyright:

Formatos disponibles

Proyecto Calculo I, II Semestre 2015-2016

3. Describa con sus palabras la estructura del lenguaje matemático.

2. Demuestra que RAOOA es un teorema del Sistema ROA.

3. ¿Está A en el Sistema ROA? Si la respuesta es afirmativa muestra la deducción. Si la respuesta

4. ¿Está RA en el Sistema ROA? Si la respuesta es afirmativa muestra la deducción. Si la respuesta

5. Describe cualitativamente el efecto repetitivo de cada regla.

• Al final deben haber citas bibliográficas de todas las fuentes utilizadas.

También podría gustarte