MATEMATICA DISCRETA

Lógica Matemática: conjunto de herramientas que nos permiten determinar si algo es válido.

Unidad básica del razonamiento: (proposición). Una proposición es una oración, expresión o frase declarativa que
puede ser verdadera o falsa, nunca ambas.

Proposiciones simples: p, q, r, s,…(minúsculas)

Proposiciones compuestas: formada por dos o mas proposiciones simples y conectadas a través de conectivos
lógicos.

Conectivos lógicos:
NOMBRE OPERADOR SIMBOLO
CONJUNCION And(y) ∧
DISYUNCION INCLUYENTE Or(o) V
DISYUNCION EXCLUYENTE Or(o) V
NEGACION Not(no) ~

Conjunción: se utiliza para conectar dos proposiciones que deben cumplirse si o si para que se cumpla la proposición
compuesta
P Q P∧Q
Ej: “el auto tiene nafta y la batería tiene corriente”
V V V
V F F
F V F P Y Q
F F F
Disyunción (incluyente): se utiliza para conectar dos proposiciones para obtener un resultado verdadero cuando
alguna de las proposiciones es verdadera
P Q PVQ Ej: “una persona compra su boleto o le regalan una entrada para ir al cine”
V V V
V F V
F V V P O Q
F F F
Disyunción(excluyente): sirve para conectar dos proposiciones cuyo resultado es verdadero solamente cuando una de
las proposiciones es verdadera
P Q PVQ
V V F
V F V
F V V
F F F
Negación: se utiliza para cambiar el valor de verdad de una proposición.
P ~P
V F
F V
Proposición condicional: formada por dos proposiciones simples (o compuestas). P→Q (P seria antecedente y Q
consecuente)
P Q P→Q
Ej: “si salgo electo presidente, entonces el crecimiento del país será 7%”
V V V
V F F
F V V
F F V
Proposición bicondicional: “sí y solo si” P→Q se utiliza para formar una proposición compuesta que resulta
verdadera solamente cuando ambas proposiciones tienen el mismo valor de verdad.
P Q P→Q
Ej: “es un buen estudiante, si y solo si, tiene promedio 10”.
V V V
V F F
F V F
F F V
Clasificación de una proposición compuesta:

• Tautologías: es aquella proposición compuesta que es cierta para todas las combinaciones de valores de
verdad de sus proposiciones simples.
• Contradicción: si al evaluar la proposición, resulta siempre falsa, para todas las proposiciones o
combinaciones de valores.
• Contingencia o indeterminación: cuando en la tabla de verdad, para algunos casos resulta verdadera y, en
otros resulta falsa.

Equivalencia lógica: dos proposiciones son lógicamente equivalentes cuando tienen el mismo valor de verdad para
cualquier interpretación. A B
Dos proposiciones son lógicamente equivalentes si el bicondicional entre ambos resulta en tautología.

Leyes lógicas: toda ley lógica, es una equivalencia lógica.

1. Ley de la doble negación, o involución: ~(~P) P
2. Leyes conmutativas: P V Q Q V P, P ∧ Q Q∧P
3. Leyes asociativas: (P V Q) V R P V (Q V R)
4. Leyes distributivas: P V (Q ∧ R) (P V Q) ∧ (P V R)
5. Ley de idempotencia: P ∧ P P
6. Leyes de morgan: ~(P V Q) ~P V ~Q; ~(P ∧ Q) ~P V ~Q
7. Ley de identidad: P ∧ V F; P v F P
8. Ley de dominacion: P ∧ F F; P v V V
9. Ley condicional: P → Q ~P V Q
10. Ley contrapositiva: P → Q ~Q → ~P
11. Ley del bicondicional: P Q (P → Q) ∧ (Q → P)
12. Ley para la disyuncion excluyente: P V Q ~(P → Q)
13. Ley de absorcion total: P ∧ (P V Q) P; P V (P ∧ Q) P
14. Ley de absorcion parcial: P V (~P ∧ Q) P V Q; P ∧ (~P V Q) P∧Q
15. Ley del tercer excluido: P V ~P V

Lógica de Predicados: se basa en que ciertas expresiones resultan en proposiciones si algunos elementos tienen una
propiedad o característica llamada “predicado”, y en este contexto una proposición puede ser verdadera para un
grupo de elementos de un conjunto, pero falsa para otro.

Función proposicional (o esquema): es toda expresión que contiene a “x” y que posee la siguiente propiedad: existe
por lo menos un nombre tal que la expresión obtenida sustituyendo la indeterminada por dicho nombre, es una
proposición.
Por ejemplo: Universo: Todos los habitantes del continente americano.
P(x): x habla inglés.
Hay dos posibilidades para transformar un esquema en proposición: por sustitución o por cuantificadores.
Sustitución:
• Si decimos: P(x) x es un gato.
No podemos decir si es verdadero o falso.
• Si ahora denotamos a x = Tom
Nos queda la frase “Tom es un gato”, podemos decir entonces si es verdadero o falso.
Ejemplos:
X=5
 • P(x): x es un numero entero impar
X = multiplicado por 2
• Q(x): 5x < 20
No es proposición
• R(x): 2x+3
Cuantificadores:
• Cuantificador universal (∀) ∀ x: P(x)
Se lee <<para todo x, se verifica, cualquiera sea x se cumple la afirmación dada>>
Ejemplo: P(x) x es un numero entero impar
∀ x: x es un numero entero impar
❖ Para todo “x” se verifica que “x” es un numero entero impar
❖ Todos los números son enteros impares.
• Cuantificador existencial (Ǝ) Ǝ x / P(x)
Se lee: existe al menos un x tal que lo verifica, existe un objeto x.
Ejemplo: P(x): x es un numero entero impar
Ǝ x / x es un numero entero impar.
Ejemplos:
• P(x): x es un numero entero impar
• Q(x): 5x < 20

