泛函關係

簡介

在形式邏輯和相關的數學分支中，泛函謂詞或函式符號是套用於一個對象項而生成另一個對象項的邏輯符號。泛函謂詞有時也叫做映射，但是這個術語還有其他意義。在模型中，函式符號被建模為函式。