¿Qué es la lógica discreta?

➢ Es la parte de la matemática que estudia objetos discretos.

➢ Los objetos discretos son estructuras matemáticas que son contables o, dicho
de otra manera, distintas y separables.
➢ Algunos ejemplos de estas estructuras discretas son las teorías de conjuntos, los
grafos, las declaraciones lógicas, etc.
➢ Las estructuras discretas pueden ser finitas o infinitas.

¿Por qué estudiar lógica discreta?

➢ Permite desarrollar la madurez en matemática, es decir, la habilidad para entender
y crear argumentos matemáticos.
➢ Proporciona la base para teorías computacionales más avanzadas como:
estructura de datos, algoritmos, estructura de autómatas, lenguajes formales,
seguridad informática, etc.
PROGRAMA SINTÉTICO DE LÓGICA y ESTRUCTURAS DISCRETAS

Unidad 1: Elementos de lógica proposicional y de predicados

Unidad 2: Teoría de Conjuntos, inducción.
Unidad 3: Métodos de Conteo
Unidad 4: Divisibilidad en Z. Algoritmo de Euclides
Unidad 5: Relaciones binarias. Relaciones de equivalencia.
PRIMER PARCIAL 10 / 7 / 2023

Unidad 6: Conjuntos ordenados, redes y Algebras de Boole

Unidad 7: Relaciones de recurrencia.
Unidad 8: Teoría de Números
Unidad 9: Estructuras algebraicas: Grupos
Unidad 10: Grafos, dígrafos y árboles.
SEGUNDO PARCIAL
 Lógica y estructuras discretas
CURSOS: K 1026 (07:45 a 10:00) Prof: Christian Staple
K 1030 (10:15 a 12:30)
Período 2023 (anual) Turno Mañana – Sede Medrano

FECHA MODALIDAD TEMAS

03 de Abril PRESENCIAL UNIDAD 1: Proposiciones lógica Clases por ZOOM
10 de Abril VIRTUAL UNIDAD 1: Funciones proposicionales. Razonamientos.
17 de Abril PRESENCIAL UNIDAD 1: Razonamientos categóricos Los días que tengamos clase
24 de Abril VIRTUAL UNIDAD 2: Conjuntos. Operaciones. Conjuntos de partes.
01 de Mayo FERIADO NACIONAL
por videoconferencia
08 de Mayo PRESENCIAL REPASO DE LÓGICA y CONJUNTO utilizaremos la plataforma
15 de Mayo VIRTUAL UNIDAD 2: Inducción completa
22 de Mayo VIRTUAL UNIDAD 3: Métodos de conteo
ZOOM.
29 de Mayo PRESENCIAL REPASO INDUCCIÓN Y COMBINATOPRIA
05 de Junio VIRTUAL UNIDAD 4: Algoritmo de la división. Mcm. Mcd. Algoritmo de
Euclides
12 de Junio PRESENCIAL UNIDAD 5: Relaciones. Propiedades. Dígrafos. Manejo matricial
19 de Junio FERIADO NACIONAL
26 de Junio PRESENCIAL UNIDAD 5: Relaciones de equivalencia.
03 de Julio PRESENCIAL REPASO PARA EL PARCIAL
10 de Julio PRESENCIAL PARCIAL

El link de acceso se encuentra en el aula virtual y deben ingresar OBLIGATORIAMENTE con

su cuenta institucional de UTN.
https://utn.zoom.us/j/8103171787
CAMPUS VIRTUAL:

El Aula Virtual está organizada por unidades, y pueden hacer consultas en los
foros de cada unidad.
https://aulasvirtuales.frba.utn.edu.ar/course/view.php?id=25746

IMPORTANTE:
➢ pongan foto de perfil adecuada en el campus virtual

➢ Matricularse en el aula general de la materia

La clave es: discreta2023

Para PROMOCIONAR la materia:

✓ aprobar el primer parcial (en su fecha) con nota  8

✓ aprobar el segundo parcial (en su fecha) con nota  8
Se permite UNO SOLO de ellos haberlo logrado en la primera instancia de recuperación.
O bien tener uno solo con un 7, y el otro con nota  8, en cuyo caso debe aprobar un
complemento.
✓ aprobar el 80% de las tareas que se asignen
✓ haber cumplido el 80% de asistencia a clase y el 100% de las presenciales

Para aprobar la cursada (“firmar” la materia), deben:

