REPÚBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR TECNOLOGÍA CIENCIA Y

EDUCACIÓN UNIVERSITARIA
INSTITUTO UNIVERSITARIO DE TECNOLOGÍA INDUSTRIAL
“RODOLFO LOERO ARISMENDI”
CONVENIO LUZ - IUTIRLA
EXTENSIÓN CARACAS, SEDE LOS CHAGUARAMOS
CARRERA: CONTADURÍA PÚBLICA

Deduccion Axiomatica y
sistema formalizado

Profesor: Alumna:
Para Jesús Baute Daniela
C.I: 19.397.296

CARACAS, SEPTIEMBRE 2019

 INTRODUCCION

En este trabajo se ofrece una visión teórico-crítica sobre diversas teorías

preocupadas por los aspectos comunes y diversos que presentan las lenguas
en su nivel sintáctico. Por una parte, se aborda el problema de los universales
sintácticos y su reflejo en las lenguas del mundo; por otra, se postulan unos
conceptos básicos que sirvan de partida para el estudio y establecimiento de
una tipología de base axiomática o como se conoce como axioma

Numerosos son los científicos y matemáticos que no han dudado en

trabajar respecto a ese mencionado axioma. Este sería el caso, por ejemplo,
del matemático estadounidense Paul J. Cohen o del ilustre matemático Kurt
Gödel. No obstante, a pesar de todos los trabajos realizados al respecto aún no
existe un acuerdo sobre el mismo, es decir, genera mucha polémica entre los
expertos del citado ámbito.

No menos importante es establecer la existencia de lo que se ha dado

en llamar axioma de elección. Este término se emplea en el ámbito de las
matemáticas, más en concreto dentro de lo que se conoce como Teoría de
Conjuntos. Lo viene a determinar el mismo es que en una familia de conjuntos
no vacíos disjuntos dos a dos, se produce la existencia de un conjunto que
contiene un elemento perteneciente a cada uno de ellos.
 AXIOMATICO

Aquello que resulta evidente y verdadero, es decir, está probado que es así
como se presenta y muestra y entonces resulta ser incuestionable e irrefutable
ante los cuestionamientos que puedan surgir y que quieran mostrarlo como
algo dudoso o abrir inquietudes acerca de él.

Es algo relativo a los axiomas que no es falso ni dudoso. Axiomático posee

un significado en diversas ciencias, como la lógica, las matemáticas, la
ingeniera, todo aquello con teoría sobre lo axiomas. Tanto el concepto de
axioma como el de axiomático son utilizados de manera corriente en el campo
de ciencias exactas, tal es el caso de la Física y de las Matemáticas. Las
llamadas leyes o teoremas con las que habitualmente nos encontramos en el
estudio de ambas ciencias están precisamente sustentadas por axiomas.

SISTEMA AXIOMATICO

El sistema axiomático, que es una forma de teoría deductiva, construida a

partir de condiciones iniciales que se van desarrollando por reglas de
definición.

TIPOS DE AXIOMATICOS

Un sistema axiomático puede tener expresados sus axiomas de manera

formal o de manera informal:

 axiomatización formal usa un lenguaje formal y en él cada

axioma es una cadena finita de signos en el alfabeto del lenguaje
formal, siguiendo reglas combinatorias que hacen de la secuencia
una fórmula bien formada.
 axiomatización informal usa una lengua natural formalizada y
definiciones no ambiguas, los libros de matemática y otras
disciplinas formales normalmente redactan los axiomas de esta
manera.

METODO AXIOMATICO
 Método axiomático es un proceso que trata de vincular un conjunto de
conceptos, basándose en las propiedades y relaciones presupuestas que
se establecen entre ellos.

Las características del método axiomático son:

 Los axiomas no deben contradecirse entre sí.

 Es recomendable, aunque no imprescindible, que los axiomas sean
independientes.
 Los axiomas son proposiciones idealizadas de la realidad.

Entre las ventajas y desventajas del método axiomático se encuentran:

Entre las ventajas destacan:

 Formulación matemática del problema

 Adaptación a distintos campos de la ciencia

Entre las desventajas podemos encontrar:

 Las verdades previas pueden ser incorrectas

 Aunque las verdades previas puedan ser correctas, las relaciones
