Lógica y estructura discreta

9/4/2024.............................................................................................................................................................2
16/04/24............................................................................................................................................................. 3
Ejemplo símbolos................................................................................................................................................ 4
30/04/2024.....................................................................................................................................1
Implicacion o condicional.........................................................................................................1
Condición necesaria y suficiente............................................................................................. 1
Negacion de una implicacion............................................................................................. 1
Bicondicional............................................................................................................................1
Simbologia............................................................................................................................... 1
Tautologia - Contradiccion - contingencia................................................................................1
Implicaciones asociadas..........................................................................................................1
Circcuitos logicos o boolianos................................................................................................. 1
Que es un circuito lógico....................................................................................................1
7/5/2025.........................................................................................................................................1
Esquemas proposicionales......................................................................................................1
21/05/2024.....................................................................................................................................1
Funciones esquemas y cuantificadores...................................................................................1
28/05/2024.....................................................................................................................................1
4/6..................................................................................................................................................1
Unidad 3: Teoría de conjuntos y relaciones.............................................................................1
Teoria de conjuntos............................................................................................................1
Relaciones......................................................................................................................... 1
25/06..............................................................................................................................................1
Clases de cada elem. ∈ A...................................................................................................... 1
Método directo......................................................................................................................... 1
30/7................................................................................................................................................1
Ley de composicion interna..................................................................................................... 1
 9/4/2024
Si no podemos hacer todo, hagamos algo.

Si tenemos 5,5/5,4 nos hace unas preguntas la proxima clase.

28 octubre - 1 noviembre segundo parcial

19, 20 noviembre feriado

26 noviembre feriado

11-15 noviembre recuperatorio 1 parcial 2

9-13 diciembre recuperstorio 2 parcial 2

28 febrero 2025 flotante

"El final no es mucho mas que un parcial."

En las fechas del parcial tenemos todos los parciales. Hacernos planes de
estudio. Hacer una estrategia.

Los ejercicios no hay que entregarlos. Hacerlos de igual forma.

Proposición es un enunciado que puede ser verdadero o falso.

p^q^r =
P Q R

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

Nsnnnsnssnns

~p negación de la proposición

Va a haber ejercicios en los que vamos a tener que negar proposiciones y

escribirla de formas cotidianas.

16/04/24
Disyuncion

Diferencia simetrica o o exclusivo

P Q PvQ

V V F

V F V

F V V
F F F

Ejemplo símbolos
●​ El sol es una estrella y la tierra es un planeta

P^Q

●​ 2 x 3 = 6 y 3 x 2 = 5

P^Q

●​ Todo cuadrado es un rombo o todo cuadrado es un rectángulo

PvQ

●​ La plata es la capital de la provincia de Bs As y la plata es un metal

P^Q

●​ 2 < 3 < 4

P^Q

●​ Hace mucho calor, pero trabajo intensamente

P^Q

●​ Asegurame que no volverás a hacerlo y me quedare tranquilo

P^Q

●​ Malena canta el tango como ninguna y en cada verso pone su corazon

PvQ

●​ Ese curso se dicto durante septiembre u octubre del año pasado

PvQ

~(P^q): no es cierto que juan y maria aprobaron el parcial

P Q P^Q ~(P^Q) ~P ~Q ~Pv~ PvQ ~ ~P ^ ~

 Q (PvQ) Q

V V V F F F F V F F

V F F V F V V V F F

F V F V V F V V F F

F F F V V V V F V V

1)​ ~ (p ^ q) = ~ p v Q

2)​ ~ (~ p v Q) = P ^ ~Q

3)​ ~ [ P ^ (Q v ~ R) ] = ~ P v ~ (Q v ~ R)

●​ La musica es muy suave o la puerta está cerrada

PvQ

~ (P v Q) = ~P ^ ~Q

●​ En el examen sere aprobado o aplazado

PvQ

~ (P v Q) = ~P ^ ~Q

●​ El número tres es par e impar

~ (P ^ Q)

●​ Juana nacio en el mes de febrero y en el de octubre

~ (P ^ Q)

●​ Leo “las cincuenta sombras de grey” mientras tomo sol”.

~ (P ^ Q)

●​ Santiago es la capital de Chile o Buenos Aires la de Argentina.

