MATEMÁTICAS DISCRETAS

CONJUNTOS-LÓGICA PROPOSICIONALTICAS
DISCRETAS

PROFESORA. LAURA FIERRO ROSALES

UNITEC
PROFESORA LAURA FIERRO ROSALES
U N I T E C 2022
2019

1 / 49
 MATEMÁTICAS DISCRETAS
MÁTEMATICAS DISCRETAS
2.- Conjuntos
2.1. Definiciones y notación
2.2. Operaciones con conjuntos
2.3. Algunas propiedades de las operaciones con conjuntos
2.4. Conjunto complementario y leyes de Morgan
2.5. Conjuntos finitos
2.6. Conjuntos infinitos

2 / 49
 MATEMÁTICAS DISCRETAS
MÁTEMATICAS DISCRETAS
3.- Lógica proposicional
3.1. Proposiciones
3.2. Operadores lógicos
3.3. Tipos de proposiciones lógicas
3.4. Tablas de verdad con diferentes tipos de proposiciones
3.5. Argumentos, premisas y conclusiones
3.6. Inducción matemática
3.7. Aplicaciones en estructuras de programación
3.7.1. Estructura if-then-else
3.7.2. Estructura de ciclos

3 / 49
 CONJUNTOS
Para las matemáticas en general, la función que desempeñan las definiciones
es básica, debido a que con ello se pretende establecer, sin ambigüedad, los
conceptos utilizados. Aunque parezca poco increíble, la definición formal de
un conjunto es una de las mas difíciles de establecer en matemáticas.
Pues, si por ejemplo usamos la definición: “Un conjunto es una colección bien
definida de objetos”; entonces, surge la siguiente pregunta: ¿que es una
colección? Luego, entonces, es posible definir, por ejemplo, una colección
como “un agregado de cosas”; pero, ¿que es un agregado?, y así
sucesivamente hasta desarrollar mas definiciones.
Como se puede observar, es fácil deducir que esto se vuelve cíclico; por tanto,
los matemáticos consideran que debe haber conceptos primitivos o sin una
definición formal.
4 / 49
 CONJUNTOS
No obstante, para efectos prácticos, un conjunto se considera una
colección bien definida de objetos, con la esperanza de que, aunque
dicha definición no es formal, la cotidianidad de la palabra
“colección” nos permita avanzar sin mayores dificultades hacia el
logro de los objetivos planteados.

En otras palabras, esto significa que un conjunto no es solo

cualquier colección de objetos, sino que además este debe estar
bien definido en el sentido de que, si se considera cualquier objeto,
se puede saber con certeza si es parte o no de la colección.

5 / 49
 MATEMÁTICAS DISCRETAS
MÁTEMATICAS DISCRETAS
Es importante establecer que a los objetos de un conjunto se les
llama elementos o miembros del conjunto, y es común
representarlos con letras minúsculas, a, b, c..., mientras que la
notación usual para los propios conjuntos es con letras mayúsculas,
A, B, C.... Por otra parte, hay dos maneras comunes de especificar
un conjunto dado.

Sin embargo para trabajar con conjuntos es muy importante

conocer su simbología

6 / 49
 MATEMÁTICAS DISCRETAS
Símbolo Descripción

{} conjunto

∈ Es un elemento del conjunto o pertenece al conjunto.

∉ No es un elemento del conjunto o no pertenece al conjunto.

⎜ Tal que.

n (C) Cardinalidad del conjunto C.

U Conjunto Universo.

Φ Conjunto Vacío.

⊆ Subconjunto de.

⊂ Subconjunto propio de.

⊄ No es subconjunto propio de.

∩ Intersección de conjuntos.

∪ Unión de Conjuntos.

A' Complemento del conjunto A.

= Símbolo de igualdad.

≠ No es igual a.

... El conjunto continúa.

Figura 1. Simbología de conjuntos
==> Si Entonces.

⇔ Si y sólo si.
7 / 49
 El CONJUNTO DE NÚMEROS ENTEROS
