Asignatura Datos del alumno Fecha

Apellidos: Palma Bustos

Lógica Computacional 31/03/2022
Nombre: Andrés Alfonso de Jesús

Fundación Universitaria Internacional de

La Rioja Pregrado en Ingeniería
Informática

Laboratorio:
Estrategias de
formalizació n
para la ló gica de
predicados
Trabajo presentado por: Andrés Alfonso de Jesús Palma Bustos
Profesor/a: Deivis Eduard Ramírez Martínez

Bogotá
Marzo,
2022
 Asignatura Datos del alumno Fecha
Apellidos: Palma Bustos
Lógica Computacional 31/03/2022
Nombre: Andrés Alfonso de Jesús

Ejercicio 1

Cuantificador universal: de acuerdo al argumento, ¿cuál sería la correcta interpretación para cada
uno?

Px : x es un planeta terrestres
Q x : x soporta vida

 ∀ x [ Qx → Px ]
Todos x soporta vida basta para ser un planeta terrestre, donde x: planeta.
Los planetas que soportan vida son un planeta terrestre.
 ∀ x [ Px ] ∨ ∀ x [ Qx ]
Todo x es un planeta terrestre o todo x soporta vida, donde x: planeta.
Los planetas son un planeta terrestre o los planetas soportan vida.
 ∀ x [ Px ∨ Px ]
Todo x es un planeta terrestre o no es un planeta terrestre, donde x: planeta.
Los planetas son un planeta terrestre o no lo son.
 ∀ x [ Px ] ∨ ∀ y [ P y ]
Todo x es un planeta terrestre o todo y no es un planeta terrestre, donde x: tierra, y: luna.
La tierra es un planeta terrestre o la luna no es un planeta terrestre.
 ( ∀ x [ Px ∨Qx ] )
No todo x es un planeta terrestre, pero soportan vida, donde x: planeta.
No todos los planetas son un planeta terrestre, pero soportan vida.

2
 Asignatura Datos del alumno Fecha
Apellidos: Palma Bustos
Lógica Computacional 31/03/2022
Nombre: Andrés Alfonso de Jesús

Ejercicio 2

Resuelva mediante la aplicación del cálculo de predicados y reglas derivadas:

 ∀ x [ Qx → Px ] =Q:≪ una gotade agua≫ , P:≪ moja ≫
Las gotas de agua mojan.
 ∀ y [ Vy → My ] =V :≪es una coneja≫ , M :≪ es hembra ≫
Las conejas son hembras.
 ∃ z [ Pz ∧ Gz ] =P :≪ es un gato ≫ ,G :≪ronronea ≫
Algunos gatos ronronean.
 ∃ z [ Pz ∧ → Gz ] =P:≪ es un gato ≫ , G:≪ ronronea ≫
Algunos gatos no ronronean.
 ∀ x [ Px → Gx ] =P:≪ es un gato ≫ , G:≪ ronronea ≫
Todos los gatos no ronronean.
 ∀ x [ Px →Gx ] =P:≪ es un gato ≫ , G:≪ ronronea ≫
No todos los gatos ronronean.
 ∃ z [ Cz ∧ Gy ∧Wz ∧ LLy ] =G :≪ es un gato ≫ ,≪:≪ maulla ≫
Algunos gatos lloriquean y algunos no.

3
 Asignatura Datos del alumno Fecha
Apellidos: Palma Bustos
Lógica Computacional 31/03/2022
Nombre: Andrés Alfonso de Jesús

Ejercicio 3

Cuantificadores. Sea:
A x : x es un Astronauta
T x : x es un planeta
Q ( x , y ) : x viajara a y
 Algunos astronautas viajaran a cada planeta

∃ x [ Ax ∧ ( ∀ y [ T y → Q(x , y ) ] ) ]

 Otros astronautas no viajaran a ningún planeta

∃ x [ Ax ∧ ( ∀ y [ Ty →¬Q (x , y ) ] ) ]

 Cada astronauta viajara al menos a un planeta

∀ x [ Ax → ( ∃ y [ T y ∧Q ( x , y ) ] ) ]

 Todos los planetas serán visitados por algunos astronautas

∀ x [ Tx → ( ∃ y [ Ay ꓥ Q ( y , x ) ] ) ]

 ∀ x [ Tx → ( ∃ y [ Ay ꓥ Q ( y , x ) ] ) ]

Ningún planeta será visitado por todos los astronautas.