Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Propositional_function> ?p ?o. }
Showing items 1 to 38 of
38
with 100 items per page.
- Propositional_function abstract "A propositional function in logic, is a statement expressed in a way that would assume the value of true or false, except that within the statement is a variable (x) that is not defined or specified, which leaves the statement undetermined. Of course, x could also consist of several variables.As a mathematical function, A(x) or A(x1, x2, · · ·, xn), 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.".
- Propositional_function wikiPageID "229146".
- Propositional_function wikiPageRevisionID "542481089".
- Propositional_function hasPhotoCollection Propositional_function.
- Propositional_function subject Category:Concepts_in_logic.
- Propositional_function subject Category:Functions_and_mappings.
- Propositional_function subject Category:Logical_expressions.
- Propositional_function subject Category:Mathematical_relations.
- Propositional_function subject Category:Predicate_logic.
- Propositional_function type Abstraction100002137.
- Propositional_function type Appearance104673965.
- Propositional_function type Attribute100024264.
- Propositional_function type Cognition100023271.
- Propositional_function type Concept105835747.
- Propositional_function type ConceptsInLogic.
- Propositional_function type Content105809192.
- Propositional_function type Countenance104679549.
- Propositional_function type Expression104679738.
- Propositional_function type Function113783816.
- Propositional_function type FunctionsAndMappings.
- Propositional_function type Idea105833840.
- Propositional_function type LogicalExpressions.
- Propositional_function type MathematicalRelation113783581.
- Propositional_function type PsychologicalFeature100023100.
- Propositional_function type Quality104723816.
- Propositional_function type Relation100031921.
- Propositional_function comment "A propositional function in logic, is a statement expressed in a way that would assume the value of true or false, except that within the statement is a variable (x) that is not defined or specified, which leaves the statement undetermined. Of course, x could also consist of several variables.As a mathematical function, A(x) or A(x1, x2, · · ·, xn), the propositional function is abstracted from predicates or propositional forms. As an example, let's imagine the predicate, "x is hot".".
- Propositional_function label "Función proposicional".
- Propositional_function label "Propositional function".
- Propositional_function label "命題関数".
- Propositional_function sameAs Función_proposicional.
- Propositional_function sameAs 命題関数.
- Propositional_function sameAs m.019bpb.
- Propositional_function sameAs Q3606768.
- Propositional_function sameAs Q3606768.
- Propositional_function sameAs Propositional_function.
- Propositional_function wasDerivedFrom Propositional_function?oldid=542481089.
- Propositional_function isPrimaryTopicOf Propositional_function.