Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Predicate_(mathematical_logic)> ?p ?o }
Showing triples 1 to 86 of
86
with 100 triples per page.
- Predicate_(mathematical_logic) abstract "In mathematics, a predicate is commonly understood to be a Boolean-valued function P: X→ {true, false}, called the predicate on X. However, predicates have many different uses and interpretations in mathematics and logic, and their precise definition, meaning and use will vary from theory to theory. So, for example, when a theory defines the concept of a relation, then a predicate is simply the characteristic function or the indicator function of a relation. However, not all theories have relations, or are founded on set theory, and so one must be careful with the proper definition and semantic interpretation of a predicate.".
- Predicate_(mathematical_logic) wikiPageExternalLink pred_intro.html.
- Predicate_(mathematical_logic) wikiPageID "285109".
- Predicate_(mathematical_logic) wikiPageLength "5086".
- Predicate_(mathematical_logic) wikiPageOutDegree "37".
- Predicate_(mathematical_logic) wikiPageRevisionID "672299216".
- Predicate_(mathematical_logic) wikiPageWikiLink Arity.
- Predicate_(mathematical_logic) wikiPageWikiLink Autoepistemic_logic.
- Predicate_(mathematical_logic) wikiPageWikiLink Binary_relation.
- Predicate_(mathematical_logic) wikiPageWikiLink Boolean-valued_function.
- Predicate_(mathematical_logic) wikiPageWikiLink Boolean_expression.
- Predicate_(mathematical_logic) wikiPageWikiLink Category:Basic_concepts_in_set_theory.
- Predicate_(mathematical_logic) wikiPageWikiLink Category:Fuzzy_logic.
- Predicate_(mathematical_logic) wikiPageWikiLink Category:Mathematical_logic.
- Predicate_(mathematical_logic) wikiPageWikiLink Category:Predicate_logic.
- Predicate_(mathematical_logic) wikiPageWikiLink Category:Propositional_calculus.
- Predicate_(mathematical_logic) wikiPageWikiLink Characteristic_function_(probability_theory).
- Predicate_(mathematical_logic) wikiPageWikiLink Classifying_topos.
- Predicate_(mathematical_logic) wikiPageWikiLink First-order_logic.
- Predicate_(mathematical_logic) wikiPageWikiLink Free_variables_and_bound_variables.
- Predicate_(mathematical_logic) wikiPageWikiLink Function_(mathematics).
- Predicate_(mathematical_logic) wikiPageWikiLink Fuzzy_logic.
- Predicate_(mathematical_logic) wikiPageWikiLink Indicator_function.
- Predicate_(mathematical_logic) wikiPageWikiLink Law_of_excluded_middle.
- Predicate_(mathematical_logic) wikiPageWikiLink Mathematics.
- Predicate_(mathematical_logic) wikiPageWikiLink Multigrade_predicate.
- Predicate_(mathematical_logic) wikiPageWikiLink Opaque_predicate.
- Predicate_(mathematical_logic) wikiPageWikiLink Plural_quantification.
- Predicate_(mathematical_logic) wikiPageWikiLink Predicate_functor_logic.
- Predicate_(mathematical_logic) wikiPageWikiLink Probability_distribution.
- Predicate_(mathematical_logic) wikiPageWikiLink Property_(philosophy).
- Predicate_(mathematical_logic) wikiPageWikiLink Proposition.
- Predicate_(mathematical_logic) wikiPageWikiLink Propositional_calculus.
- Predicate_(mathematical_logic) wikiPageWikiLink Propositional_function.
- Predicate_(mathematical_logic) wikiPageWikiLink Propositional_logic.
- Predicate_(mathematical_logic) wikiPageWikiLink Propositional_variable.
- Predicate_(mathematical_logic) wikiPageWikiLink Relation_(mathematics).
- Predicate_(mathematical_logic) wikiPageWikiLink Set-builder_notation.
- Predicate_(mathematical_logic) wikiPageWikiLink Set_theory.
- Predicate_(mathematical_logic) wikiPageWikiLink Truth-bearer.
- Predicate_(mathematical_logic) wikiPageWikiLink Truth_value.
- Predicate_(mathematical_logic) wikiPageWikiLink Truthbearer.
- Predicate_(mathematical_logic) wikiPageWikiLinkText "Predicate (mathematical logic)".
- Predicate_(mathematical_logic) wikiPageWikiLinkText "Predicate".
- Predicate_(mathematical_logic) wikiPageWikiLinkText "predicate letter".
- Predicate_(mathematical_logic) wikiPageWikiLinkText "predicate".
- Predicate_(mathematical_logic) wikiPageWikiLinkText "predicates".
- Predicate_(mathematical_logic) wikiPageWikiLinkText "predication".
- Predicate_(mathematical_logic) wikiPageWikiLinkText "property".
- Predicate_(mathematical_logic) wikiPageWikiLinkText "set-theoretic predicates".
- Predicate_(mathematical_logic) wikiPageWikiLinkText "unary predicate".
- Predicate_(mathematical_logic) hasPhotoCollection Predicate_(mathematical_logic).
- Predicate_(mathematical_logic) wikiPageUsesTemplate Template:Mathematical_logic.
- Predicate_(mathematical_logic) wikiPageUsesTemplate Template:Other_uses.
- Predicate_(mathematical_logic) wikiPageUsesTemplate Template:Reflist.
- Predicate_(mathematical_logic) subject Category:Basic_concepts_in_set_theory.
- Predicate_(mathematical_logic) subject Category:Fuzzy_logic.
- Predicate_(mathematical_logic) subject Category:Mathematical_logic.
- Predicate_(mathematical_logic) subject Category:Predicate_logic.
- Predicate_(mathematical_logic) subject Category:Propositional_calculus.
- Predicate_(mathematical_logic) comment "In mathematics, a predicate is commonly understood to be a Boolean-valued function P: X→ {true, false}, called the predicate on X. However, predicates have many different uses and interpretations in mathematics and logic, and their precise definition, meaning and use will vary from theory to theory. So, for example, when a theory defines the concept of a relation, then a predicate is simply the characteristic function or the indicator function of a relation.".
- Predicate_(mathematical_logic) label "Predicate (mathematical logic)".
- Predicate_(mathematical_logic) sameAs محمول_(منطق).
- Predicate_(mathematical_logic) sameAs Predikát_(logika).
- Predicate_(mathematical_logic) sameAs Prädikat_(Logik).
- Predicate_(mathematical_logic) sameAs Predikato_(logiko).
- Predicate_(mathematical_logic) sameAs Predicado_(lógica_matemática).
- Predicate_(mathematical_logic) sameAs Predikaat.
- Predicate_(mathematical_logic) sameAs محمول.
- Predicate_(mathematical_logic) sameAs Predikaatti_(logiikka).
- Predicate_(mathematical_logic) sameAs Prédicat_(logique_mathématique).
- Predicate_(mathematical_logic) sameAs Պրեդիկատ.
- Predicate_(mathematical_logic) sameAs Predicato_funzionale.
- Predicate_(mathematical_logic) sameAs Пропозициялық_функция.
- Predicate_(mathematical_logic) sameAs Предикат.
- Predicate_(mathematical_logic) sameAs Predykat.
- Predicate_(mathematical_logic) sameAs Predicado_(lógica_matemática).
- Predicate_(mathematical_logic) sameAs m.025v9lx.
- Predicate_(mathematical_logic) sameAs Предикат.
- Predicate_(mathematical_logic) sameAs Predikát_(logika).
- Predicate_(mathematical_logic) sameAs Исказ_(логика).
- Predicate_(mathematical_logic) sameAs Предикат.
- Predicate_(mathematical_logic) sameAs Q1144319.
- Predicate_(mathematical_logic) sameAs Q1144319.
- Predicate_(mathematical_logic) wasDerivedFrom Predicate_(mathematical_logic)?oldid=672299216.
- Predicate_(mathematical_logic) isPrimaryTopicOf Predicate_(mathematical_logic).