~ (P v Q)
 30/04/2024

Implicacion o condicional
Implicacion de las proposiciones p y q es la proposicion p → q (si p entonces q)
cuya tabla de valores de verdad es:

P Q P→Q

V V V

V F F

F V V

F F V

La proposición p se llama antecedente, y la proposición q se llama

consecuente de la implicación o condicional. La tabla nos muestra que la
implicación sólo es falsa si el antecedente es verdadero y el consecuente es falso.

P → q si maria aprueba el examen entonces va al cine

~ (p → q) no es cierto que si maria aprueba el examen entonces va al cine.

~ (p → q) = p ^ ~q

P q P→q ~ (p → q) P → ~q

V V V F F

V F F V V

F V V F F

F F V F F

Condición necesaria y suficiente

Es condición necesaria leer dos libros para leer tres libros.

Consideremos la tabla de valores de verdad de la implicación.

Ejemplo:

Si T es equilatero, entonces T es isoceles.

(3<2 ^ 2<5) → 3<1

F ^ V F

F → F

P ^ ~q

Negacion de una implicacion

Las proposiciones P → q = ~(p^ ~q) = ~p v q son equivalentes, como vemos
realizando la tabla de valores correspondientes:

P Q P→q (p ^ ~q) ~(p ^ ~q) P → q ←>

V V V F V

V F F V F

F V V F V

F F V F V

Bicondicional
Doble implicacion de las proposiciones p y q es la proposicion p ←> q (se lee “p si
y solo si q”) cuya tabla de valores de verdad es:

P Q P ←> q

V V V

V F F

F V F

F F V

P ←> q = p → ^ q → p

P Q P ←> q P→q Q→p P→q^q→

p

V V V V V V
 V F F F V F

F V F V F F

F F V V V V

~ (p ←> q) = ~ [(p → q) ^ (q → p)]

P Q P ←> q ~ (p ←> P→q Q→p (p → q) ^ ~ [(p →

q) (q → p) q) ^ (q
→)]

V V V F V V V F

V F F V F V F V

F V F F V F F V

F F V F V V V F

~ (p ←> ) = ~ [ ( p → q ) ^ (q → p) ] = ~ (p → q) v ~(q → p) = (p ^ ~q) v (q ^ ~p)

P ←> q = Dos triangulos son semejantes si y solo si tienen sus lados

proporcionales.

P = dos triangulos son semajantes

Q = Tienen sus lados proporcionales

~ (p <--> q) = No es cierto que dos triangulos son semejantes si y solo si tienen sus
lados proporcionales

(p ^ ~q) v (q ^ ~p) = dos triangulos son semejantes y sus lados no son

proporcionales o 2 triangulos tienen sus lados proporcionales y no son
semejantes.

Simbologia
Simbolo Operacion Significado

~ Negacion No p
No es cierto que p

^ Conjuncion
 v Disyuncion

→ Implicacion

←>

Tautologia - Contradiccion - contingencia

Al conjunto de proposiciones, conceptivas logicos y símbolos de agrupacion la
denominamos formula lógica. Por ejemplo:

~ [ (p → q) ^ (s ^ t)]

Implicaciones asociadas
Sea la implicacion p →

A la forma p → se la llama implicacion directa

A la forma ~p → ~q se la llama implicacion contraria

A la forma q → p se la llama reciproca

A la forma ~q → ~p se la llama implicacion contra reciproca

I directa: p → q V

I contrria: ~p → ~q Si este número es multiplo de 6 entonces no es par

​ ​ ​ 10 no es multiplo de 6 entonces es par

​ ​ ​ ​ V​ ​ F​ F

Reciproco: q → p Este número es par entonces es multiplo de 6 F

Contrareciproco: ~q → ~p Este número no es par entonces no es multiplo de 6. V

P → q = ~q → ~p

~P → ~Q = q → p

Circcuitos logicos o boolianos

La verdad de una proposicion puede asociarse al pasaje de corriente en un
circuito eléctrico con un interruptor.
Que es un circuito lógico
Los circuitos lógicos por lo general sirven únicamente como una ayuda auxiliar
necesaria para lograr un mejor entendimiento de los caracteres simbólicos no
gráficos.

Este tipo de representaciones gráficas son usados en informatica y son llamados