La primera es mediante la presentación de un listado de sus elementos
entre llaves; por ejemplo, si a consiste de todas las letras del alfabeto
español, entonces a puede presentarse en la forma:
a = {a, b, c, ...,z} La segunda forma de presentar un conjunto es
especificando una regla que establece la propiedad o propiedades que
un objeto debe satisfacer para ser considerado como un miembro del
conjunto. Si se utiliza esta notación, el conjunto A puede ser presentado
en la forma:
A ={a, t • q • a es una letra del alfabeto español} Y se lee: “A es el
conjunto de todos los elementos a, tales que a es una letra del
alfabeto español”. La notación que se usa para especificar que un
objeto a es un elemento de un conjunto A es: a ∈ A
8 / 49
 El CONJUNTO DE NÚMEROS ENTEROS

Y se lee: “a es un elemento de A” o, en forma alternativa, “a pertenece

a A”. Por otro lado, si el objeto a no es un elemento del conjunto A,
entonces se escribe: a ∉ A Y se lee: “a no es un elemento de A” o, en
forma alternativa, “a no pertenece a A”.

Figura 2. Diagrama de Venn

9 / 49
 OPERACIONES CON CONJUNTOS

Así como los números se pueden sumar, restar, multiplicar o

dividir, entre otras operaciones, para obtener nuevos números
también se tienen diversas operaciones que se pueden realizar con
conjuntos dados para obtener nuevos conjuntos.

La unión de dos conjuntos A y B es el conjunto formado con todos

los elementos que están en A y/o en B, y se denota por A ∪ B.

Esto se simboliza de la siguiente forma:

10 / 49
 OPERACIONES CON CONJUNTOS

La intersección de dos conjuntos A y B es el conjunto formado con

todos los elementos que están tanto en A como en B, y se denota
por A ∩ B. Esto se simboliza de la siguiente forma:

11 / 49
OPERACIONES CON CONJUNTOS

12 / 49
Sea U conjunto universo y A es un subconjunto de U entonces el
conjunto de todos los elementos en U que no están en A se conoce
como el complemento de A y se denota por Ac o A’. En símbolos se
tiene:

13 / 49
Diferencia
La diferencia de conjuntos A - B es el conjunto de todos los elementos
de A que no están en B, en símbolos:

La diferencia simétrica de A y B, que se denota por:

14 / 49
Las siguientes propiedades rigen las operaciones en conjuntos.
Sea U un conjunto universo. Si A, B y C son subconjuntos arbitrarios de
U, entonces:

Figura 3. Propiedades de las operaciones en conjuntos

15 / 49
 DIAGRAMAS DE VENN
Los diagramas de Venn son de gran utilidad para entender los
conjuntos resultantes de cada operación definida en conjuntos, pero
sobre todo para resolver problemas de aplicación que incluyen
conjuntos. En dichos diagramas, el conjunto universo U se representa
por un rectángulo, mientras que los subconjuntos de U se representan
por regiones dentro del rectángulo.

Figura 4. Diagramas de Venn

16 / 49
 CONJUNTOS FINITOS E INFINITOS CONTABLES

Cuando se habla de conjuntos infinitos, mucho del sentido común y de

la intuición carecen precisamente de sentido, pues resulta imposible
considerar que dos conjuntos, en apariencia uno con muchos mas
elementos que el otro, tengan en realidad presente sección. la misma
cantidad de elementos. No obstante, esto se aclara en la Recuérdese
que la cardinalidad de un conjunto A es la cantidad de elementos
distintos que posee el conjunto y se denota como: |A|.

17 / 49
 El CONJUNTO DE NÚMEROS ENTEROS
El sistema de los números naturales tiene un defecto manifiesto; a saber,
dados m, n ϵ , la ecuación m + X : n puede o no tener solución; por
ejemplo, la ecuaciones m + X : m y m + X : n (m < m ) carecen de solución. Es
sabido que esto se soluciona introduciendo a los números naturales el cero
y los números enteros negativos, a fin de formar el conjunto de los números
enteros.
Recuerde que
A continuación, se describen las propiedades algebraicas que satisfacen el
conjunto de los números enteros con las operaciones de adición y
multiplicación z
El símbolo proviene del alemán zahl, que significa número

18 / 49
 PROPIEDADES ALGEBRAICAS

figura 5. Descripción de las propiedades algebraicas

19 / 49
 LÓGICA PROPOSICIONAL

