Álgebra y Lógica Computacional

Carrera: Licenciatura en Sistemas de la Información

Prácticas para la clase

Responsable de asignatura:
Lucas Catalano

Equipo docente:
Pablo Chale
Hernán De La Vega
Virginia Figueroa
Jorge González
Abel Klobouk
1er cuatrimestre 2020

Contenidos
1 Lógica 1

2 Ecuaciones 8

3 Trigonometrı́a 12

4 Geometrı́a analı́tica 19

5 Relaciones y funciones 29

6 Inecuaciones 38

7 Números Complejos 41

8 Sucesiones y Recursividad 44
 Álgebra y Lógica Computacional
1er cuatrimestre 2020

Responsable de asignatura:
Práctica 1 Lucas Catalano

1 Lógica
Proposiciones
1. Decidir cuáles de las siguientes expresiones son proposiciones y cuales no. En el caso de que lo sean dar,
si fuera posible, su valor de verdad.
(a) Existen hojas de árboles de color verde.
(b) Universidad Nacional de Luján.
(c) x+1=5
(d) Nungún valor real de x cumple que x + 1 = 5.
(e) Todo valor real de x cumple que x + 1 = 5.
(f) Existe algún valor real de x tal que cumple x + 1 = 5
(g) ¿Qué edad tiene Juan?
(h) ¿Juan tiene 25 años?
(i) La Universidad Nacional de Luján se encuentra en la Provincia de Santa Fe.
(j) 4≤3
(k) 4≤4
(l) 5+4−5
(m) Si Juan hubiese nacido en Malasia seguramente serı́a millonario.
(n) Algún rombo tiene ángulos rectos.
(o) Todos los rombos tienen ángulos rectos.
(p) Ningún rombo tiene ángulos rectos.
(q) Todos los perros son cuadrúpedos.
(r) Todos los cuadrúpedos son perros.
(s) Un extraterrestre.
(t) ¿Usted es un extraterrestre?
(u) Los extraterrestres existen.
2. Negar las siguientes proposiciones:
(a) En UNLu, todos los estudiantes son menores de edad.
(b) Existen mujeres que tienen el cabello corto.
(c) Nungún intendente de Luján fue peronista.
(d) Nunca volé a la Luna.
(e) En Jáuregui hay muchas ardillas.
(f) Todas las ardillas de Jáuregui son lindas.
3. Caracterice los triángulos isósceles, es decir, estudie propiedades necesarias y suficientes.
4. Caracterice los triángulos escalenos, es decir, estudie propiedades necesarias y suficientes.

Proposiciones compuestas y tablas de verdad

5. Sean P y Q dos proposiciones dadas. Utilizar ejemplos para estudiar la equivalencia o no equivalencia
entre las siguientes proposiciones compuestas:

1 de 46
 Álgebra y Lógica Computacional
1er cuatrimestre 2020

Responsable de asignatura:
Práctica 1 Lucas Catalano

(a) p ⇒ q (f) p ⇒ ¬q
(b) q ⇒ p (g) ¬p ⇒ ¬q
(c) ¬(p ∧ ¬q) (h) ¬q ⇒ p
(d) ¬p ∨ q (i) q ⇒ ¬p
(e) ¬p ⇒ q (j) ¬q ⇒ ¬p

6. Para cada una de las proposiciones del ı́tem anterior, elaborar una tabla de verdad y justificar, ası́, la
equivalencia o no equivalencia entre las mismas.
7. Confeccionar una tabla de verdad para las siguientes proposiciones compuestas:

(a) (p ∧ q) ∨ r (k) p ⇔ (¬q ⇒ (r ∧ p))

(b) (p ∧ q) ⇒ r (l) ¬(p ⇒ q) ∨ (p ⇔ r)
(c) (p ⇒ q) ⇔ r (m) q ∧ ¬q
(d) (p ⇒ q) ⇒ r (n) ¬p ⇒ p
(e) (p ⇒ q) ∧ r (o) (¬p ∧ q) ∧ (p)
(f) (p ⇔ q) ∧ r (p) q ∨ ¬q
(g) p ⇒ (q ∨ ¬p) (q) (¬p ∨ p) ⇒ p
(h) p ∨ ((q ∧ r) ∨ q) (r) (¬q ∧ q) ∧ p
(i) (p ∨ ¬q) ∧ (r ∨ q) (s) ¬(p ∧ q)
(j) ((p ∨ q) ∧ r) ∨ q (t) ¬p ∨ ¬q

