English Uninterpreted function Cited by user Harrylime1 on 04 May 2022 In mathematical logic, an uninterpreted function or function symbol is one that has no other property than its name and n-ary form.