Taller: Afianzando el saber

Lógica de Programación
jj

Juan David García

jj

Natalia Andrea Bueno Pizarro

 Taller: Afianzando el saber

1. Señala la(s) proposiciones incorrectas.

a. “8 Es un número entero par divisible por dos”.

b. “17 = 17”.
c. “7”.
d. “La solución de 4x –7 = 1, es 2”
e. “27 es múltiplo de 9”
f. “4x –7”
g. “12 es un número entero par”
h. “¿Cuál es la respuesta de 2x –5 =?”
i. “p es divisor de 2”
j. “La solución de 4x –7 = 1, es 3”
k. “18 es múltiplo de 7”

2. Complementa las siguientes tablas según sea el caso.

a.
Nexos Símbolos

Negación ¬

y ∧

o ∨

Implicación ⇒

Equivalencia ⇔
b.
P Q P∧Q

V V V

V F F

F V F

F F F

c.
P Q P∨ Q

V V V

V F V

F V V

F F F

d.
P --P

V F

F V

e.
P Q P⇒Q

V V V

V F F

F V V

F F V
f.
 P Q P⇔Q

V V V

V F F

F V F

F F V

g.
Leyes Nombres

p∨p ≡V
Ley de la exclusión del término medio.
p ∨ ¬p ≡ F
Ley de contradicción.

p∨F≡p
p ∨V≡ p Leyes de identidad.

p∨V≡V
p∧F≡F Leyes de dominación.

p∨p≡p
p∧p≡p Leyes de idempotencia.

¬(¬p) ≡ p Ley de doble negación.

p∨q≡q∨p
Leyes conmutativas.
p ∧ q≡ q ∧p

p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
Leyes asociativas.
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
Leyes distributivas
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

¬(p ∧ q) ≡ ¬p ∧ ¬q
Leyes de Morgan.
¬(p ∨ q) ≡ ¬p ∨ ¬q

p ⇒ q ≡ ¬p ∨ ¬q Definición de la implicación

p ⇔ q ≡ (p ⇒ q) ∧ (q⇒p) Definición de la equivalencia

2. Complementa el siguiente mapa mental con los conceptos faltantes según sea el caso.

3. Utilizando el diagrama de Venn Euler, responde a los siguientes enunciados.

a. La maestra en clase de canto pregunta a algunos de sus estudiantes sobre el tipo

de música que más les agrada escuchar; ellos responden:

Estudiante 1: clásica, dance, bachata.

Estudiante 2: salsa, merengue, hip-hop.
Estudiante 3: hip-hop, electrónica.
Estudiante 4: salsa, electrónica.
 Estudiante 5: merengue, salsa.
De acuerdo con las respuestas dadas por los estudiantes, aplica el diagrama de
Venn Euler para encontrar el género de música que en general más agrada a los
estudiantes. Argumenta tu respuesta.

E5
E1 E2
Clásica Merengue
Dance
Bachata Hip-Hop Salsa

E
l
e
c
t
r
E3 o E4

b. En el último año escolar le preguntan a los estudiantes sobre cuál consideran será
la mejor opción para estudiar en la universidad; ellos responden:

Estudiante 1: arquitectura, derecho, ingeniería civil.

Estudiante 2: ingeniería ambiental, cocina.
Estudiante 3: ingeniería de sistemas.

E1 Ingeniería ambiental
Arquitectura Cocina
Derecho
Ingeniera civil

Ingeniería de
sistemas
De acuerdo con las respuestas dadas por los estudiantes, aplica el diagrama de Venn Euler para
encontrar la carrera universitaria que en general agrada más a los estudiantes. ¿Qué sucede en
este caso?, ¿existe alguna relación?, ¿es posible este tipo de acontecimientos? Argumenta tu
respuesta.

R/ Según las respuestas dadas por los estudiantes en este caso ninguno tiene carrera en
común con otro estudiante, pero si tiene en común que todos tienen en su lista para estudiar
un tipo de ingeniería si es posible este tipo de acontecimientos, pues en la conformación de
la lista de estudiantes no hubo relaciones de carreras entre ellos.
c. Una empresa posee 50 profesionales, de los cuales 20 son licenciados, 10 son
psicólogos y 15 no son ni licenciados ni psicólogos. ¿Cuántos de los profesionales
trabajan como licenciados y cuántos como psicólogos?

50 profesionales 20
Psicólogos

5
20 licenciados

15 no son ni
licenciados ni
psicólogos

R/ 5

4. Dados los siguientes conjuntos hallar A’.

a. A = {1, 3, 5, 7} - U = {1, 3, 5, 7, 11} R/: A= {11}

b. A = {1, 5, 7} - U = {1, 3, 5, 7, 11} R/: A= {3,11}
c. A = {3, 5, 7} - U = {1, 3, 5, 7, 11} R/: A= {1,11}
d. A = {1, 7} - U = {1, 3, 5, 7, 11} R/: A= {3,5,11}
e. A = {1, 3} - U = {1, 3, 5, 7, 11} R/: A= {5,7,11}
5. Usando la notación de teoría de conjuntos, reescribe cada una de las siguientes
proposiciones.

a. A no es un subconjunto del conjunto de los números reales.

R/: A ⊄ R
b. El conjunto de los números reales contiene a todos los números enteros.
R/: 𝑍 ⊂ 𝑅
c. Los conjuntos {perro, gato, pez} y {pez, gato, perro} poseen los mismos elementos.
R/: {perro, gato, pez} = {pez, gato, perro}
d. p es el conjunto conformado por los elementos 3, 4, 5, 6.
R// 𝑃 = {3, 4, 5, 6}

6. Realiza las siguientes operaciones con números reales según sea el caso.

a. −

R/

b. −

R/

c. +

R/

d.

R/
e.

R/

f. ÷

R/

g. ÷

R/

j.

R/

k.

R/ 4

l. (−1)−4

R/ 1