predicativo
predicativo [agg. Der. di predicato "relativo a predicati"] [ALG] [FAF] Espressione p.: nella logica matematica, ogni espressione F che sia coerente con sé stessa; in simb., Pred (F)↔F(F) (si parla di espressione impredicativa nel caso contrario); per es., l'aggettivo "astratto" è p. (mentre "concreto" è impredicativo).