函詞

定義

函詞((function)亦稱函數。一種映射。指以個體域為定義域和值域的映射。設F(x)表示“二的父親”,S(二，y)表示“x和y之和”，則F,S都是函詞. 根據函詞中所含變元個數的多少，函詞可分為零元函詞、一元函詞、二元函詞等。通常將個體看做是零元函詞。上面所說的函詞F是一元函詞，S是二元函詞。以函數為變域的變元，稱為函詞變元，即函數字母，通常用字母來表示。函詞變元通常被指明是幾元函詞變元，即指明它具有幾個空位。形如1,...(二、，二2， …，二，、)一二的個體函詞(m)n.}0)稱為投影函詞，又稱廣義么函詞。在函詞後面的空位中填以項所得的式子為函詞填式。在函詞後面的空位中填以不同變元所得的式子稱為函詞命名式.