jueves, mayo 13

LOGICA DE PREDICADOS - Ejercicios Resueltos


Definición de Predicado, Expresión Simbólica, Universo del Discurso, Cuantificadores: Universal-Existencial y valores de verdad, Ejemplos.


Simbolizacion de enunciados en lógica proposicional.


Demostrar argumentos que utilizan cuantificadores.



Ejemplos de Lógica de Predicados
Ejemplo #1


Ejemplo #2


Ejemplo #3



Ejemplo #4



Ejemplo #5



Ejemplo #6

https://es.scribd.com/doc/31328430/logica-predicados-ejercicios

20 comentarios:

  1. Buenas Tardes, la verdad nunca he visto logica de predicados y me han enviado a resolver este ejercicio en la materia de Sistemas expertos, podría indicarme como se resulve el ejercicio?


    De una prueba formal utilizando lógica de predicados para el siguiente silogismo:


    Ningún software está garantizado
    Todos los programas son software
    Ningún programa está garantizado

    ResponderEliminar
  2. x=programa S=sotfware G=garantizado P=programa

    V(x)(P(x)->S(x))--> ¬G(x)

    traduccion=para todo x q sea programa entonces es software por lo tanto no es garantizado..

    ResponderEliminar
  3. creo que hay un error en el ejercicio 2, no se usa el universal sino el particular en esta linea

    2.V(x) (Fx Hx) / ( x) (Fx Gx)

    ResponderEliminar
  4. Necesito traducir esta oración a lógica de predicado, tengo varias dudas de como hacerlo...desde ya muchas gracias!


    Todos los lógicos importantes admiran y conocen alguna ciencia.

    ResponderEliminar
  5. Hola muy buenas, antes de nada felicitaciones por tu blog, está magnifico.Verás, en el ejemplo número 2 de los Ejemplos de Lógica de Predicados me ha surgido una duda o curiosidad más bien.
    En el caso de que existiera una segunda constante,y añadiéramos Raquel no es hombre, ¬Hr, a sabiendas de que la conclusión ya cambiaría, a la hora de ejecutar las derivaciones ¿tendría que usar la particularización dos veces?
    Un saludo :)

    ResponderEliminar
  6. como puedo hacer esto

    ningun abrigo es impermeable a menos que haya sido especialmente tratado.

    muchas gracias

    ResponderEliminar
    Respuestas
    1. x: es un abrigo.
      P(x): es impermeable.
      Q(x): es x ha sido especialmente tratado.

      ¬∃X, P(x)^ ¬Q(x)
      ___________________________
      Unos años tarde; pero espero que te sirva. :)

      Eliminar
    2. Los años que hayan pasado pero también pueden servirle a alguien más xD, thankss xd

      Eliminar
  7. Holaa, tengo una pregunta y por eso recurro a usted, desde ya muchas gracias
    Simbolice el siguiente razonamiento según la lógica proposicional y según la lógica de predicados e indique.
    a) cual de los dos esquemas obtenidos es el mas apropiado para evaluar la validez del argumento y por qué.
    b) qué tipo de validez entra en juego

    Dados dos triángulos cualesquiera, si el primero es semejante al segundo, entonces el segundo es semejante al primero. por lo tanto, todo triangulo es semejante a si mismo.

    ResponderEliminar
  8. alguien me ayuda a formalizar esto ana es madre de luis, Jorge es padre de ana , un abuelo de una persona es alguien que es padre del padre o de la madre de esa persona

    ResponderEliminar
  9. kien me ayuda a simbolizar esto
    Toda persona necesita del apoyo de alguien. pero algunas personas no cuentan con el apoyo de nadie

    ResponderEliminar
  10. Por que no funciona el video de logica de predicados?

    ResponderEliminar
  11. alguien ,me puede ayudar con este ejercicio
    construir formulas de primer orden que sirvan apara formalizar los siguientes enunciados
    a)todo el mundo ama a y.
    b)todo dragon es acosado por el piojo v.
    c)algunos dragones son acosados por todos los piojos
    d)si u es un dragón ,entonces algún piojo acosa a u

    ResponderEliminar
  12. ¡Buena iniciativa! Tengo algunos libros, podríamos intercambiar recursos.

    ResponderEliminar
  13. Estimados, me ayudan con esto?

    "Los Pedidos Médicos deberán contar con los siguientes datos: nombre, apellido y número del Asociado, descripción de la práctica, diagnóstico, fecha, firma y sello del profesional actuante, conformidad del Asociado (con firma, aclaración y DNI)."

    ResponderEliminar
  14. Formalizar, simplificar y negar las siguientes proposiciones lógicas:
    1. Si todos los números enteros son pares, entonces hay algún número entero primo si, y solo si, todos los números enteros no son primos; pero cualquier número entero no es primo.
    2. Cualquier número entero es par y existen números enteros primos, si hay algún
    entero impar, sí y solo si, hay algún número entero primo o cualquier número entero
    par, si cada número entero no es primo.
    AYUDA :(

    ResponderEliminar
  15. Alguien me podría ayudar con este ejercicio porfavor
    Todo hombre es mamifero, todo mamifero es vertebrado, la mariposa no es mamifero. Por lo tanto la mariposa no es vertebrado.

    ResponderEliminar

¿Buscas algún tema que no encuentras en el blog?, avísame para incluirlo.