pueden estar equivocadas
 Los resultados, al basarse en una idealización, pueden ser irreales.

La deducción axiomática

Es una parte de la lógica informal, pues no utiliza símbolos

lógicos. Expresiones lógicas verdaderas a partir de las cuales podemos
deducir todas las expresiones verdaderas.

SISTEMA FORMALIZADO O FORMAL

 Un sistema formal es una formalización rigurosa y completa del concepto
de sistema axiomático, los cuales se pueden expresar en lenguaje formal o en
lenguaje natural formalizado. Al crear un sistema formal se pretende capturar y
abstraer la esencia de determinadas características del mundo real, en un
modelo conceptual expresado en un determinado lenguaje formal. Algunos de
los sistemas formales más conocidos son la lógica proposicional, la lógica de
primer orden y la lógica modal.

TIPOS DE SITEMA FORMAL

Lógicas clásicas: son los sistemas formales más estudiados y utilizados de

todos.

Lógicas no clásicas o lógica alternativa: es un sistema formal que difiere

de manera significativa de las lógicas clásicas. Hay varias formas de hacerlo,
incluyendo a modo de extensiones, desviaciones, y variaciones, por ejemplo
rechazando uno o varios de los principios de la lógica clásica. El objetivo de
estas desviaciones es para hacer posible construir distintos modelos
de consecuencia lógica y verdad lógica.

CALCULO PROPOSICIONAL

Cálculo proposicional. Denominado también lógica proposicional: se define

como la ciencia que trata de los principios válidos del razonamiento y la
argumentación. El estudio de lógica es el esfuerzo por determinar las
condiciones que justifican a una persona para pasar de una proposición dada,
llamadas premisas, a una conclusión que se deriva de aquellas.

Simbolización de proposiciones. Cada proposición tiene una forma lógica a

la cual se le dá un nombre. Se distinguen dos tipos de proposiciones: simples y
compuestas. Una proposición se denomina simple cuando en ella no interviene
ninguna conectiva lógica o término de enlace (y, o, no, si...entonces..., si y sólo
sí). Si se juntan una o varias proposiciones simples con un término de enlace,
se forma una proposición compuesta.

Proposición compuesta son expresadas a través de variables (p, q, r, s).

Conectivos lógicos y operadores establecen relaciones entre dos o más
proposiciones. La función principal de los operadores es la de formar una
nueva proposición de una o más proposiciones. Así las declaraciones
compuestas o proposiciones son formadas.
 CONCLUSIÓN

Con esta investigación se ha obtenido un amplio conocimiento sobre la

deducción axiomática y el sistema formalizado que nos ayuda a desarrollar
los procesos de pensamientos encontrados sentido a lo que normalmente
realizamos. Muchas veces utilizamos nuestro razonamiento en frases y
oraciones que suelen estudiarse en esta materia. Las inferencias lógicas
también son cotidianas y las hacemos sin darnos cuenta. A mi entender de
dicho trabajo puedo decir que el razonamiento es la facultad que nos
permite resolver problemas, hacer conclusiones y que la aprendemos de
manera consiente de los hechos, también sé que hay diferentes tipos de
razonamientos y que cada uno de ellos es importante para ciertas cosas,
además de que sin saber los utilizamos a veces en nuestra vida cotidiana.
La evolución de la lógica está ligada a la evolución intelectual del ser
humano, ya que como la ciencia del razonamiento, su historia representa la
misma historia del hombre, la lógica surge desde el primer momento que el
hombre, al enfrentar a la naturaleza, reduce y razona con el ánimo de
entenderla y aprovecharla para su supervivencia.
La lógica muestra un devenir histórico muy interesante, naciendo de la
fuerte formalización de las matemáticas de los griegos, que fue impactada,
como muchas ciencias por el pensamiento de la Edad Media, donde la
religión se anteponía a todo, pero, el impulso de la mente de los filósofos
renacentistas ayudó a retomar su desarrollo, no cabe duda que la lógica
tiene impactó fundamental, como ciencia de las ciencias, en el pensamiento
contemporáneo, y que el nacimiento de la tecnología computacional deba
mucho al desarrollo del formalismo lógico de principios de siglo.