Predicato funzionale

In logica matematica, per predicato funzionale o formula funzionale o simbolo funzionale in si intende un predicato , in cui le variabili ed occorrono libere, avente la seguente proprietà:

In altri termini, fissata una variabile della teoria o non esiste alcuna variabile della teoria che verifica il predicato oppure, se esiste una variabile che, insieme ad verifica , allora ogni altra variabile che verifica è necessariamente uguale ad . In altra maniera, fissata una generica variabile , esiste al più una variabile (ossia o non ne esiste alcuna oppure, se ne esiste una, allora ne esiste una sola) che verifica il predicato .

In maniera equivalente, un predicato in cui le variabili ed occorrono libere è funzionale in se

Collegamenti esterniModifica

Controllo di autoritàLCCN (ENsh85106250 · GND (DE4389352-1
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica