Content deleted Content added
Line 11:
:Also, as I went to make changes, it became clear that [[open sentence]] is written in such a way that it's defining something useful for high-school algebra, with talk of "real numbers" in the lead; which is pretty ridiculous for any other field, e.g. theoretical comp sci. [[Special:Contributions/67.198.37.16|67.198.37.16]] ([[User talk:67.198.37.16|talk]]) 15:21, 7 October 2015 (UTC)
:On further inspection, both articles are "craptastic", and need a large amount of effort to cleanup. So, for example, the second paragraph of 'open sentence' makes a vague attempt to give a general definition, but then the rest of the article reverts to a discussion of high-school algebra. Meanwhile, this article 'propositional function', fails to mention [[Predicate (mathematical logic)]], [[Boolean-valued function]], [[Formula (logic)]] or [[Sentence (logic)]]. How does a propositional function differ from an ordinary predicate or relation or formula? I guess its called a propositional formula, because it occurs in [[propositional logic]], but that is not what "boolean-valued formulas" are called in [[predicate logic]]. So these are all closely related terms with conflicting usages in different fields, and it would be nice to ... underline the differences and relationships. [[Special:Contributions/67.198.37.16|67.198.37.16]] ([[User talk:67.198.37.16|talk]]) 15:54, 7 October 2015 (UTC)
| |||