✓ aprobar el primer parcial (en su fecha o en alguno de sus recuperatorios) con nota  6
✓ aprobar el segundo parcial (en su fecha o en alguno de sus recuperatorios) con nota  6
✓ aprobar el 60% de las tareas que se asignen
✓ haber cumplido el 75% de asistencia a clase y el 100% de las presenciales.
✓ Luego deben rendir el examen final.
La lógica fue estudiada originalmente por los Sofistas, famosos por sus debates.
Trataron de idear un sistema objetivo de reglas para determinar más allá de toda
duda quién había ganado una discusión, y la lógica fue concebida originalmente
para este propósito.
A principios del siglo XIX, la lógica se desprende de la filosofía y la ciencia de la
mente, y empieza a adoptar métodos tomados de la matemática.
El Álgebra de Boole permitió el desarrollo de una lógica matemática o simbólica.
La Lógica ha sido determinante para el desarrollo de la Computabilidad y la
resolución efectiva de problemas.
La lógica computacional es la misma lógica matemática aplicada al contexto de
las ciencias de la computación.

Su uso es fundamental en varios niveles: en los circuitos computacionales, en

la programación lógica y en el análisis y optimización (de recursos temporales y
espaciales) de algoritmos.
Proposición: Se entiende por proposición a todo enunciado al que se le puede asignar un
valor de verdad.

p: “ hoy es Lunes” No es proposición

q: “el triángulo tiene tres lados” 1. ¿Qué hora es?

r : “2 = 4” 2. ¡Hace frio!
3. Lee esto con atención
1, 2 y 3 NO son proposiciones ya que no son
enunciados declarativos 4. x es un número impar
4 y 5 NO son proposiciones ya que NO son ni
verdaderas ni falsas

Las proposiciones p, q y r se dicen simples

Para obtener proposiciones compuestas a expensas de proposiciones simples se usan
conectivos lógicos.
 ALGUNOS CONECTIVOS
Conector Se lee Nombre
Algunas formas de la conjunción son:
¬ No Negación p además de q
Ʌ y Conjunción p también q
p así como q
 o Disyunción p pero q
 o Disyunción excluyente Algunas formas de la disyunción son:
⇒ si …, … Condicional p o bien q
puq
 si y solo si Bicondicional
Algunas formas de condicional son:
“p entonces q“, p sólo si q”, “p solamente si q”, “p implica q”,
“q con la condición de que p”, “q cuando p”, “q siempre que p”, “q si p”,
“q cada vez que p”, “q ya que p”, “q debido a que p”,
“q puesto que p”, “q porque p”, “se tiene q si se tiene p”,

Algunas formas de bicondicional son

p es condición necesaria y suficiente para q
p siempre y cuando q, p entonces y solo entonces q
p es idéntico a q p equivale a q
TABLAS DE VERDAD p q pɅq pq pq pq pq
V V V V F V V
p ¬p
V F F V V F F 4
2 V F Filas
F V F V V V F
Filas F V
F F F F F V V

❖ Llamamos “tautología” a toda proposición compuesta

cuyo valor de verdad es siempre verdadero en forma
independiente del valor de verdad de las proposiciones
simples que la componen.

❖ Llamamos “contradicción” a toda proposición compuesta

cuyo valor de verdad es siempre falso en forma independiente
del valor de verdad de las proposiciones simples que la
componen.
 ❖ Llamamos “contingencia” si el valor de verdad
de la proposición compuesta depende del valor de
verdad de las proposiciones simples que la
componen.

4b) (p  (q  r) ) Ʌ ¬q  ¬p  r
V V V V V F F V F V V
V V V V F F F V F F F
V V F V V V V V F V V
V F F F F F V V F F F
8
Filas F V V V V F F V V V V
F V V V F F F V V V F
F V F V V F V V V V V
F V F F F F V V V V F
 3 2 1 5 4
Ej. ¬ ( p Ʌ ( q  r) )  ( q  ¬p  r)

F V V V V V F V V F V
V V F V F F V V V F F
F V V F V V F F V F V
F V V F V F V F F F F
V F V V V
F V V V V V
V F F V F F V V V V F
V F F F V V V F V V V
V F F F V F V F V V F
 RECÍPROCA, CONTRA RECÍPROCA E INVERSA
Dado el condicional 𝑝 ⇒ q
➢ 𝑞 ⇒ 𝑝 se llama recíproca de 𝑝 ⇒ q, “Si el equipo local gana, llueve”.
➢ ¬𝑞 ⇒ ¬𝑝 se llama contrarrecíproca de 𝑝 ⇒ 𝑞 “Si el equipo local no gana, no llueve”
➢ ¬𝑝 ⇒ ¬𝑞 se llama la inversa de 𝑝 ⇒ 𝑞. “Si no llueve, el equipo local no gana”.

