Tecnológico de Costa Rica Escuela de Matemática

MA - 1403 Matemática discreta II semestre 2023

Valor: 12 puntos

Tarea # 1 (Solución)

1. Instrucciones:
Este trabajo es una prueba corta de desarrollo cuya calificación obtenida corresponderá a la
calificación de su tarea número uno. Por tal razón deberá escribir todos los pasos necesarios que le
permitan obtener la respuesta final.

Trabaje en forma clara y ordenada. Debe hacer el trabajo “a mano”, es decir, con su propia letra.
Si alguna solución del algún ejercicio es ilegible no se calificará.

La tarea puede ser presentada de forma individual o en parejas. La tarea deberá ser entregada
en hojas aparte el viernes 11 de agosto en el horario de clase, posterior a la clase no se recibirán
tareas. En caso de que la tarea sea entregada en parejas, solamente una persona deberá entregar el
respectivo documento.

Realice una portada a la tarea, en la cual se especifique: Instituto Tecnológico de Costa Rica,
Escuela de Matemática, curso, grupo matriculado, Tarea 1, nombre completo, número de carné,
profesor, fecha, semestre.

La no presentación de este trabajo implicará una calificación de cero en la nota de la tarea 1.

En caso de fraude comprobado: El estudiante que cometa fraude puede ser sancionado de acuerdo
con lo estipulado en el Reglamento Enseñanza Aprendizaje.
2. Ejercicios
1. (4 puntos) Sean P, Q y R tres proposiciones cualesquiera. Utilizando tablas de verdad, determine
si la proposición h i
¬ (Q → ¬P ) ∧ (Q ∨ R) ∨ (P → R)
es una falacia, una tautologı́a o una contingencia.

Solución

P Q R ¬P Q → ¬P Q ∨ R P → R (Q → ¬P ) ∧ (Q ∨ R) ¬ [(Q → ¬R) ∧ (Q ∨ R)] (∗)

V V V F F V V F V V
V V F F F V F F V V
V F F F V F F F V V
F F F V V F V F V V
F V F V V V V V F V
F V V V V V V V F V
V F V F V V V V F V
F F V V V V V V F V
h
Por lo tanto, de acuerdo con la columna (∗), se concluye que la proposición ¬ (Q → ¬P ) ∧ (Q ∨
i
R) ∨ (P → R) es una tautologı́a.
■

2. (3 puntos) Encuentre los valores de verdad de las proposiciones P, Q y R de manera que se

compruebe que la proposición P → (Q ∨ R) no implica tautológicamente a la proposición ¬P ∧ R.

Solución

Para que P → (Q ∨ R) no implique tautológicamente a ¬P ∧ R, debe darse que

h i
P → (Q ∨ R) → (¬P ∧ R) ≡ F (1)

Para que la implicación (1) sea falsa, debe darse que

P → (Q ∨ R) ≡ V ∧ ¬P ∧ R ≡ F (2)

En (2), se tiene un problema, dado que hay varias combinaciones de valores de verdad que permiten
que dichas equivalencias se cumplan. Sin embargo, solo basta con mostrar algún caso en particular
donde las equivalencias en (2) se cumplen. Para ello, suponga sin perder generalidad que P ≡ V .
Dado que P ≡ V , entonces ¬P ≡ F , por lo de forma automática ¬P ∧ R ≡ F , sin conocer el valor
de verdad de R.
Por otro lado, suponga que R ≡ F , entonces dado que P ≡ V y R ≡ F y se debe cumplir que
P → (Q ∨ R) ≡ V , entonces necesariamente debe darse que Q ≡ V , de esta forma, al considerar
P ≡ V , Q ≡ V y R ≡ F , se tiene que:
h i
P → (Q ∨ R) → (¬P ∧ R)

≡ [V → (V ∨ F )] → (F ∧ F )

≡ [V → V ] → F

≡ V → F

≡ F

En conclusión, basta tomar P ≡ V , Q ≡ V y R ≡ F para que la proposición P → (Q ∨ R) no

implique tautológicamente a ¬P ∧ R.
■
3. (5 puntos) Sean P, Q y R proposiciones cualesquiera. Simplifique al máximo la siguiente expresión
(debe indicar cada ley que utiliza)
h i h i
¬ (Q ∨ ¬P ) ∨ (Q ∧ R) ∨ P ∧ [R ∧ ¬(Q ∧ R)]

Solución
h i h i
¬ (Q ∨ ¬P ) ∨ (Q ∧ R) ∨ P ∧ [R ∧ ¬(Q ∧ R)]
h i h i
≡ ¬(Q ∨ ¬P ) ∧ ¬(Q ∧ R) ∨ P ∧ [R ∧ (¬Q ∨ ¬R)] DM
h i h i
≡ (¬Q ∧ P ) ∧ (¬Q ∨ ¬R) ∨ P ∧ [(R ∧ ¬Q) ∨ (R ∧ ¬R)] DM, DN, Dist
h i h i
≡ (P ∧ ¬Q) ∧ (¬Q ∨ ¬R) ∨ P ∧ [(R ∧ ¬Q) ∨ F0 ] Con, Inv
h i h i
≡ P ∧ [¬Q ∧ (¬Q ∨ ¬R)] ∨ P ∧ (R ∧ ¬Q) Aso, N e
h i h i
≡ P ∧ ¬Q ∨ P ∧ (R ∧ ¬Q) Abs

≡ P ∧ [¬Q ∨ (¬Q ∧ R)] Dist, Con

≡ P ∧ ¬Q Abs

Por lo tanto, se concluye que

h i h i
¬ (Q ∨ ¬P ) ∨ (Q ∧ R) ∨ P ∧ [R ∧ ¬(Q ∧ R)] ≡ P ∧ ¬Q