REPBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD PEDAGOGICA EXPERIMENTAL LIBERTADOR

INSTITUTO PEDAGOGICO DE MATURIN
SUBDIRECCION DE DOCENCIA
PROGRAMA DE PROFESIONALIZACION

MATEMATICA DISCRETA

AUTORES:
Ramrez Neiddy
Garca Maribel
Morales Lisset
Almeida Jonny
Rodrguez Edgar

Ciudad Bolvar, Enero 2015.

INDICE

INDICE......................................................................................................... ii
INTRODUCCION............................................................................................ 3
APLICACIONES DE LA LOGICA......................................................................4
MATEMTICA EN LA COMPUTACIN.............................................................6
INDUCCION MATEMATICA...........................................................................11
REPRESENTACION Y EVALUACION DE LOS PREDICADOS..............................13
CUANTIFICADORES.................................................................................... 15
CONCLUSIONES.......................................................................................... 16
REFERENCIAS BIBLIOGRAFICAS..................................................................17

INTRODUCCION
Las matemticas discretas son un rea de las matemticas encargadas del
estudio de los conjuntos discretos: finitos o infinitos numerables.
En oposicin a las matemticas continuas, que se encargan del estudio de conceptos
como la continuidad y el cambio continuo, la matemticas discretas estudian
estructuras cuyos elementos pueden contarse uno por uno separadamente. Es decir,
los procesos en matemticas discretas son contables, como por ejemplo, los nmeros
enteros, grafos y sentencias de lgica. Mientras que el clculo infinitesimal est
fundado en los nmeros reales que no son numerables, la matemtica discreta es la
base de todo lo relacionado con los nmeros naturales o conjuntos numerables.
Las matemticas discretas han visto un gran nmero de problemas difciles de
resolver. En teora de grafos, mucha de la investigacin realizada en sus inicios fue
motivada por intentos para probar el teorema de los cuatro colores, el cual fue
probado ms de cien aos despus de su inicial descripcin. El problema de los
puentes de Knigsberg, un problema clsico del prolfico Leonhard Euler.
En lgica, el segundo problema de la lista de problemas abiertos de David Hilbert, era
probar que los axiomas de la aritmtica son consistentes. El segundo teorema de
Gdel de la incompletitud prob en 1931 que esto no es posible, por lo menos dentro
de la aritmtica en s. El dcimo problema de Hilbert era determinar si un polinomio
diofntico con coeficientes enteros dado tiene una solucin entera. En 1970, Yuri
Matiyasevich prob que esto es imposible de hacer.
El presente informe se refiere al tema de la matemtica discreta, como primer punto
est referido a las aplicaciones de la lgica, abordando el tema de las matemticas de
la computacin, seguidamente la induccin matemtica, representacin y evaluacin
de predicados y cuantificadores.

APLICACIONES DE LA LOGICA
La Lgica se conoce como una ciencia que ensea a razonar con exactitud, y
nace directamente de la relacin que surge y se presenta entre el ser humano y la
naturaleza, y todo aquello que gira entorno a nuestro ser. Esta fue creada y
desarrollada por el filsofo ARISTOTELES, el cual la fundamento como una ciencia;
ciencia que estudia los mtodos y condiciones, partiendo de un razonamiento, con el
fin de llegar a una conclusin positiva o verdadera.
En el transcurso de la historia se ha considerado como una parte de la filosofa,
relacionada paralelamente con las matemticas, de ah que se considere con el
concepto de Lgica Matemtica. Histricamente la lgica se desarrolla en la antigua
Grecia, alcanzando su culminacin, gracias a los estudios y aportes de filsofos tales
como Platn y Scrates.
Como toda ciencia, de esta se desprenden varios tipos o ramas, en la que encontramos
variedad de lgicas, pero una de las pioneras y de las ms importantes es la lgica
formal, representada en 3 civilizaciones de la edad antigua (China, india y Grecia)
consistente en analizar los diferentes mtodos del razonamiento.
La lgica se ha convertido en una materia de gran amplitud y aplicacin en diversas
Ciencias. Es una disciplina que por medio de reglas y tcnicas determina si un
argumento es vlido. Una de las aplicaciones de la lgica es en las matemticas, la
computacin, entre otros. En las matemticas sirve para demostrar teoremas e inferir
resultados matemticos que puedan ser aplicados en investigaciones. En la
computacin para revisar programas. En general la lgica se aplica en la vida diaria,
debido a que cualquier trabajo que se realizara tiene un procedimiento lgico.
En las demostraciones no hay un solo camino para llegar al resultado. El camino
puede ser ms largo o ms corto dependiendo de las reglas de inferencia y tautologas
que se seleccionen, pero definitivamente se debe llegar al resultado.

