Jump to content

Talk:Predicate variable

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

Merge

[edit]
The following discussion is closed. Please do not modify it. Subsequent comments should be made in a new section. A summary of the conclusions reached follows.
The result of this discussion was to don't merge. MartinZ02 (talk) 14:06, 22 January 2016 (UTC)[reply]

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

… 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)[reply]
  • 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)[reply]
The discussion above is closed. Please do not modify it. Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.

Add one or more examples to this page

[edit]

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 (talkcontribs) 17:29, 12 March 2018 (UTC)[reply]