Fundamentos Matemáticos para Computación

2024-1, Valérie Gauthier Umaña

Taller 1
8 de septiembre de 2023

Indicaciones generales
◦ Pueden hacer el Taller en grupos de 3 o 4 personas.
◦ Deben entregar el Taller el viernes 23 de febrero al inicio de la clase.
◦ Las respuestas deben estar totalmente justificadas.
◦ No se permite comunicación entre los diferentes grupos.
◦ TODOS los integrantes de cada grupo deben entender la totalidad de los ejercicios presentados,
de ser necesario el profesor puede pedir sustentación oral.

Ejercicio 1 [1 punto.]
Utilizando las reglas vistas en clase, determine si la siguiente proposición es una tautologı́a, una
contingencia o una contradicción. Si es una contigencia determine sus soluciones.


1. p ∧ (p → q) → q


2. (p ∧ q) → (p ∨ q) → q.

Ejercicio 2 [0,8 puntos.]

Utilizando las reglas vistas en clase, determine si la siguiente proposición compuesta se satisface, y
de ser ası́, diga para que valores se satisface.
  
(p ∧ q) ∧ (p → r) ∧ (q → r) → r ∧ (p ∨ q).

Verifique su respuesta haciendo la tabla de la verdad.

Ejercicio 3 [1 punto.]
Use reglas de inferencia para demostrar los siguientes argumentos:
P1 : p → r
P2 : ¬p → q
1.
P3 : q → s
∴ ¬r → s

P1 : (p ∧ ¬r) → q
P2 : p ∧ t
2.
P3 : ¬q
∴q∨r

Ejercicio 4 [0,6 puntos.]

Demuestre usando reglas de inferencia que el siguiente argumento es valido o demuestre lo contrario.
Todos los cuantificadores tienen el mismo dominio.

Página 1 de 2
 Fundamentos Matemáticos para Computación
2024-1, Valérie Gauthier Umaña
P1 : ∀x(P (x) → Q(x))
P2 : ∃xP (x)
P3 : ∀x(Q(x) → R(x))
∴ ∃x(R(x) ∨ P (x))

Ejercicio 5 [0,8 puntos.]

Muestre que para todo x entero las siguientes 3 afirmaciones son equivalentes.

i) 3x + 2 es par

ii) x + 5 es impar

iii) x2 es par.

Ejercicio 6 [0,8 puntos.]

Muestre que para todo x entero las siguientes 3 afirmaciones son equivalentes.

i) x es racional

ii) x/2 es racional

iii) 3x − 1 es racional

Página 2 de 2