testimonio de constitucion de una empresa


Universidad mayor real y pontificia de
san francisco Javier de Chuquisaca
Facultad de tecnología


Nombre: ……………………………………………………………………………
Carrera: ……………………………………………………………………………
Tema: ………………………………………………………………………………
Docente: ………………………………………………………………………….
Gr. Teórico:…………………………gr.Laboratorio:………………………
Fecha: …………………………………. C.U.:…………………………………





SISTEMAS AXIOMÁTICOS


CONCEPTO-.
Es un enunciado o juicio el cual solo puede originar uno y solo uno de los términos verdadero o falso. Las proposiciones más comunes que se utilizan son: axiomas, postulados, teoremas y corolarios.
Axiomas.
Es una verdad que no requiere demostración y se la cumple entodas las ciencias del conocimiento. Baldor, define Axiomas como una proposición tan sencilla y evidente que se admite sin demostraciones.
Postulados.
Es una proposición aceptada como verdadera. A diferencia de los axiomas, estos se los emplea generalmente en geometría, los mismos que no se han constituido al azar, sino que han sido escogidos cuidadosamente para desarrollar la geometría.Teorema.
Es la proposición cuya verdad necesita ser demostrada: una vez que el teorema se ha probado se lo puede utilizar para la demostración de otros teoremas, junto con axiomas y postulados. Es una proposición que puede ser demostrada. La demostración consta de conjunto de razonamientos que conducen a la evidencia de la verdad de la proposición, así lo define Baldor. Un teorema consta de: hipótesis(condiciones o datos del problema) y tesis (propiedad a demostrarse).
 MÉTODOS DE DEMOSTRACIONES
 –Método Inductivo. Es un razonamiento que parte de conocimientos o verdades particulares para obtener mediante ellos una verdad general.
 –Método Deductivo. Es un razonamiento que parte de conocimientos o verdades generales para obtener mediante ellos una verdad particular.
El método deductivo esel más usado en la Geometría, el cual consiste en encadenar conocimientos que se suponen verdaderos de manera tal. Que se obtienen nuevos conocimientos.
PROCEDIMIENTO DE UNA DEMOSTRACIÓN
La demostración formal de un teorema consiste en cinco partes:
1. El enunciado del teorema.
2. Hacer un gráfico que ilustre el teorema.
3. Una afirmación de lo que es el dato en términos del gráfico(hipótesis).
4. Una afirmación de lo que debe probarse (tesis).5.Demostración.

TIPOS DE SISTEMAS AXIOMÁTICOS
Sintácticos.
Llamados también cálculos o sistemas no interpretados, que se caracterizan por el hecho de que sus expresiones carecen de significado, están compuestos por fórmulas entendidas como meras sucesiones de signos. Los axiomas y teoremas son consecuentemente fórmulas vacías, puesto quecontienen signos que no tienen referencia.
Semánticos.
También conocidos como Interpretados los cuales están formados por enunciados, es decir, oraciones que poseen significados y valores de verdad.
COMPONENTES DE LOS SISTEMAS AXIOMÁTICOS
Un sistema axiomático formal consta de los siguientes elementos:
Un alfabeto S para construir expresiones formales que incluye:
Un conjunto de símbolospara conectivas lógicas, cuantificadores
Un conjunto de símbolos para designar variables
Un conjunto de símbolos para constantes (que tendrán en un modelo una interpretación fija).
Un conjunto de símbolos que serán interpretados como funciones.
Un conjunto de símbolos que serán interpretados como relaciones.
Una gramática formal que incluirá:
Reglas de buena formación, que reproducen la"morfología" del lenguaje formal.
Reglas de inferencia que permitirán deducir unas proposiciones de otras, estas reglas reproducen la "sintaxis" del lengua formal.
Un conjunto de axiomas inicial, o expresiones bien formadas son el punto de partida de cualquier deducción.
PROPIEDADES DE LOS SISTEMAS AXIOMÁTICOS
1. Consistencia.
 Se pretende la exigencia de coherencia, es decir, que en un...