函詞

定義

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