UNIDAD 1

ACTIVIDADES DE APRENDIZAJE
 Matemáticas Discretas
Unidad I: Lógica
1.1 Equivalencias
Actividad de aprendizaje 1.1 (10 puntos) : Proposiciones compuestas
Construir la tabla de verdad de la proposición compuesta
(¬(𝑝 ∧ 𝑞) → (r ∨ ¬𝑞)) 𝑝
p q r ¬𝑞 𝑝 ∧ 𝑞 ¬(𝑝 ∧ 𝑞) 𝑟 ∨ ¬𝑞 a=¬(𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞) a 𝑝
F F F
F F V
F V F
F V V
V F F
V F V
V V F
V V V

12/02/2024 3
 Matemáticas Discretas
Unidad I: Lógica
1.1 Equivalencias

Actividad de aprendizaje 1.2: Tipos de implicaciones (10 puntos)

A) Escribe el enunciado de la forma "si p Enunciado
entonces q".
Reprobar el examen es necesario para no
B) Escribe su inversa, recíproca y estudiar
contrarrecíproca, en forma simbólica y en
lenguaje natural

12/02/2024 4
 Matemáticas Discretas
Unidad I: Lógica
1.1 Equivalencias

Actividad de aprendizaje 1.3: Implicaciones equivalentes (10 puntos)

1. Si el sistema de archivos está lleno

Sean m y n las proposiciones
m: El sistema de archivos está lleno
n: La respuesta automatizada se puede enviar
Lee con atención las siguientes proposiciones e
identifica cuáles son equivalentes. Justifica tu
respuesta
entonces la respuesta automatizada no se
puede enviar
2. Si la respuesta automatizada no se
puede enviar entonces el sistema de
archivo está lleno
3. El sistema de archivos está lleno solo si
la respuesta automatizada no se puede
enviar
4 Si la respuesta automatizada se puede
enviar entonces el archivo no está lleno

12/02/2024 5
 Matemáticas Discretas
Unidad I: Lógica
1.1 Equivalencias

Actividad de aprendizaje 1.4 Equivalencias (10 puntos)

Relaciona las proposiciones de la columna izquierda con su
proposición equivalente de la columna derecha

1. (𝑝 → 𝑞) ∧ (𝑝 → 𝑟) a. 𝑝 → 𝑞 ∨ 𝑟
2. (𝑝 → 𝑟) ∧ (𝑞 → 𝑟) b. 𝑝 → (𝑞 ∧ 𝑟)
3. (𝑝 → 𝑞) ∨ (𝑝 → 𝑟) c. (𝑝 ∧ 𝑞) → 𝑟
4. (𝑝 → 𝑟) ∨ (𝑞 → 𝑟) d. (𝑝 ∨ 𝑞) → 𝑟

12/02/2024 6
 Matemáticas Discretas
Unidad I: Lógica
1.1 Equivalencias

Actividad de aprendizaje 1.5 (10 puntos)

Algebra de proposiciones y equivalencias

Usar las equivalencias lógicas para justificar que las

proposiciones dadas son lógicamente equivalentes

¬(𝑝 𝑞) ≡ 𝑝 ¬𝑞

12/02/2024 7
 Matemáticas Discretas
Unidad I: Lógica
1.2 Cuantificadores
Actividad de Aprendizaje 1.6 (21-aciertos- 10 puntos)
Determinar el valor de verdad de las proposiciones
Sentencia Dominio: Dominio: Dominio:
Números Números Números
naturales enteros reales
∀𝑛 𝑛 + 1 > 0
∀𝑛 𝑛2 ≥ 𝑛
∀𝑛 𝑛2 > 0
∃𝑛 3𝑛 = 6𝑛
∃𝑛 𝑛 < 1
∃! 𝑛[ 𝑛 + 3) 𝑛 − 2 = 0 ]
∃! 𝑛 𝑛 + 3 = 2𝑛
12/02/2024 8
 Matemáticas Discretas
Unidad I: Lógica
1.2 Cuantificadores
Actividad de Aprendizaje 1.7 (10 puntos)
Formalización y negación de proposiciones cuantificadas
A) Formaliza la proposición cuantificada con
dominio los alumnos de ESCOM, realizando lo
siguiente: Parafrasear la proposición, identificar
las funciones proposicionales y usar Ningún estudiante de tu clase está
cuantificadores. en el club de algoritmia de ESCOM