8. Sean p, q y r las proposiciones:

p : Estudio.
q : Juego tenis.
r : Apruebo Álgebra y Lógica Computacional.

(a) Escribir como fórmulas lógicas los siguientes enunciados:

i. p1 : Si estudio, entonces aprobaré Álgebra y Lógica Computacional.
ii. p2 : Si no juego tenis, entonces estudiaré.
iii. p3 : Reprobé Álgebra y Lógica Computacional.
(b) A partir del item 8a escribir en forma de teorema el siguiente enunciado:
“Si estudio, entonces aprobaré Álgebra y Lógica Computacional. Si no juego tenis, entonces estudiaré.
Reprobé Álgebra y Lógica Computacional. Por consiguiente, juego tenis.”

9. Sean p, q, r y s las proposiciones:

p : Trabajo.
q : Ahorro.
r : Compraré una casa.
s : Podré guardar el coche en mi casa.

(a) Escribir como fórmulas lógicas los siguientes enunciados:

2 de 46
 Álgebra y Lógica Computacional
1er cuatrimestre 2020

Responsable de asignatura:
Práctica 1 Lucas Catalano

i. p1 : Si trabajo o ahorro, entonces compraré una casa.

ii. p2 : Si compro una casa, entonces podré guardar el coche en mi casa.
iii. p3 : Si no puedo guardar el coche en mi casa, entonces no ahorro.
(b) A partir del item 9a escribir en forma de teorema el siguiente enunciado:
“Si trabajo o ahorro, entonces compraré una casa. Si compro una casa, entonces podré guardar el
coche en mi casa. Por consiguiente, si no puedo guardar el coche en mi casa, entonces no ahorro.”
10. A la inversa de los ejercicios 8 y 9 construya ejemplos para los siguientes teoremas:

(a) [(¬r ⇒ ¬p) ∧ p] ⇒ r.

(b) [(p ⇒ r) ∧ (r ⇒ q) ∧ r] ⇒ q.
(c) [(p ⇒ q) ∧ ¬q ∧ ¬r] ⇒ ¬(p ∨ r).

Razonamientos lógicos

11. Demuestre la validez de los siguientes razonamientos:

p ⇒ (q ∨ r) p⇒q p ⇒ (q ⇒ r)
¬q ¬q p∨s
(a) (f)
p ¬r (j) t⇒q
∴ r ∴ ¬(p ∨ r) ¬s
p⇒q ∴ ¬r ⇒ ¬t
q⇒r p⇒q p∨q
(b) r ⇒ ¬q
p (g) ¬p ∨ r
r (k)
∴ r ¬r
∴ ¬p ∴ q
p⇒q
q⇒r p⇒r
(c) p ⇒ (q ⇒ r)
¬r ¬q ⇒ p
¬q ⇒ ¬p (l)
∴ ¬p (h) ¬r
p ∴ q
¬r ⇒ ¬p ∴ r
(d) p (p ∨ q) ⇒ r
∴ r (m) r⇒s
p∧q
p p ⇒ (r ∧ q) ∴ ¬s ⇒ ¬q
p ⇒ ¬q (i) r ⇒ (s ∨ t) (p ∧ q) ∨ r
(e)
r⇒q ¬s (n) ¬q
∴ ¬r ∴ t ∴ r

12. Mostrar mediante un contraejemplo que ninguno de los siguientes razonamientos es válido; es decir, dé
una asignación de valores de verdad a p, q y r de modo que tododas las premisas sean verdaderas y la
conclusión sea falsa.

(a) [(p ∧ ¬q) ∧ (p ⇒ (q ⇒ r))] ⇒ ¬r.

(p ∧ q) ⇒ r
(b)
∴p
(c) [(r ∨ ¬p) ∧ (¬p ⇒ q)] ⇒ p.

13. Usando las equivalencias lógicas de las página 6 simplifique las siguientes fórmulas:

3 de 46
 Álgebra y Lógica Computacional
1er cuatrimestre 2020

Responsable de asignatura:
Práctica 1 Lucas Catalano

(a) p ∨ [p ∧ (p ∨ q)]
(b) q ∧ [(p ∧ (¬r ∨ q ∨ ¬q)) ∨ (¬q ∧ (r ∨ t ∨ ¬t))]
(c) [p ∨ (p ∧ q) ∨ (p ∧ q ∧ ¬r)] ∧ [(p ∧ r ∧ t) ∨ t]

