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 #3
Ejemplo #4
Ejemplo #5
Ejemplo #6
https://es.scribd.com/doc/31328430/logica-predicados-ejercicios
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?
ResponderEliminarDe 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
x=programa S=sotfware G=garantizado P=programa
ResponderEliminarV(x)(P(x)->S(x))--> ¬G(x)
traduccion=para todo x q sea programa entonces es software por lo tanto no es garantizado..
creo que hay un error en el ejercicio 2, no se usa el universal sino el particular en esta linea
ResponderEliminar2.V(x) (Fx Hx) / ( x) (Fx Gx)
Necesito traducir esta oración a lógica de predicado, tengo varias dudas de como hacerlo...desde ya muchas gracias!
ResponderEliminarTodos los lógicos importantes admiran y conocen alguna ciencia.
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.
ResponderEliminarEn 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 :)
como puedo hacer esto
ResponderEliminarningun abrigo es impermeable a menos que haya sido especialmente tratado.
muchas gracias
x: es un abrigo.
EliminarP(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. :)
Estas
EliminarLos años que hayan pasado pero también pueden servirle a alguien más xD, thankss xd
EliminarHolaa, tengo una pregunta y por eso recurro a usted, desde ya muchas gracias
ResponderEliminarSimbolice 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.
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
ResponderEliminarkien me ayuda a simbolizar esto
ResponderEliminarToda persona necesita del apoyo de alguien. pero algunas personas no cuentan con el apoyo de nadie
Por que no funciona el video de logica de predicados?
ResponderEliminaralguien ,me puede ayudar con este ejercicio
ResponderEliminarconstruir 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
hy
ResponderEliminarExcelente aporte
ResponderEliminar¡Buena iniciativa! Tengo algunos libros, podríamos intercambiar recursos.
ResponderEliminarEstimados, me ayudan con esto?
ResponderEliminar"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)."
Formalizar, simplificar y negar las siguientes proposiciones lógicas:
ResponderEliminar1. 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 :(
Alguien me podría ayudar con este ejercicio porfavor
ResponderEliminarTodo hombre es mamifero, todo mamifero es vertebrado, la mariposa no es mamifero. Por lo tanto la mariposa no es vertebrado.