B) Escribir la negación de la proposición, sin

anteponer a la expresión una frase negativa.

12/02/2024 9
 Matemáticas Discretas
Unidad I: Lógica
1.2 Cuantificadores

Actividad de clase 1.8 (10 puntos)

Proposiciones y funciones proposicionales
Formalice las proposiciones usando las funciones
proposicionales P(𝑥), M(𝑥, 𝑦), T(𝑥, 𝑦), 1) Pedro nunca ha enviado un mensaje por
cuantificadores y conectores lógicos. whatsApp o telefoneado a Sofía.

2) Todos los estudiantes de tu clase han enviado un

P(𝑥): 𝑥 es un estudiante de la clase mensaje por whatsApp a David
M(𝑥, 𝑦): 𝑥 ha enviado a 𝑦 mensajes por whatsApp.
T(𝑥, 𝑦): 𝑥 ha telefoneado a 𝑦 3) Nadie de tu clase ha telefoneado a Pedro.

12/02/2024 10
 Matemáticas Discretas
Unidad I: Lógica
1.2 Cuantificadores

Actividad de clase 1.9 (10 puntos) De la formalización al lenguaje natural

Usar las funciones proposicionales P, Q, R, S, T y U para expresar en

lenguaje natural el enunciado formalizado

𝑃(𝑥) : 𝑥 es un alumno 𝑆 𝑥, 𝑦 : 𝑥 tiene reprobada 𝑦

𝑄(𝑥) : 𝑥 tiene promedio mayor a 9 𝑇 𝑥 : 𝑥 es beca

𝑅 𝑥 : 𝑥 es materia 𝑈 𝑥, 𝑦 : 𝑥 tiene 𝑦

∀𝑥{[𝑃 𝑥 ∧ 𝑄 𝑥 ∧ ¬∃𝑦(𝑅 𝑦 ∧ 𝑆 𝑥, 𝑦 )] → ∃𝑧[𝑇 𝑧 ∧ 𝑈 𝑥, 𝑧 ∧ ∀𝑤 𝑇 𝑤 ∧ 𝑈 𝑥, 𝑤 → 𝑤 = 𝑧 ]}

12/02/2024 11
 Matemáticas Discretas
Unidad I: Lógica
1.2 Cuantificadores

Actividad de clase 1.10 (8 aciertos-10 puntos)

Valor de verdad de cuantificadores anidados
Determinar el valor de verdad de las proposiciones. x, y en los reales
1) ∀𝑥∃𝑦 𝑥 + 1 = 𝑦 5) ∀𝑥∃𝑦 𝑥 + 𝑦 = 𝑥

2) ∃𝑦∀𝑥 𝑥 + 1 = 𝑦 6) ∃𝑦∀𝑥 𝑥 + 𝑦 = 𝑥

3) ∃𝑥∃𝑦 𝑥 + 1 = 𝑦 7) ∃𝑥 ∃𝑦 𝑥 + 𝑦 = 𝑥

4) ∀𝑥 ∀𝑦 𝑥 + 1 = 𝑦 8) ∀𝑥 ∀𝑦 𝑥 + 𝑦 = 𝑥

12/02/2024 12
 Matemáticas Discretas
Unidad I: Lógica
1.3 Inferencias
Demostración de argumentos

Actividad de aprendizaje 1.11

Simboliza los enunciados y

muestra que constituyen un
argumento válido, mediante leyes
de inferencia.
Demostrar usando dos métodos
diferentes.
Andrés está jugando fútbol. Si Andrés está
jugando fútbol, entonces no está estudiando. Si
Andrés no está estudiando, entonces su padre
no le prestará el carro. Por lo tanto, el padre de
Andrés no le prestará el carro.

12/02/2024 13
 Matemáticas Discretas
Unidad I: Lógica
1.3 Inferencias
Demostración de argumentos

Actividad de aprendizaje 1.12

Pruebe mediante leyes de inferencia

que sr está implícita tautológicamente
en (pq)(p→r)(q→s)

12/02/2024 14
 Matemáticas Discretas
Unidad I: Lógica
1.3 Inferencias
Demostración de argumentos

Actividad de aprendizaje 1.13

Muestre mediante leyes de inferencia que

r→s puede deducirse de las premisas
p→(q→s), 𝑟ҧ ∨ 𝑝 y 𝑞

12/02/2024 15