Ejemplo. “Si llueve, el equipo local gana”

𝑝 ⇒ q

p q ¬p ¬q pq q  p ¬p  ¬q ¬q  ¬p La contrarrecíproca ¬𝑞 ⇒ ¬𝑝
V V F F V V V V
de un condicional 𝑝 ⇒ q tiene
V F F V F V V F
F V V F V la misma tabla de verdad que
F F V
F F V V V V V V 𝑝⇒q
 Proposiciones compuestas con igual número de proposiciones simples que tengan la misma tabla de
verdad se dicen que son equivalentes y son intercambiables.
Si dos proposiciones p y q son equivalentes se escribe p  q o bien p  q
pq¬pq Ley del condicional
p  q  ( p  q )  ( q  p )  (¬ p  q )  (¬q  p ) Ley del bicondicional contra recíprocas
¬𝑞 ⇒ ¬𝑝  𝑝 ⇒ q
Involución ~ (~p) ≡ p
Idempotencia (pp)≡p p≡ ( p  p )
Conmutatividad (pq)≡(qp) (pq)≡(qp) (pq)≡(qp)
Absorción p(pq)≡p p≡ p  ( p  q )
Identidad pV≡p pF≡p
Dominación pF≡F pV≡V
Leyes de De Morgan ~(pq)≡~p~q ~(pq)≡~p~q
Asociatividad p(qr)≡(pq)r p(qr)≡(pq)r
Distributividad p(qr)≡(pq)(pr) p  ( q  r ) ≡( p  q )  ( p  r )
Simplificar la siguiente proposición, utilizando leyes lógicas

( p  q )  p   ( q  p )   ( p   q )
1
( p  q )  p   ( q  p )   ( p   q ) ≡ 1 Ley de De Morgan/Involución
2
( p  q )  p   ( q  p )  (  p  q ) ≡ 2 Conmutativa/ Asociativa/
idempotencia
3
 (p  q )  p   ( q  p ) ≡ 3 ley de implicación/involución
4
(p  q )  p   ( q  p ) ≡ 4 Absorción
5
p  ( q  p ) ≡ 5 distributiva
6
(p  q )  (p  p ) ≡ 6 Ley de Negación
7
(p  q )  T ≡ 7 Ley de identidad

p q
p (x) es una función proposicional o predicado o proposición abierta con dominio A  Ø
si para cualquier elemento a del conjunto se verifica que p (a) es una proposición.
Ejemplo: Sea A = N y p (x) = “x  2”
Si x = 1 p (1) = “1  2” es una proposición cuyo valor de verdad es falso
Si x = 3 p (3) = “3  2” es una proposición cuyo valor de verdad es verdadero

Ejemplo Consideremos el predicado p(x, y) : x + y = 5 en el universo de los números

enteros. En principio las variables x e y pueden tomar cualquier valor entero, es decir
están “libres”.
•Si asignamos a x el valor 2 y a la y el valor 3, entonces el predicado p(x, y) se transforma
en la Proposición p(2, 3) : 2 + 3 = 5 que es verdad.
•Si hubiéramos asignado los valores 1 y 2 a las variables x e y, respectivamente, entonces
resultaría la proposición p(1, 2) : 1 + 2 = 5 que es falsa.
 Universal:  “para todo” Cuantificadores
 x, p (x) se lee “para todo x, p (x)”
 : significa que todos los elementos del conjunto cumplen con la propiedad.
Existencial:  “existe al menos uno”
Ejemplo:  x, p (x) se lee “existe al menos un x tal que p (x)
: significa que hay por lo menos un elemento del conjunto que cumple la propiedad
Ejemplo: Sean los conjuntos: A = { 10, 15, 20 } B = { 3, 6, 9, 12 } y las funciones proposicionales:
P(x) : “x es múltiplo de 5” Q(x) : “x es par”
“Todos los elementos del conjunto A son múltiplos de 5” se escribe:  x  A : P(x)

“Algunos elementos del conjunto B son pares” se escribe:  x  B : Q(x)

Algunos elementos del conjunto A son pares y múltiplos de 5” se escribe:  x  A : [ P(x)  Q(x)]
VALOR DE VERDAD DE LOS CUANTIFICADORES
 x, p(x) es verdad si p(x) es una proposición verdadera para todos los valores de x en el U.
x, p(x) es falsa si hay, al menos, un valor de x en U para el cual p(x) sea falsa.
 x: p(x) es verdadera, si p(x) es verdadera para, al menos, uno de los valores de x en U .
 x : p(x) es falsa, si el predicado p(x) es una proposición falsa para todos los valores de x en U