Lógica es un termino que deriva del griego (logike o logikós), que a su vez
proviene de (logos), que significa razón. La lógica se considera una ciencia
formal cuyo objeto de estudio son los distintos principios de
demostración que permitan comprobar que una afirmación pueda ser
considerada como valida. La metodología de trabajo de la lógica consiste
en examinar la validez o la invalidez de una afirmación mediante la
aplicación de una sistematización en los argumentos y, por ende, de un
análisis de su estructura lógica, sin tener en cuenta el contenido de lo
que se ha argumentado ni considerar siquiera el lenguaje utilizado, y sin
contemplar el estado de realidad del contenido. La lógica se aplica en
muy diversas áreas.

20 / 49
 LÓGICA PROPOSICIONAL

En ingeniería es de gran utilidad en la electrónica, para el diseño de

circuitos mediante compuertas lógicas, y en programación, para el diseño
de programas que requieren la unión de operadores lógicos.

En administración, porque esta hace uso de los conocimientos

organizados para dar solución a problemas reales. En derecho, su
aplicación se conoce como “lógica jurídica”, considerada un método de
investigación para entender a la ciencia del derecho, que obtiene su
principal fuente del conocimiento en la razón y no de la experiencia.

21 / 49
 PROPOSICIONES
Una proposición o enunciado constituye una oración que tiene un valor
de verdad, es decir, puede ser verdadera o falsa, pero no ambas. La
proposición es uno de los elementos fundamentales en lógica. Si la
oración es una pregunta, una orden, carece de sentido o es muy
imprecisa, entonces no puede ser clasificada como verdadera o falsa, y
por tanto no puede ser una proposición.

Antes de clasificar las proposiciones, es preciso considerar cómo

representarlas para luego hacer referencia a estas en diversas
expresiones lógicas. En matemáticas, las letras x, y, z, se utilizan para
representar variables que pueden ser reemplazadas con números, las
cuales pueden ser combinadas con diversos operadores, como: +, -,x ,/.
22 / 49
 PROPOSICIONES
Por su parte, en lógica las letras p, q, r, se usan para representar variables
proposicionales, esto es, variables que pueden ser reemplazadas por
proposiciones simples.
Así, es posible utilizar una proposición haciendo referencia solo a la
variable proposicional utilizada. En lógica se pueden encontrar dos clases
de proposiciones: simples o atómicas y compuestas o moleculares.

Si se tiene la siguiente proposición:

“La Tierra es plana',’ esta se puede representar eligiendo una variable
proposicional, digamos “P” De este modo, la proposición simple quedaría
representada de la siguiente forma: “p: La Tierra es plana”

23 / 49
 PROPOSICIONES SIMPLES O ATÓMICAS
Las proposiciones simples o atómicas son aquellas que están
estructuradas por una única oración. Para su representación, a la
proposición se le asigna una variable proposicional:

A) El oro es un metal precioso

B) Hoy es martes
C) Benito Juárez nació en Oaxaca
D) Rodolfo Neri Vela fue el primer astronauta mexicano

Supóngase que se quiere negar alguna proposición simple, denotada

corno “∼”; entonces, si se quiere decir que “Hoy no es martes”, se puede
escribir “∼q”, haciendo referencia a la variable proposicional elegida.
24 / 49
 PROPOSICIONES COMPUESTAS O MOLECULARES
Las proposiciones compuestas o moleculares son aquellas que están
estructuradas por dos o mas proposiciones simples unidas por
operadores lógicos, tales como ∧, ∨, =>, ⇔), entre otros.

En el caso de las proposiciones compuestas, a cada proposición simple

que la forma se le puede asignar una variable proposicional.
a) Pitágoras era griego y geómetra
b) Iré al cine si y solo si tu pagas las palomitas
c) El sentido de la calle es hacia el norte o hacia el sur
d) Si salgo tarde, entonces no visitare a la abuela

25 / 49
 PROPOSICIONES COMPUESTAS O MOLECULARES
Al leer cualquiera de las proposiciones compuestas anteriores, es posible
observar a simple vista que todas ellas están formadas por dos
proposiciones simples.
Al analizar el inciso a), se comprueba que esta proposición compuesta
esta estructurada por las

proposiciones simples: p: Pitágoras era griego. q: Pitágoras era geómetra.

