UNIVERSIDAD NACIONAL DE INGENIERIA (UNI-RUPAP)

Elaborado por:Serge François Sandino HernándezLeo Nelson Padilla Moran

Tema : lógica proposicional y de predicado

EJERCICIO 1

¿Cuáles de las proposiciones siguientes son proposiciones?, de las

que no son diga porque, además escríbalas en lógica proposicional o

de predicado, si fuera posible.

El coronel no tiene quien le escriba

Es una proposición de la cual no se puede determinar su verdad o falsedad.

Forma proposicional

P: el coronel tiene quien le escriba

⌐p: el coronel no tiene quien le escriba

La jubilación del coronel Buendía no es suficiente para su familia

Es una proposición de la cual no se puede determinar su verdad o falsedad.

Forma proposicional

P: la jubilación del coronel Buendía es suficiente para su familia

⌐p: la jubilación del coronel Buendía es suficiente para su familia

El tejo es un deporte

Es una proposición de la cual se puede determinar su verdad o falsedad

Forma de predicado

Deporte (tejo)

Forma proposicional

P: el tejo no es un deporte

⌐p: el tejo es un deporte (falso)

El sol es una estrella

Es una proposición de la cual se puede determinar su verdad o falsedad

Forma de predicado

Estrella (sol)

Forma de preposición

P: el sol no es una estrella

⌐p: es sol es una estrella (verdadero)

 

Ejercicios planteados

El hombre es un mamífero

Es una proposición de la cual se puede determinar su verdad o falsedad

Forma de predicado

Mamífero (hombre)

Forma de preposición

P: el hombre no es un mamífero

⌐p: el hombre es un mamífero (v)

Fumar es dañino para la salud

Es una proposición de la cual se puede determinar su verdad o falsedad

Forma de predicado

Fumar (dañino para la salud)

Forma de predicado

P: fumar no es dañino para la salud

⌐p: fumar es dañino para la salud (verdadero)

La tierra es un planeta

Es una proposición de la cual se puede determinar verdad o falsedad

Forma de predicado

Tierra (planeta)

Forma de proposición

P: la tierra no es un planeta

⌐p: la tierra es un planeta (verdadero)

En verano llueve

Es una proposición de la cual se puede determinar su verdad o falsedad

Forma de predicado

Verano (llueve)

Forma de proposición

P: en verano no llueve

⌐p: en verano llueve (falso)

 

Ejercicio 2

Formalice en lógica de predicados y analice si la conclusión corresponde a la hipótesis.

Puede auxiliarse de cualquier forma de representación del conocimiento para un mejor

análisis o una concreta solución.

La inmortalidad existe si y solo si el espíritu existe. Si lo que vemos es real la sabiduría

no es tan difícil de obtener. El espíritu existe o la sabiduría no es tan difícil de obtener,

por tanto, si lo que vemos es real, la inmortalidad existe.

Tenemos entonces

P: la inmortalidad existe

q: el espíritu existe

r: lo que vemos es real

s: la sabiduría no es tan difícil de obtener

La hipótesis planteada

Si lo que vemos es real, la inmortalidad existe, es verdadera

Si voy a la fiesta, no termino de estudiar. Si es viernes, no voy al cine. Si es viernes y no

termino de estudiar, entonces voy a la fiesta. En consecuencia, voy al cine.

 

La hipótesis es falsa