Um predicado é uma expressão que contém uma ou mais variáveis e que se torna
uma proposição quando se atribui um valor às variáveis.
Por exemplo, "x é maior do que 5" é um predicado, pois contém a variável x e se
torna uma proposição quando se atribui um valor específico a x, como "7 é maior
do que 5".
Os predicados são importantes na lógica matemática porque permitem descrever
propriedades que se aplicam a um conjunto de elementos, sem especificar quais
são esses elementos. Por exemplo, o predicado "x é um número par" pode ser
verdadeiro ou falso para diferentes valores de x.
Aqui estão mais alguns exemplos de predicados:
- "y é divisível por x" (contém as variáveis x e y)
- "z é um número primo" (contém a variável z)
- "w é uma matriz simétrica" (contém a variável w)
Os predicados são frequentemente usados em conjunto com os quantificadores
para descrever propriedades que se aplicam a todos ou a alguns elementos de
um conjunto.
