| 词条 | Propositional function |
| 释义 |
In propositional calculus, a propositional function is a sentence expressed in a way that would assume the value of true or false, except that within the sentence there is a variable (x) that is not defined or specified, which leaves the statement undetermined. Example : Let p(x)=x+4 ,then p(x) is a propositional function , where p is predicate and x is variable. The sentence may contain several such variables (e.g. n variables, in which case the function takes n arguments). As a mathematical function, A(x) or A(x{{sub|1}}, x{{sub|2}}, ..., x{{sub|n}}), the propositional function is abstracted from predicates or propositional forms. As an example, let's imagine the predicate, "x is hot". The substitution of any entity for x will produce a specific proposition that can be described as either true or false, even though "x is hot" on its own has no value as either a true or false statement. However, when you assign x a value, such as lava, the function then has the value true; while if you assign x a value like ice, the function then has the value false. Propositional functions are useful in set theory for the formation of sets. For example, in 1903 Bertrand Russell wrote in The Principles of Mathematics (page 106): "...it has become necessary to take propositional function as a primitive notion. Later Russell examined the problem of whether propositional functions were predicative or not, and he proposed two theories to try to get at this question: the zig-zag theory and the ramified theory of types.[1] A Propositional Function, or a predicate, in a variable x is a sentence p(x) involving x that becomes a proposition when we give x a definite value from the set of values it can take. According to Clarence Lewis, "A proposition is any expression which is either true or false; a propositional function is an expression, containing one or more variables, which becomes a proposition when each of the variables is replaced by some one of its values."[2] Lewis used the notion of propositional functions to introduce relations, for example, a propositional function of n variables is a relation of arity n. The case of n = 2 corresponds to binary relations, of which there are homogeneous relations (both variables from the same set) and heterogeneous relations. See also
References1. ^{{cite book |last=Tiles |first=Mary |authorlink=Mary Tiles |title=The philosophy of set theory an historical introduction to Cantor's paradise |year=2004 |publisher=Dover Publications |location=Mineola, N.Y. |isbn=978-0-486-43520-6 |page=159 |url=http://store.doverpublications.com/0486435202.html |edition=Dover |accessdate=1 February 2013}} 2. ^Clarence Lewis (1918) A Survey of Symbolic Logic, page 232, University of California Press, second edition 1932, Dover edition 1960 5 : Functions and mappings|Mathematical relations|Concepts in logic|Predicate logic|Logical expressions |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。