Una de las aplicaciones de lgica es en las Reglas de Inferencia, por ejemplo en:
La regla de Simplificacin permite pasar de una conjuncin a cada una de las
proposiciones que estn unidas por PQ
P
El Modus Tollendo Tollens esta regla se aplica en proposiciones condicionales, solo
que en este si se est negando el consecuente, se puede negar el antecedente de la
condicional. Ejemplo:
PQ
Q
P
El Modus Tollendo Ponens en esta regla si se est negando (tollendo) un miembro de
una disyuncin se afirma (ponens) el otro miembro.
PVQ
P
DEMOSTRACIN POR REDUCCIN AL ABSURDO: consiste en deducir una
contradiccin de la negacin del resultado que se quiere demostrar, lo que se basa en
la equivalencia p ((p) (q (q))), es decir, suponer que la hiptesis es
verdadera, la conclusin es falsa y llegar a una contradiccin.
DEMOSTRACIN DE DOBLES IMPLICACIONES: demostrar un enunciado
(p q) ser equivalente a demostrar (p q) y (q p) usando la equivalencia
(p q) ((p q) (q p)).
DEMOSTRACIN DIRECTA: se utiliza la validez de la siguiente argumentacin
(p r), (r q), (p q)
As si construimos una cadena finita de enunciados verdaderos de la forma (p p1),
(p1 p2),..., (pn q) tendremos demostrado que (p q) es verdadero.
En la informtica:

La lgica computacional siempre ha sido importante para el

progreso de las ciencias computacionales, y sus desarrollos son la base para elaborar
soluciones informticas, tanto en software como en hardware.

Los lenguajes de programacin: La lgica como lenguaje se orienta ms a las

personas que otros lenguajes de programacin clsicos, por lo que se convirti en la
base fundamental para la aparicin de la nueva generacin de lenguajes de
programacin. Este paradigma de programacin, conocido como programacin
lgica, por s solo justifica la inclusin de la lgica en los programas de informtica.
Los lenguajes funcionales como LISP se inspiran en el clculo lamba de Church, y
los lgicos como PROLOG3 en el teorema de Herbrand y en el principio de
Resolucin de Robinson, conceptos que hacen parte de la demostracin automtica de
teoremas y utilizados en las investigaciones para demostrar automticamente
teoremas y sistemas de razonamiento.
Lgica de programacin: A travs de la algoritmia, las estructuras de programacin y
el anlisis estructurado de problemas. La lgica computacional es la base para
comprender, analizar y proponer soluciones a los problemas de la lgica de
programacin.
MATEMTICA EN LA COMPUTACIN
Casi todas las aplicaciones de cmputo realizan clculos matemticos de
diversa ndole. Aplicaciones como hojas de clculo, gestores de bases de datos y
lenguajes de programacin, hacen uso de elementos de lgica matemtica y de
sistemas matemticos, para clculos y toma de decisiones. Un sistema matemtico es
un conjunto de elementos (nmeros) y uno o ms operadores mediante los cuales se
realizan clculos matemticos. Para la toma de decisiones se utilizan elementos de
lgica, que tienen por objeto determinarla validez de una proposicin, y as, tomar
una decisin. Los clculos que lleva a cabo la computadora se hacen a travs de
expresiones. Una expresin es un conjunto de datos o funciones unidos por
operadores aritmticos. Las expresiones se escriben en forma de lnea recta, para
facilitar la introduccin de programas que calculen algo en la computadora. As,
expresiones como "a dividido entre b" se debe escribir como "a/b", de modo que los
datos, funciones y operadores aritmticos aparezcan en una sola lnea. La notacin

algebraica generalmente no es aceptable para los programas de cmputo, aunque