generalmente como circuitos digitales, este nombre radica del concepto de
dígito, en especial con dos dígitos, est

Los circuitos lógicos son interruptores no son más que un arreglo de un conjunto
de interruptores de compuertas abiertas y cerradas que tiene como finalidad
transmitir información de manera conveniente, es decir, también se pueden

7/5/2025
Resolvimos TP 1.

Esquemas proposicionales
Los esquemas proposicionales son funciones.

P: 6 > 3​ V(P) = V

P(X): X > 3

Cuando queremos armas proposiciones generales, necesitamos de

cuantificadores.

●​ Universal: V(X): P(X) para todo X, se verifica P(). Es verdadero cuando todos
los valores de X verifican.
●​ Existential: Ex: P(X) Existe algún x que verifique P(X). Es verdadero cuando
cualquier valor de X verifica.

Vx: P(x)

​ 1^2 < 14 V

​ 2^2 < 14 V

​ 4^2 < 14 F

Si no hay X no es un esquema.

Vx: P(x)
“Todos los alumnos aprobaron el parcial.”

Negacion

~Vx: P(x) = Ex: ~P(x)

No es cierto que todos los alumnos aprobaron el parcial.

~E(x): ~P(x)

Ninguno no aprobó. (desaprobo)

Negacion

~Ex: P(x) Ninguno aprobó el parcial

Vx: ~P(x) Todos desaprobaron el parcial.

21/05/2024

Funciones esquemas y cuantificadores

Eqiuvalencia Negacion

Vx: P(x) ~Ex: ~P(x) ~Vx: P(x) ⇔ Ex: ~P(x)

Ex: P(x) ~Vx: ~P(x) ~Ex: P(x) ⇔ Vx: ~P(x)

V(x): P(x) es equivalente a ~E(x): ~P(x) y E(x): P(x) es equivalente a ~V(x): ~P(x)

Hacer tres ejercicios de metodo directo.

28/05/2024
Si el cuadrado de ubn n es impar entonces el n es impar.

P: el cuadrado de un n es impar

Q: el n es impar

P: a^2 = 2n + 1 , m e z
Q: a = 2k+1 , k e z

P→q

a^2 = 2n+1 → a= 2k+1

p(1): 1 = ( 1 (1+ ) ) / 2 = 1

M = k p(k) : 1 + 2 + 3 + … + k = ( k (k + 1) )/2 HI V

M= k + 1 P(k+1) : 1+2+£+...+k+k+1= ( (k+1) (K+2) )/2

VmEN, P(m): 1+2+3+...+m = ( m (m+1) ) / 2

4/6
Determinar si la suma de 3 enteros consecutivos es siempre divisible por 6.

N + N+1 + N+2 = 6 . R, R E Z

5 + 6 + 7 = 18 = 6. 3

4 + 5 + 6 = 15

N = 1​ ​ P(1): 1 _ 2 + 3 = 6 = 6 . 1

N = K​ ​ P(k): K + K+1 + K+2 = 6 . 5 , sEz HI P(K) es V

N = K + 1​ P(K+1): K+1 + K+2 + K+3 = G . t, tEz

​ ​ ​ ​ 6 . 5 = 6 . (s + 1/2)​ P(K+1) es F

​ ​ ​ ​ ​ ​ Ez

Unidad 3: Teoría de conjuntos y relaciones

Teoria de conjuntos
A = {1, 2, 3}

A = {X/XeN ^ 1 <=X<=3}

B= { 3,4 }

AuB = {1, 2, 3, 4}
AuB = {3}

(Diagramas de Venn. Otra vez.)

A x B = { (X,Y)/X E A ^ Y E B }

A x B = { (1,3), (1,4), (2,3), (2,4), (3,3), (3,4) }

Producto cartesiano de A . B. Conjunto formado por pares ordenados tales

que el primer elemento pertenece al conjunto A y el segundo elemento pertenece
al conjunto B.

B x A = { (X,Y)/XEB ^ YEA }

B x A = { (3,1), (3,2), (3,3), (4,1), (4,2), (4,3) }

A x B != B x A

(A x B) x C != A x (B x C)

(Diagrama sagittal)

A = (-1, 3]​ B = [1, 2)

A = {x/x E R ^ -1 < X <=3}​ B = {x/x E R ^ 1<= X < 2}

