Predicados

Hasta ahora, nos hemos ocupado de afirmaciones que son verdaderas o falsas. Un predicado es más general: es una expresión que dice algo sobre uno o más objetos, pero por sí misma aún no es una afirmación.

¿Qué es un predicado?

Un predicado expresa una propiedad o relación. Se convierte en una afirmación cuando asignamos un valor específico a la variable.

Este es el predicado P(x). Si x = 7, entonces la afirmación es verdadera. Si x = 3, entonces falsa.

Predicado de una variable

Este es un predicado que expresa: «x es un número par». Si x = 4, entonces P(x) es verdadero. Si x = 5, entonces P(x) es falso.

Predicado de dos variables

Esto expresa una relación: «x es menor que y». Si x = 2 y y = 5, entonces R(x,y) es verdadero. Si x = 7 y y = 4, entonces falso.

Diferencia entre predicado y afirmación

• Una afirmación siempre es verdadera o falsa.
• Un predicado contiene variables, por lo que por sí mismo no se puede decidir si es verdadero.
• Solo se convierte en afirmación cuando sustituimos un valor específico.

Resumen

Un predicado es una expresión que dice algo sobre objetos. Cuando especificamos los valores de las variables, el predicado se convierte en una afirmación que puede ser verdadera o falsa.

Ejercicio de Práctica