Al combinar ambas proposiciones se utiliza el operador lógico “∧”. Dicha
proposición compuesta se puede representar corno: “p y q”, haciendo
referencia a las variables proposicionales utilizadas.

26 / 49
 PROPOSICIONES
Es importante destacar que, en ocasiones, los operadores están presentes de
manera implícita dentro de la oración.
Sea la siguiente oración Si estudio, triunfaré en la vida.
En primera instancia, esta parece una proposición simple, pero si se observa
con mayor detalle, se nota que tiene dos verbos: estudiar y triunfar, lo que
indica que tiene mas de una proposición simple; por tanto, se trata de una
proposición compuesta.
En este casó el operador implícito es entonces, y se puede expresar de la
siguiente manera:
Si estudio, entonces triunfaré en la vida. Esto permite destacar que no
siempre se “descubren" a primera vista los operadores en una proposición
compuesta
27 / 49
 TRADUCIR

Trabajar con proposiciones requiere la aptitud de poder traducirlas del

lenguaje natural al simbólico (también denominada traducción simbólica)
y viceversa. En el apartado anterior vimos como representar
proposiciones mediante variables proposicionales, las cuales pueden ser
reemplazadas por más detalle, simples, lo cual constituye una traducción
simbólica de dichas proposiciones. Para traducir proposiciones
compuestas, primero se eligen las variables proposicionales necesarias
con base en las proposiciones simples involucradas, además de los
respectivos operadores lógicos que las relacionan. En muchas ocasiones,
elegimos las variables proposicionales de tal manera que hagan alusión al
contenido mismo de la proposición.

28 / 49
 OPERADORES LÓGICOS

Los operadores lógicos son aquellos símbolos que permiten decidir qué
valor de verdad tiene una proposición. El valor de verdad de una
proposición simple puede ser verdadero o falso, y los únicos operadores
lógicos que se pueden utilizar en estas proposiciones son la negación y la
doble negación.

El valor de verdad de una proposición compuesta es verdadero o falso

depende de los valores de verdad de las proposiciones simples que la
estructuran, las cuales están combinadas por operadores lógicos.

29 / 49
 OPERADORES LÓGICOS

Ahora, se definen y analizan los operadores lógicos, incluyendo su tabla

de verdad;
Negación (∼) La negación de cualquier proposición p será falsa cuando se
niegue una proposición verdadera y será verdadera cuando se niegue
una proposición falsa.

Algunas formas de la negación son: no, nunca, es falso, no es cierto, no

ocurre, de ninguna forma, nada de, entre otras.
TABLA DE VERDAD DE LA NEGACIÓN

30 / 49
 OPERADORES LÓGICOS
Doble negación
Si la negación de cualquier proposición p verdadera es falsa, entonces
cuando se vuelve a negar será nuevamente verdadera; en caso contrario,
si la negación de una proposición falsa es verdadera, al volverse a negar
esta será falsa de nuevo.

TABLA DE VERDAD DE LA DOBLE NEGACIÓN

31 / 49
 CONJUNCIÓN
Si p y q representan dos proposiciones simples, entonces la proposición
compuesta p ∧ q, solo será verdadera cuando las dos proposiciones lo
sean. Algunas formas de la conjunción son: y, además de, también, así
como, pero, e, entre muchas otras.
Además, la conjunción es conmutativa, es decir: p ∧ q=q ∧ p
TABLA DE VERDAD DE LA CONJUNCIÓN

32 / 49
 DISYUNCIÓN INCLUSIVA (V)
Si p y q representan dos proposiciones simples, entonces la proposición
compuesta p V q solo será falsa cuando las dos proposiciones lo sean.
Algunas formas de la disyunción inclusiva son. o, o bien, u, entre otras.
La disyunción también es conmutativa, es decir: p V q = q V p
Este operador se denomina inclusivo, precisamente porque es verdadero,
aun cuando se cumplen las dos disyuntivas.
TABLA DE VERDAD DE LA DISYUNCIÓN INCLUSIVA

33 / 49
 DISYUNCIÓN EXCLUSIVA (⊕)
