Algebra y Matematica Discreta

ALGEBRA Y
MATEMÁTICA DISCRETA
I VA N D A R I O M A L D O N A D O 2 0 2 4
Objetivos
 Conocer el contexto en el que se enmarcan los métodos de prueba, tanto desde el punto de vista
matemático como computacional.
 Conocer el modo de expresar los argumentos matemáticos, a través de los predicados y los
cuantificadores
 Utilizar adecuadamente predicados y cuantificadores para describir proposiciones ciertas.
 Crear las tablas de la verdad.
 Demostrar proposiciones ciertas y sencillas utilizando las técnicas de prueba directa, contraposición,
reducción al absurdo o inducción.
ALGEBRA Y MATEMATICA DISCRETA
La matemática discreta estudia las estructuras formadas por
elementos que se pueden contar de uno en uno, desde los números
enteros hasta los grafos o las estructuras lógicas.
El origen de las matemáticas discretas
El nacimiento de esta disciplina puede considerarse menos

“formal” que otras áreas de la matemática, al estar más
ligada al ingenio.
En el siglo XVII se hace referencia a su estudio, ligado al

planteamiento de problemas combinatorios relacionados
con los juegos de azar, aunque también a probar el Teorema
de los Cuatro Colores. Sin embargo, su uso más reconocido fue
en el siglo XX.
Durante la Segunda Guerra Mundial, la matemática

discreta contaba con una estructura definida y fundamentada
que sirvió para descifrar códigos alemanes encriptados, a través del
uso de un computador electrónico y programable, así como
para realizar avances en la criptografía.
Principales áreas de las matemáticas discretas
Esta disciplina, más que una rama de la matemática es un contenedor que engloba el estudio de un
conjunto de áreas como la álgebra, la aritmética, la probabilidad, la geometría discreta y:
•Combinatoria: abarca el estudio de la enumeración y combinación de objetos finitos.
•Lógica: se encarga de la construcción de argumentos y la resolución de problemas por medio de

un razonamiento lógico.
•Criptografía: orientado a construir y proteger la comunicación a través de información cifrada,

como pueden ser las contraseñas.
•Teoría de grafos: estudia las relaciones entre objetos presentes en un conjunto y cómo estos se
pueden representar gráficamente a través de nodos y líneas.
•Teoría de autómatas: incluye el estudio de los sistemas formales y sus usos en la computación.
•Teoría de algoritmos: analiza los métodos idóneos para resolver problemas por medio de la
ejecución de una serie de instrucciones ordenadas, buscando optimizar la resolución de manera
más rápida y eficiente.
Variables y cuantificadores
Predicado
Un predicado p(x) es una afirmación sobre una variable x.
El predicado por sí solo no es cierto ni falso, para conocer su veracidad o falsedad (es decir, para crear una
proposición) necesitamos definir el valor de x.
Para ello, podemos:
• Asignar un valor a la variable.

• Cuantificar la variable.
Cuando la variable no tiene restricciones se llama variable libre. Cuando restringimos el valor de la variable se
llama variable cuantificada.
Proposición:
Una proposición es una afirmación de la cual se puede decir sin ambigüedad (y de forma excluyente) que
es verdadera V o falsa F. Las proposiciones se suelen representar mediante las letras minúsculas o
mayúsculas p, q, r . . .
Para crear una proposición, debemos definir la variable el valor de x, para lo cual, podemos asignar un
valor a la variable o cuantificarla. Cuando la variable no tiene restricciones se llama variable libre,
mientras que si restringimos el valor de la variable se llama variable cuantificada.
Cuantificador
Un cuantificador es una expresión que afirma que una condición se cumple para un cierto número de
individuos
En la lógica clásica, los dos cuantificadores más estudiados son el cuantificador universal y el cuantificador
existencial. El primero afirma que una condición se cumple para todos los individuos de los que se está
hablando. Se denota por el símbolo ∀, usando la sintaxis ∀x p(x) y se lee “para todo valor de x, la propiedad p
es cierta”; el segundo que se cumple para al menos uno de los valores de la variable. Se denota con el símbolo
∃, usando la sintaxis ∃x : p(x) y se lee “existe algún valor de x tal que p es cierta”
Por ejemplo, la expresión “para todo x (∀x)” es un

