Lógica de predicados · Definición
Predicado
Antes de empezar necesitas conocer
Un predicado es una expresión con variables que, al recibir valores, se convierte en una afirmación verdadera o falsa.
Definición
Un predicado \(P(x)\) es una expresión con variables libres que se convierte en proposición al asignarles valores.
Un predicado, también llamado «función con valores de verdad», es una expresión cuyo valor de verdad depende de una o más variables. Mientras esas variables permanezcan libres, la expresión no determina una proposición completa.
Al asignar valores a todas sus variables, el predicado se convierte en una proposición y adquiere un valor de verdad.
La lógica de predicados amplía la lógica proposicional porque permite hablar de objetos, propiedades y relaciones dentro de un dominio.
Para pensar
¿Por qué x > 2 no es todavía una proposición completa?
Porque su valor de verdad depende del valor que se asigne a x.
Ejercicios 10
- El valor de verdad de un predicado depende de...
- Al fijar todas sus variables, un predicado se convierte en...
- ¿Cuál es un predicado de dos variables?
- En la lógica de predicados, las variables al inicio...
- ¿Cuál ejemplo depende del valor de x?
- Un predicado se convierte en proposición al...
- P(x): x²=4 es un predicado porque...
- ¿Cuál es una instancia del predicado P(x): x>0?
- ¿Cuál de estas expresiones es un predicado abierto?
- Al cuantificar una variable libre, el predicado pasa a ser...
Referencias
- Frederic P. Schuller, Lectures on the Geometrical Anatomy of Theoretical Physics · Lecture 1, Introduction / Logic of Propositions and Predicates, YouTube, 2015.