Repblica Bolivariana de Venezuela

Ministerio del poder popular para la educacin universitaria

Instituto Universitario de Tecnologa de los Llanos Ncleo Calabozo
Calabozo, Edo Gurico
Trayecto III Trimestre II Seccin 01

Trabajo de Matemtica
Discreta

Profesor:

Bachilleres:

Jos Tovar

Freddy Maluenga
CI:22.613.529
Lilianne Garcia
CI:24.235.078
Carlos Lira
CI:25.549.603

Calabozo, Mayo 2.015

Introduccin

En el trabajo realizado cuyo ttulo hace referencia al campo de la matemtica

discreta, y entrar en demasiadas formalidades no es sencillo pero podemos apelar a ciertos
ejemplos matemticos conocidos y contraponerlo al concepto de continuo que es la idea
central del curso de Bases de Matemticas.
Lo discreto es lo finito o lo que, si no es finito, presenta el aspecto de los nmeros
naturales, objetos bien separados entre s; lo continuo es lo no finito, lo infinitesimalmente
prximo, como los nmeros reales, y de ah el concepto de lmite y las ideas que de dicho
concepto se derivan La matemtica discreta surge como una disciplina que unifica diversas
reas tradicionales de las Matemticas (combinatoria, probabilidad, geometra de
polgonos, aritmtica, grafos.), como consecuencia de, entre otras cosas, su inters en la
informtica y las telecomunicaciones: la informacin se manipula y almacena en los
ordenadores en forma discreta (palabras formadas por ceros y unos), se necesita contar
objetos (unidades de memorias, unidades de tiempo), se precisa estudiar relaciones entre
conjuntos finitos (bsquedas en bases de datos), es necesario analizar procesos que
incluyan un nmero finito de pasos (algoritmos).
Tambin dentro del trabajo nos encontramos con temas fundamentales como los son :
-los mtodos inductivos y deductivos, son mtodos de razonamientos que pueden ir desde
lo ms micro hasta lo ms macro cumpliendo fundamentos aplicados a la misma.
-los teoremas, que pueden ser discretos como afirmacin de importancia y esta a su vez
tiene otras de menor rango como ocurre con el lema que pertenece al teorema ms corto.
-axiomas, estos son muy utilizados a partir de ellos y el sistema de las aplicaciones de
teoras es basada en teoremas.
-corolario, es una proporcin que no necesita comprobarse, pero puede ser fcilmente
demostrado.
-lema, esta puede ser utilizado por un teorema menor o una premisa auxiliar que forme
parte del teorema general.

Mtodo inductivo

Es aquel mtodo cientfico que obtiene conclusiones generales a partir de premisas

particulares. Se trata del mtodo cientfico ms usual, en el que pueden distinguirse cuatro
pasos esenciales: la observacin de los hechos para su registro; la clasificacin y el estudio
de estos hechos; la derivacin inductiva que parte de los hechos y permite llegar a una
generalizacin; y la contrastacin. El razonamiento inductivo es el que mediante el cual
tomamos dos o ms premisas particulares, para obtener como conclusin una premisa
general. Es el tipo de razonamiento que utilizamos cuando se hacen pruebas cientficas o
demostraciones matemticas. En ocasiones el silogismo puede ser correcto, pero la
conclusin equivocada.

Ejercicio 1
Premisa: Mi automvil est hecho de hierro.
Premisa: El automvil de Alberto est hecho de hierro.
Premisa: El automvil de Gloria est hecho de hierro.
Conclusin: Todos los automviles estn hechos de hierro.

Mtodo deductivo
Es un mtodo cientfico que considera que la conclusin se halla implcita dentro de
las premisas. Esto quiere decir que las conclusiones son una consecuencia necesaria de las
premisas: cuando las premisas resultan verdaderas y el razonamiento deductivo tiene
validez, no hay forma de que la conclusin no sea verdadera. El razonamiento deductivo el
que compara premisas universales entre s, o dos premisas universales para sacar una
conclusin particular.

Ejercicio 1

La fuerza de gravedad es una constante, que hace que los objetos caigan a una velocidad de
9.8 metros por segundo cada segundo, por lo tanto, si vas a tirar la computadora desde la
azotea, como nos encontramos a 5 metros de altura, y la computadora tiene una masa de 5
kilogramos, como para ese momento alcanzara una aceleracin de 4.9 metros por segundo,
entonces el impacto ser de aproximadamente 24.5 kilogramos, lo que significa que
causarn abolladuras en el gabinete y daos en sus componentes, y si cae por su costado
derecho, la destruccin de la placa principal.

Teorema
Es la ltima de las proposiciones que nos encontramos dentro de un proceso
deductivo. El teorema se sigue de las proposiciones que nos encontramos dentro de esta
secuencia y el resto de proposiciones de las anteriores, siendo estos axiomas. Estas se
derivan a partir de la aplicacin de unas reglas previamente especificadas, se trata de reglas
de inferencia, las cuales nos sirven para extraer teoremas a partir de otros axiomas y
teoremas. A la secuencia se le denomina prueba o derivacin.
El teorema, por lo tanto, puede ser descrito como una afirmacin de importancia. Existen
otras de menor rango, como ocurre con el lema (que pertenece a un teorema ms largo),
el corolario (que sigue de manera inmediata al teorema) o la proposicin (un resultado que
no se encuentra asociado a ningn teorema en especfico).
Cabe destacar que, hasta que la afirmacin no logra ser demostrada, se la define
como hiptesis o conjetura. De hecho, muchas veces toma muchos aos, e incluso dcadas
o ms, dar con una comprobacin convincente. En algunos casos, cuando se trata de
teoremas que describen situaciones imposibles de resolver sin ayuda de la informtica, dada
su complejidad o que cubre un gran nmero de combinaciones, las respuestas suelen ser
muy cuestionadas, ya que se debe confiar en un ordenador.
Entre los teoremas ms conocidos tenemos el teorema de tales, el cual seala que, al
marcar en un tringulo una lnea que sea paralela a alguno de sus lados, se da origen a un
par de tringulos semejantes (es decir, dos figuras con ngulos idnticos y lados
proporcionales).
y teorema de Pitgoras, que indica que el cuadrado de la hipotenusa (es decir, el lado de
ms longitud y que se opone al ngulo recto), en un tringulo rectngulo, es idntico a la
suma de los cuadrados de los catetos (o sea, el par de lados menores del tringulo
rectngulo).