Cuantificadores
14. Decidir si las sigientes proposiciones son verdaderas o falsas y escribir una justificación en ambos casos.
Escribir la negación en cada caso.

(a) ∀x ∈ R, x2 > 0
(b) ∃x ∈ R : x2 > 0
(c) ∀x ∈ R, x2 ≤ 0
(d) ∃x ∈ R : x2 ≤ 0

15. Sean A = {−3; 1; 5; 7; 12; 18} y B = {−3; 5; 7}. Decidir si las siguientes proposiciones son verdaderas o
falsas. Escribir la negación para cada caso.
(a) ∀x ∈ A, x ∈ B
(b) ∀x ∈ B, x ∈ A
(c) ∃x ∈ A : x ∈ B
(d) ∃x ∈ B : x ∈ A
(e) ∃x ∈ A : x ∈ A

Aplicaciones a circuı́tos y a computación

16. Grafique los circuitos asociados a las fórmulas del item 13 y a las simplificaciones obtenidas.
17. Determinar los valores de x e y después de la ejecución de cada una de las proposiciones siguientes de
modo tal que el valor de x después de la ejecución de (a) se convierte en el valor de x para la proposición
del apartado (b) y ası́ sucesivamente. Inicialmente, las variables enteras x e y tienen los valores 3 y 8
respectivamente (Aclaración: La operación Div devuelve la parte entera de un cociente; por ejemplo,
8Div4 = 2 y 9Div2 = 4).
(a) Si y − x = 5, entonces x := x − 2
(b) Si [(2y = x) y (xDiv4 = 1)], entonces x := 4y − 3
(c) Si [(x < 8) ó (yDiv2 = 2)], entonces x := 2y, de lo contrario y := 2x
(d) Si [(x < 20) y (xDiv6 = 1)], entonces y := y − x − 5
(e) Si [(x = 2y) o (xDiv2 = 5)], entonces y := y + 2
(f) Si [(xDiv3 = 3) e (yDiv3 = 1)] entonces y := x
(g) Si yx = 35, entonces x := 3y + 7
18. Para cada segmento de programa contenido en los apartados siguientes, determinar el número de veces
que se ejecuta la sentencia x:=x+1.

4 de 46
 Álgebra y Lógica Computacional
1er cuatrimestre 2020

Responsable de asignatura:
Práctica 1 Lucas Catalano

(a) y:=1
Si y<2 o y>0 entonces
x:=x+1
de lo contrario
x:=x+2
(b) y := 1
Hacer mientras [(y>0 e y<3) o y=3]
Comienzo
x:=x+1
y:=y+1
Fin
(c) y:=1
Hacer mientras y>0 e y<4
Comienzo
Si y<2 entonces
y:=y+1
de lo contrario
Comienzo
y:=y+2
x:=x+1
fin
Fin

19. ¿Cuántas veces se imprime el valor de x en el siguiente programa?

x:=10
y:=1
Hacer mientras y ≤ 7
Comienzo
z:=1
Hacer mientras z≤y+3
Comienzo
Si [(x>8) o ((y>5) y (z<10))] entonces imprimir x
z:=z+1
Fin
x:=x-1
y:=y+1
Fin

5 de 46
 Álgebra y Lógica Computacional
1er cuatrimestre 2020

Responsable de asignatura:
Práctica 1 Lucas Catalano

Tablas
• Tautologı́as

– Adición: – Modus ponens:

p ⇒ (p ∨ q) [p ∧ (p ⇒ q)] ⇒ q

– Simplificación: – Modus tollens:

(p ∧ q) ⇒ p [(p ⇒ q) ∧ ¬q] ⇒ ¬p

– Absurdo: – Transitividad:
(p ⇒ F also) ⇒ ¬p [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r)

• Reglas de inferencia

– Adición:
p
∴ p∨q – Conjunción:
p
– Simplificación: q
p∧q ∴ p∧q
∴ p
– Modus ponens:
– Silogismo disyuntivo: p
p∨q p⇒q
¬p ∴ q
∴ q
– Silogismo hipotético: – Modus tollens:
p⇒q
p⇒q
¬q
q⇒r
∴ ¬p
∴ p⇒r

• Equivalencias lógicas

– Doble negación: [p ∧ (q ∨ r)] ≡ [(p ∧ q) ∨ (p ∧ r)]

