In logica matematica, per predicato funzionale o formula funzionale o simbolo funzionale in x {\displaystyle x} si intende un predicato Φ {\displaystyle \Phi }, in cui le variabili x {\displaystyle x} ed y {\displaystyle y} occorrono libere, avente la seguente proprietà: ∀ x. Wikipedia