Si p y q representan dos proposiciones simples, entonces la proposición
compuesta p ⊕ q solo será falsa cuando las dos proposiciones tuvieren
el mismo valor de verdad. Se denomina disyunción exclusiva porque se
tiene que elegir una de cualquiera de las dos disyuntivas, pero no ambas.
Algunas formas de la disyunción exclusiva son: o, o bien, u, o... o, entre
otras. La disyunción exclusiva es conmutativa, es decir: p⊕q = q⊕p
TABLA DE VERDAD DE LA DISYUNCIÓN INCLUSIVA

34 / 49
 CONDICIONAL O IMPLICACIÓN ⇒
Si p y q representan dos proposiciones simples, entonces la proposición
compuesta p ⇒ q solo será falsa cuando p, llamado antecedente o
hipótesis, sea verdadero y q, llamado consecuente o conclusión, sea
falso. Algunas formas de la condicional o implicación son: si entonces, se
sigue, por tanto, se infiere, de ahí que, se deduce, implica, entre otras.
La condicional no es conmutativa, es decir: p ⇒ q ≠ q ⇒ p
TABLA DE VERDAD DE LA CONDICIONAL

35 / 49
 BICONDICIONAL O EQUIVALENCIA
Si p y q representan dos proposiciones simples, entonces la proposición
compuesta p ⇔ q, solo será verdadera cuando ambas proposiciones
tengan el mismo valor de verdad. Algunas formas de la bicondicional son: si
y solo si, entonces y solo entonces, es idéntico, equivale a, es equivalente
a, entre otras mas.
La bicondicional es conmutativa, es decir: p ⇔ q=q ⇔ p
TABLA DE VERDAD DE LA BICONDICIONAL

36 / 49
 TABLAS DE VERDAD
Una tabla de verdad, o tabla de valores de verdad, es una tabla que
muestra el valor de verdad de una proposición compuesta, así como de
algunos casos de proposiciones simples, cuando estas utilizan los
operadores lógicos de negación y doble negación, dependiendo de los
operadores lógicos usados y de los valores de verdad de las
proposiciones simples involucradas.
TABLA DE VERDAD DE LOS OPERADORES LÓGICOS

37 / 49
 ARGUMENTOS, PREMISAS Y CONCLUSIONES

Los razonamientos que estudia la lógica se llaman argumentos y su tarea

consiste en descubrir qué es lo que hace que un argumento sea valido y
constituya una inferencia correcta.

Por su parte, la inferencia es una actividad con la cual se afirma una

proposición sobre otra y otras proposiciones se aceptan como punto de
partida del proceso.

Un argumento es un conjunto de una o mas proposiciones, la ultima de

las cuales se denomina conclusión, mientras que las anteriores se llaman
premisas.

38 / 49
 ARGUMENTOS, PREMISAS Y CONCLUSIONES

De manera intuitiva, las premisas son la evidencia o las razones que

deben convencernos de la veracidad de la conclusión, y el argumento es
la concatenación de las primeras con la ultima.
Es habitual representar los argumentos haciendo un listado de las
premisas y la conclusión, separando la ultima mediante una línea, como
se observa a continuación:

Proposición 1
Proposición 2 Premisas
……………..
……………..
Conclusión
39 / 49
 INDUCCIÓN MATEMÁTICA

La inducción matemática es un método de demostración que se aplica

sobre los conjuntos de los números enteros positivos o el de los
números naturales .
En el lenguaje coloquial o cotidiano, el termino inducción hace
referencia al hecho de que se deben obtener conclusiones o resultados
mediante un examen que va de lo general a lo particular. En este tema se
mostrara como dicha palabra tiene un significado distinto, pues aquí
generalizamos una propiedad, regla o condición utilizando fórmulas, que
llamaremos fórmulas inductivas.

Se dará inicio con un ejemplo intuitivo, el cual dará idea general acerca
de que es la inducción matemática y como aplicarla.
40 / 49
 INDUCCIÓN MATEMÁTICA

Intuitivo
A este ejemplo lo llamaremos: “efecto dominó” en la secuencia inicial las
primeras cinco fichas de un domino compuesto por n fichas como se
puede puede ver, las fichas están dispuestas en forma vertical
En la segunda secuencia se empuja la primera ficha hacia la derecha, la
cual origina un “efecto dominó"; esto se puede considerar la base de la
inducción, ya que se da un empujón inicial que pone en movimiento todo
el proceso. (Villalpando, Becerra J. F. 2015. Grupo Editorial Patria)