existen algunas aplicaciones especiales que reconocen una notacin ms natural para
las expresiones ms complejas. La computadora puede manejar diferentes tipos de
datos para manipular la informacin que se requiera. Cada tipo de datos tiene
caractersticas propias que lo hacen adecuado para procesar correctamente la
informacin requerida. As, de manera general, se pueden distinguir los siguientes
grupos: numrico, alfanumrico, lgico o booleano, y fecha; y stos a su vez se
dividen en otros tipos: entero, flotante, byte; carcter, cadena; bool; fecha, hora; as
como otros: moneda, memo, hipervnculo, etc., segn la aplicacin que se est
utilizando, cada uno con un propsito especial pero con el objeto de ser manipulados.
A continuacin, se explicarn las caractersticas de cada tipo de datos; los diferentes
objetos de informacin con los que una aplicacin trabaja se conocen como datos.
Todos los datos tienen un tipo asociado con ellos. Datos numricos: Son datos cuyo
contenido es una serie de dgitos (0-9) que en conjunto proporcionan un valor
numrico. La computadora puede manejar dos tipos: tipo entero y tipo real o flotante.
El tipo entero es un subconjunto de los nmeros reales. Los enteros son nmeros
completos, es decir, no tienen componentes fraccionarios o decimales y estn
formados por los nmeros positivos, nmeros negativos y el cero. A estos nmeros se
les denomina en ocasiones nmeros de punto fijo o coma fija. El tipo real consiste en
un conjunto infinito. Los nmeros reales siempre tienen un punto decimal y pueden
ser positivos o negativos. Un nmero real consta de una parte entera, un punto
decimal y una parte decimal. En aplicaciones cientficas se requiere una
representacin especial para manejar nmeros o muy grandes o muy pequeos, para
esta representacin existe el tipo denominado notacin cientfica o exponencial, y es
una generalizacin del tipo real, en estas expresiones, se considera la mantisa (parte
decimal) como nmero real y al exponente (parte exponencial) como potencia de base
10. Ejemplo: 3.3456E2 = 3.3456*102, los tipos que se pueden encontrar en diversas
aplicaciones son: Entero: integer, int, byte, comp, word, short, long, bitset, cardinal,
etc. Real: real, float, singles, double, currency, etc. El rango de valores que puede
manejar o la precisin del tipo de dato, depende de la aplicacin as como del sistema

operativo. Datos alfanumricos: Son datos cuyo contenido son letras, nmeros o
caracteres especiales, o bien, una combinacin de ellos. El tipo alfanumrico consiste
en una cadena de caracteres o de un slo carcter, una cadena es una secuencia de
cero, uno o ms caracteres que incluyen letras del alfabeto, dgitos, smbolos y
espacios en blanco. Ejemplo: Caracteres alfabticos: Aa, Bb,...Zz. Caracteres
numricos: 0, 1, 2,...9.Caracteres especiales o smbolos especiales: $, %, ", @, #, ", <,
>, etc. Los tipos que generalmente se encuentran en las aplicaciones son: string o
char. Datos lgicos o booleanos: Son datos que slo pueden tomar uno de dos
valores: verdadero (true) o falso (false). Este tipo de datos se utiliza para representar
las alternativas si/no a determinadas condiciones, por ejemplo, cuando se evala si un
valor entero es par, la respuesta ser verdadera o falsa, segn sea el nmero entero par
o impar. Las expresiones lgicas se forman combinando constantes lgicas, variables
lgicas y otras expresiones lgicas utilizando los operadores lgicos (not, and, or,
imp, eqv, xor) y operadores relacionales o de comparacin (=, <, >, <>, <=, >=).Tipo
fecha/hora: Este tipo de datos se utiliza para manipular fechas y horas como si fueran
nmeros. La computadora oculta el verdadero valor de una fecha o de una hora.
Operadores: Un operador es un signo que indica qu operacin se ha de hacer en una
expresin, tambin puede ser una funcin. A continuacin, se describirn las
operaciones que puede realizar una computadora: Operaciones alfanumricas, las
operaciones que se pueden realizar con texto son: Concatenacin: La operacin de
concatenar dos o ms expresiones alfanumricas consiste en unir dichas estructuras,
por medio del operador + o del operador &. Extraccin: La operacin de extraccin
consiste en obtener ciertos caracteres o un nmero especfico de caracteres de una
cadena de caracteres. Conversin: La operacin de conversin consiste en obtener o
convertir un valor numrico a texto o viceversa, obtener el equivalente de un nmero
entero a real, etc. Operaciones numricas: Las operaciones que se realizan con
nmeros son las mismas que se realizan en las matemticas, adems, las aplicaciones
proporcionan funciones para realizar ciertas operaciones como radicacin,
logaritmos, etc. Los tipos de operadores son: Asociativo: Son conjuntos de
operaciones o de expresiones encerrados entre parntesis (), que indican el orden en

