Talk:Predicate variable

Merge
I propose that the article Predicate variable be merged with Predicate (mathematical logic). The predicate variable is used in the mathematical logic, so no separate article needed. Sae1962 (talk) 07:28, 2 March 2011 (UTC)
 * … because it sounds similarly? Both predicate symbol and predicate variable take one argument and give a truth value. But accepting such way, we ought to merge constant and variable, because both take nothing and give some value, eh?
 * If you are willing to merge something, look at propositional function article. This is IMHO the same predicate, but under another name. Incnis Mrsi (talk) 21:47, 5 March 2011 (UTC)


 * Don't merge. Cleanup instead. These are similar concepts, but not the same; there's a lot of confusion in these articles between propositional logic, first-order logic, term algebras and etc and these are really not interchangeable concepts. linas (talk) 16:58, 9 June 2011 (UTC)

Add one or more examples to this page
This page would benefit from an example of predicate logic, explaining what is and what is not a predicate variable. — Preceding unsigned comment added by Myrmornis (talk • contribs) 17:29, 12 March 2018 (UTC)