Predicado

Definição

Expressão com uma ou mais variáveis livres que se torna proposição quando as variáveis são substituídas por valores específicos.

Notação

$P(x)$, $Q(x, y)$, etc.

Intuição

Uma proposição "com buracos". Um molde de afirmação.

Registro computacional

Função que retorna um booleano.

Python
def maior_que_cinco(x: int) -> bool:
    return x > 5

maior_que_cinco(3) é uma proposição (falsa); maior_que_cinco(10) é uma proposição (verdadeira); maior_que_cinco por si é um predicado.