Ejercicios de lógica proposicional y de predicados
-
Upload
facultad-de-ciencias-y-sistemas -
Category
Education
-
view
1.561 -
download
8
Transcript of Ejercicios de lógica proposicional y de predicados
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