Jump to content

Talk:Uninterpreted function

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Misleading example

[edit]

The example does not use the empty theory! --Tillmo (talk) 17:56, 24 June 2011 (UTC)[reply]

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)[reply]
I replaced the example with a very simple SMT-LIB one. Jonathan Boatl (talk) 12:08, 22 November 2019 (UTC)[reply]

"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)[reply]