que deben realizarse las operaciones. Aritmtico: x2, ^, *, /, +, -, %, mod, etc.,

indican la operacin matemtica a realizar. Funciones: son palabras reservadas que
devuelven un valor. Reglas de prioridad para realizar un conjunto de operaciones en
una misma expresin, es decir, que dicha expresin tenga dos o ms operadores, se
requiere de reglas matemticas que permitan determinar con lgica el orden de las
operaciones. A estas reglas se les denominan Reglas de Prioridad o de Precedencia, y
son:
1.- En las operaciones que estn encerradas entre parntesis anidados (interiores unos
a otros), las operaciones o expresiones ms internas se realizan primero.
2.- Operadores de potencia y radicacin. ^
3.- Operadores de producto y cociente. * /
4.- Operadores de divisin entera o cociente y resto de divisin entera o mdulo. %
5.- Operadores de adicin y sustraccin. + 6.- En caso de coincidir varios operadores de igual prioridad en una expresin,
encerrados entre parntesis o no, el orden de prioridad en este caso, es de izquierda a
derecha. Operaciones de relacin y lgica Las operaciones de relacin y lgicas
tienen como caracterstica que el valor que producen es un valor de verdad o falsedad
(verdadero o falso), esto quiere decir que una proposicin es un enunciado que afirma
o niega algo y puede ser calificado como falso o verdadero.
Operadores relacionales
Son operadores que permiten comparar dos valores, sean numricos, alfanumricos,
booleanos o de fecha. El resultado es un valor de verdad, que puede ser verdadero o
falso. Los operadores relacionales son: =, <>, >, <, >=, <=. Operadores lgicos son
operadores que permiten realizar operaciones lgicas de conjuncin, disyuncin,
negacin, implicacin y equivalencia. El resultado obtenido es un valor de verdad,
que

puede ser verdadero o falso. Los operadores son, en orden de jerarqua

(prioridad): Not (negacin), And (conjuncin), Or (disyuncin), Imp (implicacin),

Eqv (equivalencia) y Xor (opuesto a eqv).

Frmulas: Una frmula es una igualdad o ecuacin que expresa una ley o un hecho,
es decir, es un modelo matemtico para realizar un clculo. Como ejemplos de
frmulas se tienen: Para calcular el inters simple de un depsito: I = Cit Para
determinar la corriente elctrica en un circuito: I=V/R La Ley de Gravitacin de
Newton: F = G Mm r2 Para poder realizar dichos clculos, es importante tener en
cuenta las prioridades de cada operador, vistas en la seccin anterior. La forma de
escribir una frmula, influir en el resultado de un clculo, por lo que se debe tener
especial atencin en cmo se realizar. Ejemplos: Ntese cmo cambia el resultado
con cambios de parntesis:

8 + 3 * 6 / 2 = 17 8 + 3 * (6 / 2) = 17 (8 + 3 * 6) / 2 =