Ejercicio 1

C2= a2+b2
C2= (1.75)2 + (0.15)2
C2= 3.0625 + 0.0225
C2= 3.085
C= 3.085 C= 1.7564

Axiomas
Son proposiciones que se dan por verdaderas, aunque no hay pruebas de su verdad,
aceptndose su verdad por ser evidente. Se utiliza para deducir a partir de ella otras
proposiciones. Los axiomas son el centro de los sistemas formales y de las teoras. Las
proposiciones derivadas de los axiomas son los teoremas. Por ejemplo, el teorema de
Pitgoras se deriva de los axiomas de la geometra de Euclides. Los axiomas son
necesariamente verdaderos, esto es, verdadero en todo mundo posible.
Dada una teora, hay un requisito que han de cumplir las proposiciones que la forman para
poder considerarla un axioma. En este caso, para poder considerar a una proposicin de una
teora axiomtica como axioma, ha de ser posible derivar todas las proposiciones de la
teora a partir de los axiomas de la teora, utilizando reglas de inferencia. De este modo, los
axiomas de una teora son las proposiciones que forman parte del conjunto de
proposiciones de las cuales se pueden derivar todas las dems utilizando una serie de reglas
proporcionadas por la teora.
Los axiomas son frmulas universales (del tipo para todo x o todos los x), de
modo que son verdaderos para cualquier interpretacin posible son, adems de necesarias,
universales.

Ejercicio 1
La proposicin:

Dos lneas rectas no pueden encerrar un espacio, o, en otros trminos, dos lneas rectas
que se han encontrado una vez no se encuentran ms y continan divergiendo
Es un ejemplo clsico de axioma, pues es una induccin resultante del testimonio de
nuestros sentidos.
La lnea recta es la distancia ms corta entre dos puntos
Una proposicin no puede ser verdadera y falsa al mismo tiempo (principio de
contradiccin)
Si a cantidades iguales se les aaden cantidades iguales, las sumas resultantes tambin son
iguales
El todo es mayor que cualquiera de sus parte

Corolario
Es una proposicin que se deduce de lo demostrado con anterioridad, por lo que no
requiere de una prueba particular. Se entiende que un corolario es una conclusin obvia o
inevitable que se desprende de ciertos antecedentes. En el mbito de la lgica y de la
matemtica, el corolario es la evidencia de un teorema ya demostrado, sin la necesidad de
seguir invirtiendo esfuerzos en su demostracin. Si se afirma que todos los ngulos
interiores de un cuadrado son ngulos rectos (90) y que todos los cuadrados tienen cuatro
ngulos interiores, un corolario de dichas afirmaciones es que los ngulos interiores de un
cuadrado suman 360.

Del conocido Teorema de Pitgoras, el cual expone que la suma de los cuadrados de los
catetos de un tringulo rectngulo devuelven el mismo valor que elevar la hipotenusa al
cuadrado, tambin se desprende un corolario, el cual vara segn se est hablando de
nmeros pares o impares. Para desarrollar este corolario, es necesario primero establecer
la frmula del teorema como se aprecia en la imagen.

Ejercicio 1
Corolario 1. La suma de las medidas de los ngulos agudos asociados a un tringulo
rectngulo es igual a 90.

Corolario 2. Si dos ngulos de un tringulo son respectivamente congruentes a dos ngulos

de otro, el tercer ngulo de uno es congruente al tercer ngulo del otro.
Corolario 3. Un tringulo no puede tener ms de un ngulo recto, ni ms de un obtuso.

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. Es el teorema que se debe anteponer a otro por ser necesario para la
demostracin de este ltimo.
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.

Ejercicio 1
-.La Matemtica es la reina de las ciencias y la teora de nmeros es la reina de las
Matemticas. Gauss
-.La geometra es una ciencia del conocimiento del ser, pero no de lo que est sujeto a la
generacin y a la muerte. La geometra es una ciencia de lo que siempre es. Platn
-.El estadstico es aquella persona que se ocupa de los nmeros y las grficas pero que no
tiene vocacin para convertirse en contable. Annimo.

Conclusin
Concluyendo con el tema, cabe en destacar que una demostracin para una
proposicin es un argumento vlido construido para ella. La palabra demostrar una
proposicin consiste en construir un argumento vlido. Una proposicin se dice teorema, si

es posible demostrar. Una proposicin se dice lema, si es un teorema y posteriormente se

planea usarla como una regla de inferencia. Una proposicin se dice corolario a un teorema
si es posible construir una demostracin corta donde el teorema se use como una regla de
inferencia. Una proposicin se dije conjetura cuando no se ha sido posible construir una
demostracin para ella pero en sustituciones se ha evaluado en verdadero.

Bibliografas
-http://www.creadess.org/index.php/informate/de-interes/temas-de-interes/18584-axiomasy-teoremas
http://definicion.de/metodo-inductivo/

http://www.ejemplode.com/29-logica/145ejemplo_de_metodos_de_razonamiento_inductivo_y_deductivo.html
http://matematicasfresnillozac.blogspot.com/2010/01/teorema-conjetura-proposicioncorolario.html