Ejercicios de lógica proposicional y de predicados
Upcoming SlideShare
Loading in...5
×

Like this? Share it with your network

Share
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
    Be the first to like this
No Downloads

Views

Total Views
2,062
On Slideshare
2,062
From Embeds
0
Number of Embeds
0

Actions

Shares
Downloads
10
Comments
0
Likes
0

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 1. UNIVERSIDAD NACIONAL DE INGENIERIA (UNI-RUPAP)
    Tema : lógica proposicional y de predicado
    Elaborado por:
    Serge François Sandino Hernández
    Leo Nelson Padilla Moran
  • 2. 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
  • 3. 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)
     
  • 4. 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)
  • 5. 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)
     
  • 6. 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