Concepto de conjunto: colección bien definida de objetos llamados elementos o miembros del conjunto.
Conjuntos: A, B, C, D, …
Elementos: a, b, c, d, …
Definición: A = {definición}
Definición por conjunto:
• Por extensión: se enumeran todos los elementos que constituyen el conjunto. A = {2, 3, 7} B = {gato, perro,
pez}
• Por comprensión: se indica la propiedad que caracteriza a los elementos del conjunto. A = {x / p(x)}
Ej:
Por extensión: A = {2, 4, 6}
Por compresión: P(x) es un numero par entre 2 y 6.
A = {x / p(x)} = x es un numero par entre 2 y 6
A = {x / x = 2n ∧ n <= 1 <= 3}
Conjuntos especiales:
• Conjunto vacío: carece de elementos. Ø = {x /x ≠ x}
• Conjunto unitario: formado por un único elemento. A = {a}
• Conjunto universal: contiene de forma plena y absoluta todos los objetos de un texto preciso.
Relación entre conjuntos:
• Comparacion entre conjuntos: INCLUSION
Ej: A y B dos conjuntos.
AcB ∀x:xEA→xEB
• Igualdad de conjuntos:
Ej: sean A y B dos conjuntos
A=B AcB∧BcA
• Representación gráfica: Diagrama de Venn

U A U

A B B

.X

X E A = X pertenece a A B c A = B incluido en A.
X ∉ B = X no pertenece a B
Conjunto de partes o potencias: Sea A un conjunto: el conjunto de partes de A es el conjunto cuyos elementos son
todos los subconjuntos de A.

P(A) = {x / x c A}

Complemento: Ac = A = A = {x E u / x ∉ A}

Propiedades del complemento:

1. Involución: (Ac)c = A
2. Relación de inclusión: A c B → Bc c Ac

Intersección: A n B = {x E u / x E A ∧ x E B}

A B

Propiedades de la intersección:

1. Idempotencia: A n A = A
2. Asociatividad: (A n B) n C = A n (B n C)
3. Conmutatividad: A n B = B n A
4. Elemento neutro: A n U = A

Unión: A u B = {x E U / x E A V x E B)

A B

Propiedades de la unión:

1. Idempotencia: A u B = A
2. Asociatividad: (A u B) u C = A u (B u C)
3. Conmutatividad: A u B = B u A
4. Elemento neutro: A u Ø = A

Leyes distributivas: (A u B) n C = (A n C) u (B n C) → propiedad distributiva de la intersección respecto a la unión.

(A n B) u C = (A u C) n (B u C) → propiedad distributiva de la unión respecto a la intersección.

Leyes de Morgan: (A u B)c = Ac u Bc

(A n B)c = Ac u Bc
Leyes de absorción:

1. Total: A u (A n B) = A
A n (A u B) = A
2. Parcial: A u (Ac n B) = A u B
A n (Ac u B) = A n B

Diferencia: A – B = {x E U / x E A ∧ x ∉ B}

A B

Propiedades de la diferencia:

1. A-Ø=A
2. A–A=Ø
3. A–B=Ø AcB
4. A–B=A AnB=Ø

Diferencia simétrica: A ∆ B = {x E U / x E A v x E B}

A ∆ B = (A – B) u (B – A)

Propiedades de la diferencia simétrica:

1. A∆A=Ø
2. BcA→A∆B=A–B
3. A∆B=B∆A
4. (A ∆ B) ∆ C = A ∆ (B ∆ C)
5. AƯ=A

Producto cartesiano: A x B = {(x, y) / x E A ∧ Y E B}

Conjunto finito: son aquellos conjuntos en los que se sabe con exactitud el número de elementos contenidos. Al
numero de elementos de un conjunto se los denomina cardinal.
n (A) = |A| = ≠ A es el cardinal del conjunto A

Propiedades de los conjuntos finitos: sean A y B dos conjuntos finitos, entonces A u B también es finito y se cumple.

|A u B| = |A| + |B| - |A n B|
Conjuntos numerables o contables: los conjuntos finitos son los que se pueden contar mediante los números
naturales, pero este concepto de “contar” podemos extenderlo a algunos conjuntos infinitos. Los conjuntos
infinitos numerables son los que se pueden “contar” a expensas de agotar los números naturales en el proceso.
Intervalos: sea R el conjunto de números reales. Llamaremos intervalos a los siguientes conjuntos, para todo a,
b E R: → CERRADO → ABIERTO
Producto cartesiano: A x B = {(x, y) / x E A ∧ Y E B}
Relación entre elementos de dos conjuntos: una relación es una correspondencia entre dos elementos de dos
conjuntos con ciertas propiedades. R c A x B
Relación binaria: solamente tiene dos conjuntos. R c A x B.

Representación de una relación:

• Representación matricial
• Grafo dirigido
Matriz de la relación:
Teorema: a toda relación R de equivalencia sobre un conjunto E le corresponde una partición de E en clases de
equivalencia y, recíprocamente, toda partición de E define sobre E una relación de equivalencia R donde las
clases de equivalencia coincidan con los elementos de la partición dada.