Function Symbol - Natural & Formal Sciences - Mathematics & Logic Dictionary Definition A nonlogical symbol that denotes an n-ary function on the domain and, when applied to terms, yields a new term.
Function Symbol - Natural & Formal Sciences - Mathematics & Logic Dictionary Definition A nonlogical symbol that denotes an n-ary function on the domain and, when applied to terms, yields a new term.