13(8 + 3) * 6 / 2 = 33 8 + (3 * 6) / 2 = 17 8 + (3 * 6 / 2) = 17((8 + 3) * 6) / 2 = 33 (8 +
(3 * 6)) / 2 = 13 (8 + 3) * (6 / 2) = 33 A continuacin, se vern algunos ejemplos para
escribir expresiones algebraicas como frmulas ejecutables en una aplicacin F = ma
F=m*aI = Cit I= C * i * ty = x2 y = x *x y=x^2 n( 2a +( n 1) d )Sn = 2 Sn =
(n*((2*a) + ((n 1) * d)) / 2 2Ta= r g a = (2 * T) / (r * * g) Para algunos clculos,
tales como potencia, raz, logaritmo. etc., se necesitan operadores especiales
conocidos como funciones. Ejemplos: b b 2 4ac v = 2 gr 2a((-b) + raz((b*b)
(4 *a *c))) / (2 * a) v = raz(2 * g * r)((-b) - raz((b*b) (4 *a *c))) / (2 * a)pH =
-log[H1+] x = y6 M = C(1 + i) tp H = -1 * log(H) x = potencia(y, 6) M = C *
potencia((1 + i), t)Ahora se vern ejemplos con alfanumricos: a = "j", b = "a" a + b =
"ja"; b + a = "aj" c = "7", d= "D" c + d = "7D"; d + c = "D7". En esta situacin,
algunos programas y lenguajes de programacin concatenan los valores, mientras que
en otros, provocar un error por incompatibilidad de tipos, siempre que el 7no sea
utilizado como un valor de texto. Aplicaciones: Determinar si un nmero es par o
impar, Calcular la edad de una persona, Calcular el monto de una factura, Convertir
temperatura Celsius a Fahrenheit, Calcular el calor que genera una corriente elctrica,
Calcular la dilatacin lineal, Calcular la dilatacin volumtrica, Calcular la dilatacin
superficial, Convertir grados a radianes, Calcular la hipotenusa de un tringulo
rectngulo.

10

INDUCCION MATEMATICA

En matemticas, la induccin es un razonamiento que permite demostrar

proposiciones que dependen de una variable n, que toma una infinidad de valores
enteros. En trminos simples, la induccin matemtica consiste en el siguiente
razonamiento: El nmero entero a, tiene la propiedad P. El hecho de que cualquier
nmero entero n, tambin tenga la propiedad P, implica que n+1, tambin la tiene.
Entonces todos los nmeros enteros a partir de a, tienen la propiedad P.

La

demostracin est basada en el axioma denominado principio de la induccin

matemtica.
En el Parmenides, dialogo de Platn del 370 a. c., quizs se puede identificar un
temprano ejemplo de una explicacin implcita de prueba inductiva. La ms antigua
huella de la induccin matemtica se puede encontrar en la demostracin de Bhaskara
que usando el "mtodo cclico" prueba la infinitud de los nmeros primos.
Una tcnica opuesta, contando regresivamente en lugar de ascendentemente, se puede
encontrar en la paradoja sorites, en donde se argumenta que si 1.000.000 de granos de
arena forman un montn y removiendo un grano del montn este sigue siendo un
montn, entonces un solo grano (incluso ningn grano de arena) forma un montn.
Una implcita demostracin de la induccin matemtica para secuencias aritmticas
fue introducida por al-Karaji en la obra al-Fakhri escrita alrededor del 1000 d. c.,
usado para probar el teorema binomial y propiedades del tringulo de pascal.
Ninguno de estos antiguos matemticos explicit la hiptesis inductiva. Otra caso
similar fue el de Francesco Maurlico en su Arithmeticorom libri duo (1575), que uso
la tcnica para probar que la suma de los primeros enteros impares es igual a n al
cuadrado.
La primera formulacin explcita sobre el principio de induccin fue establecida por
el fsico y matemtico Blaise Pascal en su obra Trait du triangle arithmtique (1665).
Otro francs, Fermat, hace amplio uso de una principio relacionado para una

11

demostracin indirecta del infinito descendente. La hiptesis inductiva fue tambin

empleada por el suizo Jakob Bernoulli, y a partir de entonces fue ms conocida.
El moderno tratamiento de carcter riguroso y sistemtico llega solo en el siglo XIX
con George Boole, Augustus De Morgan, Charles Sanders Peirce, Giuseppe Peano y
Richard Dedeking.
Principios de Induccin Matemtica
Una proposicin p (n) es verdadera para todos los valores de la variable n si se
cumplen las siguientes condiciones:
1. La proposicin p(n) es verdadera para n = 1, o bien, p (1) es verdadera.
2. Hiptesis de Induccin. Se supone que p (k) es verdadera, donde k es un
numero natural cualesquiera.
3. Tesis de Induccin. Se demuestra que p (k + 1) es verdadera, o bien, p(k)
verdadera p (k + 1) verdadera.
La tcnica de Induccin Matemtica consiste en los tres pasos anteriores. Si se
necesita demostrar la validez de una proposicin p (n) para todos los valores naturales
n, entonces es suficiente que se cumplan: Paso 1, Paso 2 y Paso 3.
Intuitivamente la idea anterior se conoce con el nombre de Efecto Domin. Si
imaginamos una fila infinita de fichas de domin: dispuestas verticalmente y
suficientemente prximas una cualquiera de la siguiente, entonces si el volteamiento
de la primera ficha provoca el volteamiento de la segunda ficha, por el principio de
Induccin matemtica la fila completa es volteada.
Existen dos variantes tiles sobre el Principio de Induccin Matemtica que deben ser
considerados. En la primera variante, la proposicin por demostrar involucra los
naturales no menores a un natural fijo n0, en este caso el Principio de Induccin
quedara como sigue:

Si p(n) es verdadera para n0 y si p (m + 1) es verdadera para todo natural m

para la cual p (m) es verdadera, entonces p (n) es verdadera para todo natural
n n0.

12

La segunda variante se aplica de preferencia en el caso cuando p (m + 1) no puede ser

fcilmente deducible de p (m), pero su validez depende de p (k) para cualquier k < m.
Si p (1) es verdadera y si p (m + 1) es verdadera para todo m 1 para la cual todas las
proposiciones p (1), p(2), p(3), ..., p(m) son verdaderas , entonces p(n) es verdadera
para n 1. Para ilustrar el uso de estas variantes, consideremos el siguiente ejemplo:
n

Determine para qu valores de n N es verdadera la desigualdad 2 > n + 4n + 5 al

examinar los valores de n = 1, 2, 3, 4, 5, 6 nos damos cuenta que la desigualdad es
incorrecta, pero si es verdadera para n = 7, por lo que podemos intentar demostrar por
el mtodo de Induccin Incompleta que para todos los valores de n 7, la
desigualdad es verdadera.
7

Paso 1.- Si n = 7, obtenemos 2 = 128 > 7 + 4 7 + 5 = 82, o sea, cuando n = 7 la

desigualdad es correcta.
Paso 2.- (Hiptesis Inductiva) Se supone que la desigualdad es verdadera para un
cierto valor de n = k, o sea, 2k > k2 + 4k + 5.
Paso 3.- Finalmente a partir de la hiptesis inductiva, se desea probar la Tesis dada
por 2

(k+1)

> (k + 1) + 4(k + 1) + 5. Al multiplicar la desigualdad dada en la hiptesis

inductiva por 2, obtenemos 2

(k+1)

> 2k + 8k + 10. Transformando el segundo

miembro de esta desigualdad obtenemos 2

(k+1)

> (k + 1) + 4(k + 1) + 5 + k + 2k.

Teniendo en cuenta que k + 2k > 0 para todo k 7, podemos deducir que 2

(k+1)

> (k

+ 1) + 4(k + 1) + 5, obteniendo lo que se requera demostrar (Tesis).

REPRESENTACION Y EVALUACION DE LOS PREDICADOS

A diferencia de clculo de proposiciones en clculo de predicados utilizamos
variables, dentro de este tema consideramos las expresiones booleanas que se
definieron como proposiciones abiertas.
Concepto de Argumento y Tipos de Proposiciones Lgicas. En clculo de predicados
tenemos elementos ms simples para formar las expresiones atmicas, a diferencia de

13

una proposicin simple donde su valor es verdadero o falso de acuerdo a una

interpretacin, en clculo de predicados el valor de verdad depende de los
componentes que forman el predicado. Por ejemplo:
Juan es padre de Pedro es una expresin en clculo de predicados, que en general
podra ser: x es padre de y, o simplemente p( x , y ).
En otras palabras tenemos aqu una proposicin abierta que depende de dos variables,
y que por supuesto el valor de verdad depende de los valores que le demos a las
variables, porque por ejemplo: Luis es padre de Agustn puede tener un valor de
verdad diferente al anterior.
En general podemos decir que un predicado puede tener una o ms variables y que las
variables pueden tomar valores de un conjunto especfico llamado DOMINIO.
As por ejemplo las dos expresiones mencionadas anteriormente son de la forma
p ( x , y ) donde el predicado p representa es padre de y el domino es el conjunto de
las personas. Analiza cules son los predicados y las variables en los siguientes:

El libro es azul, AZ(x), AZ es el predicado: es de color azul, en el dominio de

objetos.
Armando y Eduardo son hermanos, H(x,y), H es el predicado: es hermano de, el

dominio el conjunto de las personas.

Jess es alumno del tecnolgico, T(x), T es el predicado: es alumno del

Tecnolgico, el dominio el conjunto de los estudiantes.

El concierto de Aranjuez es una composicin de Joaqun Rodrigo, R(x), r es el

predicado: es composicin de Joaqun Rodrigo, el dominio de las obras musicales.

Elas tiene ms aos que Ren en el trabajo, T(x,y), T es el predicado: tiene

menos tiempo trabajando que, el dominio de las personas

Esteban compra mercanca los lunes en Almacenes A. A (x,y), A es el predicado:
comprar en los almacenes cierto da, el dominio para el primer argumento es el de
las personas, el dominio del segundo son los das de la semana.

Podemos observar que la definicin del predicado es arbitraria y que para un mismo
ejemplo podra variar la estructura, por ejemplo en el predicado: El libro es azul,
podramos considerar como frmula propuesta M(x,y), donde M es el predicado: es

14

de color, y el dominio para la primera variable es el conjunto de los objetos y para la

segunda el de los colores.
Tambin observamos que el dominio puede ajustarse segn las necesidades, por
ejemplo, en el tercer ejemplo en T(x), x podra ser el conjunto de todos los alumnos
de un pas, o de una ciudad o de una disciplina.

CUANTIFICADORES
En lgica, teora de conjuntos y matemticas en general, los cuantificadores son
smbolos utilizados para indicar cuntos elementos de un conjunto dado cumplen con
cierta propiedad. Existen muchos tipos de cuantificadores, pero quizs los ms
estudiados y utilizados sean:

Cuantificador universal: Para todo x, y

Cuantificador existencial: Existe al menos un x, y
Cuantificador existencial nico: Existe exactamente un x, y
Negacin del cuantificador existencial: No existe ningn x, y

Declaraciones cuantificadas
Las declaraciones cuantificadas se escriben en la forma:
Para todo x que pertenece a R, se cumple que 2x pertenece a R.
Para todo a que pertenece a R, existe x que pertenece a R, que est
comprendido entre a y a+1.
Para todo a que pertenece a R diferente de cero, existe un nico x que
pertenece a R, que cumple que a por x es igual a 1.

CONCLUSIONES

15

Como resultado de la realizacin del informe podemos concluir:

La Lgica se conoce como una ciencia que ensea a razonar con exactitud, y
nace directamente de la relacin que surge y se presenta entre el ser humano y
la naturaleza, y todo aquello que gira entorno a nuestro ser.
En la lgica computacional siempre ha sido importante para el progreso de las
ciencias computacionales, y sus desarrollos son la base para elaborar
soluciones informticas, tanto en software como en hardware.
En la mayora de las aplicaciones de cmputo se realizan clculos
matemticos de diversa ndole. Aplicaciones como hojas de clculo, gestores
de bases de datos y lenguajes de programacin, hacen uso de elementos de
lgica matemtica y de sistemas matemticos, para clculos y toma de
decisiones.
La induccin es un razonamiento que permite demostrar proposiciones que
dependen de una variable, que toma una infinidad de valores enteros.
En lgica, teora de conjuntos y matemticas en general, los cuantificadores
son smbolos utilizados para indicar cuntos elementos de un conjunto dado
cumplen con cierta propiedad.

REFERENCIAS BIBLIOGRAFICAS

16

Aplicaciones de la lgica. (2013), BuenasTareas.com Recuperado 20 Enero de 2015

de http://www.buenastareas.com/ensayos/Aplicaciones-De-La-Logica/43406257.html
Induccin

Matemtica,

(s,f)

Recuperado

20

Enero

de

2015

de

http://es.wikipedia.org/wiki/Induccin_matemtica
Induccin

Matemtica,

(s,f)

Recuperado

Enero

de

2015

de

http://esaez.mat.utfsm.cl/iii.pdf.
Lgica Proposicional, Matemtica Discreta, (s,f) Recuperado 20 Enero de 2015
https://superinteresante7.wordpress.com/2011/10/14/representacion-y-evaluacion-depredicados/

17