FACULTAD DE INGENIERÍA EN SISTEMAS ELECTRÓNICA E

INDUSTRIAL
Estudiante: Alexis Joel Poaquiza Peñaloza
Carrera: Software Paralelo: ¨B¨
Asignatura: Lógica Matemática Nivel: 1
Docente: Ing. Marlon Santamaría Fecha: 10/12/2020
Tema: Taller 1(Términos, predicados lógicos, cuantificadores)

Resuelva los siguientes ejercicios:

1. Simbolice la siguiente proposición “Todo artista tiene un compromiso con su
ciudad natal”

(∀𝑥)( 𝑇𝑥,𝑐) 𝑥 = Artista

𝒄 = Ciudad Natal
T = Tiene un compromiso con
2. Dada la proposición “Si Pedro habla con Juan, entonces sospecha de María”
a. Simbolice la proposición
𝐻𝑝,𝑗 → 𝑠𝑝,𝑚
b. Indique el conjunto universal
(∀𝑥)(𝐻𝑥,𝑗 → 𝑠𝑥,𝑚 )
3. Para la frase “Alguien que hablo con Juan sospecha de María”
a. Simbolice la proposición
(∃𝑥)(𝐻𝑥,𝑗 → 𝑠𝑥,𝑚 )
b. Indique el conjunto universal
(∀𝑥)(𝐻𝑥,𝑗 → 𝑠𝑥,𝑚 )
4. Dadas las siguientes frases: “Alguien ha cometido un delito”, “Cualquiera que
ha cometido un delito es culpable”
a. ¿Cuál es la conclusión de los dos enunciados?
“Alguien ha cometido un delito” = El enunciado se refiere a que por lo menos
uno ha cometido un delito
“Cualquiera que ha cometido un delito es culpable” = El enunciado se refiere
a que todos los que han cometido un delito son culpables
b. Simbolice los enunciados
“Alguien ha cometido un delito” = (∃𝑥)(𝐻𝑥,𝑑 )
“Cualquiera que ha cometido un delito es culpable” = (∀𝑥 )(𝐻𝑥,𝑑 → 𝐶𝑥 )