Talk:Uninterpreted function

Misleading example
The example does not use the empty theory! --Tillmo (talk) 17:56, 24 June 2011 (UTC)
 * I agree (8 years later). The select function in the example is clearly not uninterpreted, since its definition is given. I'll remove the example and try to come up with a better one. Jonathan Boatl (talk) 11:45, 22 November 2019 (UTC)
 * I replaced the example with a very simple SMT-LIB one. Jonathan Boatl (talk) 12:08, 22 November 2019 (UTC)

"Function symbol" vs. "function symbol (logic)"
"Function symbol" redirects to functional predicate, but function symbol (logic) redirects to uninterpreted function. What is the reason for this inconsistency? Jarble (talk) 15:40, 9 March 2020 (UTC)