Ejemplos: en el conjunto de números enteros
 x:x<x+1
La proposición es “existe, al menos, un entero que es menor que el siguiente
”El predicado p(x) : x < x + 1 es una proposición verdadera para cualquier entero x, por
tanto, la proposición cuantificada es verdadera.
x : x = x + 1
La proposición es “existe, al menos, un número entero que es igual al siguiente”
El predicado p(x) : x = x + 1 es una proposición falsa para cualquier número entero x, por
tanto la proposición cuantificada es falsa
 Negación de los cuantificadore
Ejemplo:  x  IN: x es impar
∼[  x: p (x) ]  [  x: ∼ p (x) ]
∼[  x:  p (x) ]  [  x: p (x) ] ∼[  x  IN: x es impar ]

∼[  x:  p (x) ]  [  x: p (x) ] [  x  IN: x no es impar ]

∼[  x: p (x) ]  [  x: ∼ p (x) ]

Negar la siguiente proposición: p(x): x  R: (x>0 → x + 3≥5)

¬p(x): ¬ (x  R: (x>0 → x + 3≥5))
¬p(x): x  R: ¬(x>0 → x + 3≥5))
¬p(x): x  R: ¬(¬(x>0)  x + 3 ≥ 5)
¬p(x): x  R: x > 0  ¬( x + 3 ≥ 5)
¬p(x): x  R: x > 0  x + 3 < 5
¬p(x): x  R: x > 0  x < 2
Ejemplos: en el conjunto de números enteros
 x:x<x+1
La proposición es “existe, al menos, un entero que es menor que el siguiente
”El predicado p(x) : x < x + 1 es una proposición verdadera para cualquier entero x, por
tanto, la proposición cuantificada es verdadera.
x : x = x + 1
La proposición es “existe, al menos, un número entero que es igual al siguiente”
El predicado p(x) : x = x + 1 es una proposición falsa para cualquier número entero x, por
tanto la proposición cuantificada es falsa
 x :x < x + 1
El predicado p(x) : x < x + 1
es una proposición verdadera si sustituimos x por cualquier número entero, luego la
proposición cuantificada x, x < x + 1 es verdadero.
∀x: x = -190
Esta proposición dice que “todos los números enteros son iguales a -190”
x = 0 es un número entero. Es falsa.
VARIABLES LIBRES Y VARIABLES ACOTADAS
Si las variables de una función proposicional están afectadas por un cuantificador, ya
sea universal o existencial; diremos entonces que son variables acotadas. En cambio,
las variables que no están afectadas por un cuantificador, son variables libres

Observación: Los cuantificadores no conmutan

xyyx yxxy

Ejemplos: en el conjunto de números enteros

∃y: [∀x (x · y = 1)]

“Puede encontrarse un número entero tal que su producto por cualquier entero sea 1”
La proposición ∀ x, x · y = 1 es falsa ya que bastaría tomar x≠1 para que x · y ≠1
cualquiera que sea él y que se elija.
Por lo tanto, la proposición ∃y: [∀x (x · y = 1)] es falsa.
y [ x (x + y = 0)]
“Existe, al menos, un número entero y tal que su suma con cualquier otro número entero
es cero”.

La proposición  x, x + y = 0 es falsa para todos los y del universo del discurso. En efecto,
bastaría tomar un x ≠ 0 y x ≠ −y para que x + y ≠ 0. Por lo tanto,  y [ x (x + y = 0)] es falsa

x [ y (x + y = 0)]
“Dado cualquier número entero, existe otro tal que la suma de ambos es cero”.

Pues bien, dado cualquier número entero x, la proposición  y : x + y = 0 es verdad ya que

siempre puede encontrarse otro entero y que cumpla la ecuación x+y = 0 (bastaría tomar
y = −x). Por lo tanto la proposición x [ y (x + y = 0)] es verdadera
Si el universo del discurso es el conjunto de las personas casadas

∀x [∃y : (x está casada con y)]

La transcripción de la proposición es “para cada persona que elijamos en el universo
del discurso, existe otra que está casada con ella”.

Dada una persona cualquiera x, la proposición ∃y : x está casada con y es verdadera,

por lo tanto, ∀x [∃y : (x está casada con y)] es verdadera

∃y : [∀x (x está casada con y)]

La transcripción es “Existe una persona y del universo del discurso tal que todas las
demás están casadas con ella”.
La proposición ∀x(x está casada con y) es falsa para cualquier y que tomemos en el
universo, por tanto, ∃y : [∀x (x está casada con y)] es una proposición falsa.