jueves, 13 de mayo de 2010

LOGICA DE PREDICADOS - Ejercicios Resueltos



Simbolizacion de enunciados en lógica proposicional.



Demostrar argumentos que utilizan cuantificadores.



Ejemplos de Lógica de Predicados

9 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
  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

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