¬(¬p) ≡ p
– Leyes de idempotencia:
– Leyes conmutativas: p∨p≡p
p∨q ≡q∨p p∧p≡p
p∧q ≡q∧p
– Leyes de De Morgan:
– Leyes asociativas: ¬(p ∨ q) ≡ (¬p ∧ ¬q)
[(p ∨ q) ∨ r] ≡ [p ∨ (q ∨ r)] ¬(p ∧ q) ≡ (¬p ∨ ¬q)
[(p ∧ q) ∧ r] ≡ [p ∧ (q ∧ r)]
– Contrarecı́proco:
– Leyes distributivas: (p ⇒ q) ≡ (¬q ⇒ ¬p)
[p ∨ (q ∧ r)] ≡ [(p ∨ q) ∧ (p ∨ r)]

6 de 46
 Álgebra y Lógica Computacional
1er cuatrimestre 2020

Responsable de asignatura:
Práctica 1 Lucas Catalano

Mas equivalencias:
• Importante (p ⇒ q) ≡ (¬p ∨ q)

Aclaración: Llamaremos “1” a cualquier tautologı́a (por ejemplo p ∨ ¬p) y “0” a cualquier contradicción (por
ejemplo p ∧ ¬p).
• Contradicción p ∧ ¬p ≡ 0
• Leyes de identidad y absorción.
(p ∨ 0) ≡ p
(p ∨ 1) ≡ 1
(p ∧ 0) ≡ 0
(p ∨ ¬p) ≡ 1
(p ∧ 1) ≡ p
(p ∧ r) ∨ p ≡ p
(p ∨ r) ∧ p ≡ p

7 de 46
 Álgebra y Lógica Computacional
1er cuatrimestre 2020

Responsable de asignatura:
Práctica 2 Lucas Catalano

2 Ecuaciones

Resolver una ecuación quiere decir hallar el conjunto de todos los valores que al ser reem-
plazados en la incógnita hacen que la igualdad se satisfaga (conjunto solución o simple-
mente solución).
Observar que el conjunto solución podrı́a ser el conjunto vacı́o (que se denota con el sı́mbolo
∅), que una ecuación tenga como solución al conjunto vacı́o quiere decir que sabemos que
ningún valor de la incógnita satisface la igualdad; obtener ese resultado es, también, haber
resuelto la ecuación.

1. Resolver “mentalmente” (sin despejar la incógnita) las siguientes ecuaciones con incógnita real x:

(a) x − 3 = 0 (i) x + 1 = x + 2
(b) x + 5 = 2 (j) x + a = 0
√ √
(c) x − π = 0 (k) x + 2 = 5
√
(d) x + 2 = 3 (l) x + b = 0
(e) 2x + 1 = 5 (m) ax + b = 0
√
(f) 2x + 1 = 0 (n) x + 1 = 10
(g) x2 = 16 (o) 5x = 0
(h) 4x + 1 = 3 (p) x + 1 = x + 1

2. Para cada una de las siguientes ecuaciones con hasta dos incógnitas reales x e y hallar, cuando sea posible,
al menos cinco pares (x, y) que pertenezcan a la solución (al conjunto solución).

(a) x + y = 15 (h) x2 = y 2
(b) x + y = 1 (i) 2x2 = y 2
(c) xy = 12 (j) (x + 1)(y + 2) = 0
(d) x + 2y = 3 (k) (x + y)(2x − y) = 0
(e) x = y (l) x(x + y) = 0
(f) πx = y (m) (x + 5)0 = 2
2
(g) x = y (n) (x + 5)0 = 0

3. Decidir si los valores de x indicados pertenecen a la solución de la ecuación en cada caso:

(a) x = 21 , 2x + 7 = 8 x−3
(i) x = 3, =1
(b) x = 31 , 3x + 4 = 1 x−3
(c) x = 3, (x − 4)(x − 3) = 0 (j) x = 4, x3 + 4x − 1 = 0
√
(d) x = − 2, x2 = 2 √ 3
√ (k) x = 4, 3x − 3 =
(e) x = 2, x2 = 1 x−3
1 √
(f) x = 3, =1 (l) x = −3, (x − 4) x − 3 = 1
x√−3 √
(g) x = −4, x2 = 4 (m) x = 3, (x − 4) x − 3 = 0
x √ √
(h) x = 0, =0 (n) x = 2, x + x = 2
x

8 de 46