cuantificador universal, que antepuesto a “x < 3”, produce: para
todo x, x < 3, (∀x < 3). Esta es una expresión con valor de
verdad, en particular, una expresión falsa, pues existen muchos
números (muchos x) que son mayores que tres. Anteponiendo
en cambio la expresión “para al menos un x”, un cuantificador
existencial, se obtiene: Para al menos un x, x < 3, (∃x < 3). La
cual resulta ser una expresión verdadera.
Tablas de verdad
Para saber si una proposición compuesta es o no cierta se utilizan las tablas de verdad, cuadros donde se
muestran los valores de verdad de esta proposición en función de los valores de verdad de las proposiciones
que la componen
Una tabla de verdad es una matriz que contiene los valores de verdad de una proposición en función de los
valores de verdad de las proposiciones atómicas que la componen.
Métodos de prueba
Para demostrar una sentencia condicional (p=>q) es importante identificar las reglas de inferencia, es decir, los
pasos lógicos que nos llevan desde p hasta q. A la primera parte de la sentencia condicional se le llama premisa,
antecedente o hipótesis y a la segunda parte conclusión, consecuencia o tesis. Existen muchas reglas de
inferencia, las dos reglas de inferencia más conocidas son el modus ponens y el modus tollens.
https://www.youtube.com/watch?v=MLe9flR4PsA&ab_channel=ESSchoolZone
Inducción
La prueba por inducción es un método matemático muy usado para demostrar una proposición sobre un
conjunto de números naturales.
Para demostrar un predicado ∀n∈N p(n), normalmente se realiza en dos pasos:
 Paso base. Se demuestra que p(n) es cierto para un número natural. Normalmente p(1).
 Paso inductivo. Se demuestra la sentencia condicional ∀n∈N p(n) => p(n+1), es decir, se asume que p(n)
es cierta y se concluye que entonces p(n+1) es cierta. Se llama hipótesis inductiva a la suposición de que
p(n) es cierta.
Dentro de los métodos de inducción existe un método llamado de inducción fuerte que se aplica cuando no es fácil
probar una proposición por inducción ordinaria. La inducción ordinaria consiste en asumir en la hipótesis inductiva
que p(n) es cierto. La inducción fuerte, sin embargo, asume que ∀1≤j≤n p(j).
El principio de buena ordenación afirma que todo conjunto no vacío de números positivos contiene
un elemento mínimo. De acuerdo con esto, se puede demostrar que el principio de inducción
ordinaria, de inducción fuerte y de buena ordenación son en realidad equivalentes.
La geometría computacional es la parte de la matemática discreta que estudia problemas

computacionales referidos a objetos geométricos. Esta herramienta es muy útil en inducción
matemática.
EJEMPLO
Recursión
Funciones recursivas: Aquellas que se definen en función de sí mismas.
Las funciones recursivas son similares a la inducción en el sentido de que se definen mediante:
• Paso base. Especifica el valor de terminación de la llamada recursiva cuando se alcanza un valor entero
pequeño.
• Paso recursivo. Da una regla para encontrar el valor de la función para un entero como el resultado de
operar el valor con enteros menores.
Además de las funciones, los conjuntos también se pueden definir recursivamente dando lugar a los llamados
conjuntos definidos recursivamente, que son conjuntos para los cuales un algoritmo puede decidir en un
número finito de iteraciones si un elemento pertenece o no al conjunto.
Gracias
22

Algebra y Matematica Discreta

Cargado por

Copyright:

Formatos disponibles

Algebra y Matematica Discreta

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Algebra y Matematica Discreta

Cargado por

Copyright:

Formatos disponibles

ALGEBRA Y

 Utilizar adecuadamente predicados y cuantificadores para describir proposiciones ciertas.

 Crear las tablas de la verdad.

El nacimiento de esta disciplina puede considerarse menos

En el siglo XVII se hace referencia a su estudio, ligado al

Durante la Segunda Guerra Mundial, la matemática

•Combinatoria: abarca el estudio de la enumeración y combinación de objetos finitos.

•Lógica: se encarga de la construcción de argumentos y la resolución de problemas por medio de

•Criptografía: orientado a construir y proteger la comunicación a través de información cifrada,

• Asignar un valor a la variable.

Por ejemplo, la expresión “para todo x (∀x)” es un

Para demostrar un predicado ∀n∈N p(n), normalmente se realiza en dos pasos:

La geometría computacional es la parte de la matemática discreta que estudia problemas

También podría gustarte