A x B = { (x,y)/ -1<X<=3 ^ 1<=Y<2 }

Relaciones
R = { (x,y)/x E A ^ Y e B }

A = {1, 2}​ B = {3}

A x B = { (1,3), (2,3) }

R1 = {(1,3)}

R1 = {(R,3)}

R3 = {(1,3), (2,3)}

A = {a,b,c}​ B = {2}

AxB = { (a,2), (b,2), (c,2) }

R1 = {(a,2)}​ Ry={(a,2), (b,2)}

R2 = {(b,2)}​ R5 = { (b,2), (c,2) }

R3 = {(C,2)}​ R6 = {(a,2), (c,2)}

​ ​ R7 = {(a,2), (b,2), (c,2)}

A = {1, -3}​ B = {2, 3, 6}

R= {(X,Y)/ X+Y = 3 }

AxB = { (1, 2), (1,3), (1,6), (-3, 2), (-3, 3), (-3, 6) }

R= { (1, 2), (-3, 6) }

R2 = { (1, 2) }​ R3 = { (-3, 6) }

A = {2,3,4}​ B={3,4,5,6,7}

R = { (X,Y) / XIY } Y = KX

R = { (2,4), (2,6), (3,3), (3,6), (4,4) }

2
AxA=𝐴
2
𝐴 = { (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4), (4, 2), (4, 3), (4, 4) }

R = { (2,2), (2,4), (3,4) }

25/06
A = { 1,2,3,4 }

R = { (x,y) ∈ A x A / X=Y v X+Y=3 }

AxA = { (1,1) (1,2) (1,3) (1,4)

(2,1) (2,2) (2,3) (2,4)

(3,1) (3,2) (3,3) (3,4)

(4,1) (4,2) (4,3) (4,4) }

R { (1,1) (2,2) (3,3) (4,4) (1,2) (2,1) }

●​ Es reflexiva? (justificar, siempre)

Vx e A, (X,X) ∈ R

(1,1) (2,2) (3,3) (4,4) ∈ R

Es reflexiva
 ●​ Es simetrica?

Vx,y ∈ A, (X,Y) ∈ R ⇒ (Y,X) ∈ R

(1, 2) ∈ R ⇒ (2,1) ∈ R

V​ ​ V

​ V

Es simetrica.

●​ Es antisimetrica?

Vx,y ∈ A, (x,y) ∈ R ^ (Y,X) ∈ R ⇒ X = Y

​ (1,2) ∈ R ^ (2,1) ∈ R ⇒ 1 = 2

​ V​ ​ V​ F

​ ​ v​ F

No es antisimétrica.

●​ Es transitiva?

Vx,y,z ∈ A, (x,y) ∈ R ^ (y,z) ∈ R ⇒ (x,z) e R

(1,2) ∈ R ^ (2,1) ∈ R ⇒ (1,1) e R

V​ V​

​ V​ V​ V

Clases de cada elem. ∈ A

Cq = { x/x e A, (q, x) ∈ R }

C1 = {1,2}

C2 = {1,2}

C3 = {3}

C4 = {4}

Conjunto cociente A/R

A/R = { {1,2} {3} {4} }

La unión de las clases.

Conjunto disjunto; los elementos de las clases no comparten un elemento entre
sí.

A = {2,3,4,5,6}​​ R = { (x,y) ∈ AxA / X divide a Y (resto 0) }

R = { (2,2) (3,3) (4,4) (5,5) (6,6) (2,4) (2,6) (3,6) }

●​ Es reflexiva?

Es reflexiva.

●​ Es simetrica?

Vx,y e A, (x,y) e R ⇒ (y,x) ∈ R

​ (2,4) e R ⇒ (4,2) ∈ R

No es simetrica.

●​ Es antisimetrica?

●​ Es transitiva?

Método directo
P⇒Q

Dados por verdadero P

30/7

Ley de composicion interna

Sea A un conjunto distinto del vacío.

Llamamos ley de composición interna definida en A a toda funcion:

G: A x A → A dada por G(a,b) = c con a,b,c ∈ A

A x A es el producto cartesiano. Producto cartesiano son las relaciones de los

elementos que puedo hallar con todos.
 6/8

Sub - grupo
Sea