41 / 49
 INDUCCIÓN MATEMÁTICA
Al caer la primera ficha golpea a la segunda, la cual
también cae, como se observa en la tercera secuencia de
la figura Entonces, la intuición nos hace pensar que el
proceso debe continuar; esto es, que al caer la segunda
ficha golpea a la tercera, la cual cae y así sucesivamente
hasta llegar a la n-ésima ficha y no quede ninguna ficha
en forma vertical, como se ve en la cuarta secuencia de
la figura. Entonces, sabemos que las n fichas deben caer
Ahora bien, ¿cómo sabremos si la fichan-ésima + 1 caerá
como en la última secuencia de la figura. Como todas las
fichas anteriores a la ficha n-ésima caen, entonces
sabemos que la ficha n-ésima + 1 también caerá
Figura 6. Efecto domino

42 / 49
 PRIMER PRINCIPIO DE INDUCCIÓN MATEMÁTICA
Consideremos una lista de proposiciones: p(1), p(2), p(3),..., con índices
en los enteros positivos +
Todas las proposiciones p(n) son verdaderas a condición que:
(B) p(1) sea verdadera.
(l) p(n + 1) es verdadera siempre que p(n) lo sea.

Nos referimos a (B), es decir al hecho de que p(1) es verdadera, como la

base de la inducción, y nos referimos a (l) como el paso inductivo. En la
notación del calculo proposicional, (l) equivale decir que:

La implicación p(n) ⇒ p(n + 1) es verdadera ∀ n ∈ +"

43 / 49
 APLICACIONES EN ESTRUCTURAS DE PROGRAMACIÓN
La sentencia if-then es la más básica de las sentencias de control de flujo.
Le indica al programa que ejecute cierta parte del código solamente si una
condición evalúa a verdadero. Por ejemplo, la clase Auto podría permitir
que los frenos redujesen la velocidad del automóvil solamente si el
automóvil ya estuviera en movimiento.
Una posible implementación del método Frenos podría ser así:
void Frenos(){
if (seMueve){ // la cláusula "if": el automóvil debe estar en movimiento
velocidadExistente--; // la cláusula "then": disminuir la velocidad
existente
}
}
44 / 49
 APLICACIONES EN ESTRUCTURAS DE PROGRAMACIÓN

Si esta condición evalúa a false (indicando que el automóvil no se

mueve), el control salta al final de la sentencia if-then.
Los corchetes de apertura y cierre son opcionales siempre que la cláusula
«then» solo contenga una sentencia:

void Frenos(){
if (seMueve) velocidadExistente--; // lo mismo que más arriba, pero
sin los corchetes
}
**ES RECOMENDABLE HACER COMENTARIOS

45 / 49
 APLICACIONES EN ESTRUCTURAS DE PROGRAMACIÓN
La sentencia while ejecuta un bloque de sentencias continuamente
mientras una condición sea verdadera «true». Su sintaxis se puede resumir
así:
while (expresión) {
sentencia(s)
}
La sentencia while evalúa expresión, que debe devolver un valor boolean. Si
la expresión evalúa a verdadero, la sentencia while ejecuta
la(s) sentencia(s) que hay en el bloque while. La sentencia while continúa
evaluando la expresión y ejecutando su bloque hasta que la expresión
evalúe a false
46 / 49
 APLICACIONES EN ESTRUCTURAS DE PROGRAMACIÓN
Podemos usar la sentencia while para imprimir los valores del 1 al 10
como se muestra en el siguiente programa:
class While1 {
public static void main(String[]
args){
int count = 1;
while (count < 11) {
System.out.println("Número: "
+ count); count++;
}
}
}
47 / 49
 MATEMÁTICAS DISCRETAS

Referencias

Villalpando, Becerra J. F. (2015). Matemáticas discretas aplicaciones y

ejercicios. (1ª Ed),Grupo Editorial Patria.
Rojas, González R. (2018). El lenguaje de las matemáticas historias de sus
símbolos. FCE - Fondo de Cultura Económica.

48 / 49
MATEMÁTICAS DISCRETAS

49 / 49