UNIVERSIDAD NACIONAL DE PIURA

FACULTAD DE DERECHO Y CIENCIAS POLITICAS

CURSO: LGICA
PROFESOR: DANDY SANCHEZ ESCURRA
ALUMNO: RAUL EDUARDO VILLEGAS GARCS

Defina las siguientes palabras:

1. AXIOMAS
Un axioma es una proposicin que se considera evidente y se acepta sin requerir
demostracin previa. En un sistema hipottico-deductivo es toda proposicin no
deducida (de otras), sino que constituye una regla general de pensamiento lgico (por
oposicin a los postulados).

En lgica y matemticas, un axioma es una premisa que, por considerarse evidente, se

acepta sin demostracin, como punto de partida para demostrar otras frmulas.
Tradicionalmente los axiomas se eligen de las consideradas afirmaciones evidentes,
porque permiten deducir las dems frmulas.

En lgica un postulado es una proposicin no necesariamente evidente: una frmula

bien formada (planteada) de un lenguaje formal utilizada en una deduccin para llegar a
una conclusin.
En matemtica se distinguen dos tipos de proposiciones: axiomas lgicos y postulados.
En clculo proposicional es comn tomar como axiomas lgicos todas las frmulas
siguientes:
1.
2.
3.
Donde

,
,

,y

pueden ser cualquier frmula en el lenguaje.

Cada uno de estos patrones es un esquema de axiomas, una regla para generar un
nmero infinito de axiomas. Por ejemplo si p, q, y r son variables proposicionales,
entonces
y
esquema 1 y por lo tanto son axiomas.

son

instancias

del

2. LEY MATEMTICA
De manera general venimos aceptando que una ley fsica es un enunciado o proposicin
que expresa modos constantes de verificacn de los fenmenos en determinadas
circunstancias. Ampliando esa idea, habremos de distinguir dos clases de leyes:
cualitativas, que slo afirman la existencia de un hecho en determinadas circunstancias,
vgr. cuando un cuerpo se calienta, ste se dilata, o bien, los rayos de luz al pasar de un

medio a otro de diferente densidad cambian de direccin, o tambin, los rayos de luz
blanca, al atravesar un prisma se descomponen en los colores del espectro. Y leyes
cuantitativas, que se refieren a la dependencia constante de ndole cuantitativa entre
determinadas magnitudes variables con las que la ciencia intenta conocer la realidad por
lo que en sta hay de cuantitativo, siendo la medicin el procedimiento fundamental de
establecer esas magnitudes
3. TEOREMAS
Un teorema es una proposicin que afirma una verdad demostrable. En matemticas, es
toda proposicin que partiendo de un supuesto (hiptesis), afirma una verdad (tesis) no
evidente por s misma.
Un teorema es una frmula bien formada que puede ser demostrada dentro de
un sistema formal, partiendo de axiomas u otros teoremas. Demostrar teoremas es un
asunto central en la lgica matemtica. Los teoremas tambin pueden ser expresados
en lenguaje natural formalizado.
Un teorema generalmente posee un nmero de premisas que deben ser enumeradas o
aclaradas de antemano. Luego existe una conclusin, una afirmacin lgica o
matemtica, la cual es verdadera bajo las condiciones dadas. El contenido informativo
del teorema es la relacin que existe entre las hiptesis y la tesis o conclusin.
Se llama corolario a una afirmacin lgica que sea consecuencia inmediata de un
teorema, pudiendo ser demostrada usando las propiedades del teorema previamente
demostrado.
Un teorema requiere de un marco lgico; este marco consistir en un conjunto
de axiomas (sistema axiomtico) y un proceso de inferencia, el cual permite derivar
teoremas a partir de los axiomas y teoremas que han sido derivados previamente.
En lgica proposicional y de primer orden, cualquier afirmacin demostrada se
denomina teorema. Ms concretamente en lgica se llama demostracin a una secuencia
finita defrmulas bien formadas (frmulas lgicas bien formadas) F1, ...,Fn, tales que
cada Fi es o bien un axioma o bien un teorema que se sigue de dos frmulas
anteriores Fj y Fk(tales que j<i y k<i) mediante una regla de deduccin. Dada una
demostracin como la anterior si el elemento final Fn no es un axioma entonces es un
teorema.
Resumiendo lo anterior puede decirse formalmente, un teorema es una frmula bien
formada, que no es un axioma, y que puede ser el elemento final de alguna
demostracin, es decir, un teorema es una frmula bien formada para la cual existe una
demostracin.
Algunos de los teoremas ms conocidos son:

Teorema de Pitgoras
Teorema de Bayes
Teorema del binomio

Teorema de muestreo de Nyquist-Shannon

Teorema de incompletitud de Gdel
Teorema del lmite central
Teorema de los nmeros primos
Teorema de la divergencia
Teorema de Bell
Teorema de Stokes
Teorema de Tales
Teorema de los ceros de Hilbert
Teorema de Frobenius
Teorema de Fermat-Wiles
Teorema de Morley
4. COROLARIO

Un corolario (del latn corollarium) es un trmino que se utiliza en matemticas y

en lgica para designar la evidencia de un teorema o de una definicin ya demostrados,
sin necesidad de invertir esfuerzo adicional en su demostracin. En pocas palabras, es
una consecuencia tan evidente que no necesita demostracin.
A menudo se trata de una inferencia, si bien la distincin entre teorema y corolario es
tan subjetiva como entre lema y teorema.
Ejemplos:

A la afirmacin
La suma de los ngulos interiores de un tringulo es igual a 180.
le sigue el corolario
En un tringulo rectngulo la suma de los dos ngulos contiguos a
la hipotenusa es igual a 90.
Dado que la hipotenusa es la arista ubicada frente al ngulo de 90, la suma de
los ngulos del tringulo contiguos a esa lnea es igual a 180 - 90 = 90.

A la afirmacin
El ser humano tiene ms cabello que el gorila.
le sigue el corolario
Los gorilas no tienen folculos pilosos en el rostro.

En este caso, la inferencia requiere conocimiento de un parmetro: tales

centmetros cuadrados de piel sin folculos pilosos son una cantidad considerable
para lograr una diferencia relevante de miles.
5. LEMA
En matemticas, un lema es una proposicin demostrada, utilizada para establecer
un teorema menor o una premisa auxiliar que forma parte de un teorema ms general. El
trmino proviene del griego , que significa cualquier cosa que es recibida, tal
como un regalo, una ddiva o un soborno.

Ciertos lemas demostrados son ms famosos que el teorema para el que fueron creados,
desempeando a veces la funcin de teorema. Muchos lemas son de hecho muy
celebrados y generales y se usan por doquier como resultados auxiliares en muchas
ramas de la matemtica.