Escuela Politécnica

Nacional

• Nombre:
María Encalada
• Materia: *Grupo:
Matemática Discreta Gr-5
• Fecha de Entrega:
05-02-2022
• Tema de deber:
Deber No. 1 del Segundo Bimestre
 1) Utilice tablas de verdad para determinar si las formas de argumento:
a) p ∧ q →∼r
p ∨ ∼q
∼q → p
∴ ∼r
p q r (p^q) (~r) ∼q ((p^q)→(~r)) (pv(~q)) ((~q)→p) (~r)

F F F F V V V F V V

F F V F F V V F V F

F V F F V F V V F V

F V V F F F V V F F

V F F F V V V V V V

V F V F F V V V V F

V V F V V F V V V V

V V V V F F F V V F

ESTE ARGUMENTO NO ES VALIDO DEBIDO A QUE NO TODOS SUS REGLONES

CRITICOS POSEEN PREMISAS VERDADERAS Y CONCLUSIONES VERDADERAS
b) p → r
q→r
∴p∨q→r
p q r (pvq) p→r q→r ((pvq)→r)

F F F F V V V

F F V F V V V

F V F V V F F

F V V V V V V

V F F V F V F

V F V V V V V

V V F V V F F

V V V V V V V

ESTE ARGUMENTO ES VALIDO DEBIDO A QUE TODOS SUS REGLONES CRITICOS

POSEEN PREMISAS VERDADERAS Y CONCLUSIONES VERDADERAS
 2) Utilice símbolos para escribir la forma lógica de cada argumento en el siguiente
ejercicio y después use una tabla de verdad para poner a prueba la validez del
argumento. Indique además qué columnas representan las premisas y cuáles
representan a la conclusión, e incluya algunas palabras de explicación que demuestren
que entiende el significado de validez.
Oleg estudia la licenciatura en matemática o Oleg estudia la licenciatura en economía.
p∨q
Si Oleg estudia la licenciatura en matemática, entonces a Oleg se le requiere que curse
Matemática 362.
p→r
∴ Oleg estudia la licenciatura en economía o a Oleg no se le requiere que curse
Matemática 362.
∴q∨∼r
p q r ∼r p∨q p → r q∨∼r

F F F V F V V

F F V F F V F

F V F V V V V

F V V F V V V

V F F V V F V

V F V F V V F

V V F V V F V

V V V F V V V

NO ES VÁLIDO
3) Utilice símbolos para escribir la forma lógica de cada argumento. Si el argumento es
válido, identifique la regla de inferencia que garantiza su validez. En caso contrario,
deberá indicar si se comete error converso o error contrario.
a. Si hay tantos números racionales como números irracionales, entonces el conjunto
de todos los números irracionales es infinito.
El conjunto de todos los números irracionales es infinito.
∴ Hay tantos números racionales como números irracionales.

Solución:

p: hay tantos números racionales como número irracionales.

q: el conjunto de todos los números irracionales es infinito.
1. 𝑝→𝑞
2. 𝑞
∴𝑝
 3. 𝑝 {𝑚𝑜𝑑𝑢𝑠 𝑝𝑜𝑛𝑒𝑛𝑠(1𝑦2)
• Argumento válido por modus ponens.
b. Si este programa de computadora es correcto, entonces produce la salida correcta
cuando se ejecuta con los datos de prueba que me dio el profesor.
Este programa de computadora genera la salida correcta cuando se ejecuta con los
datos de prueba que me dio mi profesor.
∴ Este programa de computadora es correcto.

Solución:
p: este programa de computadora es correcto.
q: produce la salida correcta cuando se ejecuta con los datos de prueba que me dio el
profesor.
1. 𝑝→𝑞
2. 𝑞
∴ 𝑝
3. 𝑝 {𝑚𝑜𝑑𝑢𝑠 𝑝𝑜𝑛𝑒𝑛𝑠(1𝑦2)

• Argumento válido por modus ponens.

4) Tiburón, un líder del hampa, fue asesinado por uno de su propia banda de cuatro
secuaces. El detective Brillante entrevistó a los hombres y determinó que todos
estaban mintiendo a excepción de uno. Dedujo quién mató a Tiburón con base en los
siguientes enunciados:

a. Puños: El zurdo mató a Tiburón.

b. Grasa: Músculos no mató a Tiburón

c. Zurdo: Músculos jugaba dados con Puños cuando Tiburón cayó.

d. Músculos: Zurdo no mató a Tiburón.

¿Quién mató a Tiburón?

Solución:
Verdades y Mentiras
Para este tipo de problemas existen dos caminos para poder llegar a la solución:

• Encontrar contradicción
• Suponer
V
a. Puños: El zurdo mató a Tiburón.
Contradicción
b. Músculos: Zurdo no mató a Tiburón.
F

Se sabe que el detective determinó que todos estaban mintiendo a excepción de uno.
1° Caso
a. Puños: El zurdo mató a Tiburón. (V)
b. Grasa: Músculos no mató a Tiburón. (F)
c. Zurdo: Músculos jugaba dados con Puños cuando Tiburón cayó. (F)
d. Músculos: Zurdo no mató a Tiburón. (F)
/⸫ Existe una contradicción entre Grasa y Puños
2° Caso
a. Puños: El zurdo mató a Tiburón. (F)
b. Grasa: Músculos no mató a Tiburón. (F)
c. Zurdo: Músculos jugaba dados con Puños cuando Tiburón cayó. (F)
d. Músculos: Zurdo no mató a Tiburón. (V)
/⸫ Músculos mato a tiburón
5) Use las formas de argumento válidas revisadas en clases para deducir la conclusión de
las premisas, dando una razón para cada paso. Suponga que todas las variables son
enunciados variables.

a. p ∨ q

b. q → r

c. p ∧ s → t

d. ∼r

e. ∼q → u ∧ s

f. ∴ t

tomando b y d

q→r

∼r

g. ∼q (Modus Tollens)

tomando a y g
p∨q

∼q
h. p
tomando e y g
∼q → u ∧ s

∼q
i . u ∧ s Modus ponens

j. s por especialización
tomando c, h y j
p∧s→t

k. t Modus ponens