About: Predicate (logic)

Property	Value
dbo:description	matematiskt begrepp (sv) concept de logique mathématique (fr) concept of mathematical logic (en) concepto en lógica matemática (es) concetto della logica matematica (it) пропозициональная функция в логике высказываний (ru) ئەو پارەی قەزیەی لۆژیکی کە دانراوی قەزیەکە ھەڵی دەگرێ (ckb) поняття математичної логіки (uk) 数理論理学の概念 (ja) 数理逻辑概念 (zh)
dbo:wikiPageExternalLink	http://cs.odu.edu/~toida/nerzic/content/logic/pred_logic/predicate/pred_intro.html
dbo:wikiPageWikiLink	dbr:Non-logical_symbol dbr:Predicate_variable dbc:Propositional_calculus dbc:Predicate_logic dbc:Basic_concepts_in_set_theory dbr:Function_(mathematics) dbr:Set_theory dbr:First-order_logic dbr:Atomic_formula dbr:Probability_distribution dbr:Propositional_logic dbr:Free_variables_and_bound_variables dbr:Autoepistemic_logic dbr:Well-formed_formula dbr:Set-builder_notation dbr:Arity dbr:Characteristic_function_(probability_theory) dbr:Classifying_topos dbc:Mathematical_logic dbr:Interpretation_(logic) dbr:Semantics_of_logic dbr:Truth_value dbr:Law_of_excluded_middle dbr:Mathematical_logic dbc:Fuzzy_logic dbr:Fuzzy_logic dbr:Indicator_function dbr:Predicate_functor_logic dbr:Relation_(mathematics) dbr:Opaque_predicate dbr:Excluded_middle dbr:First_order_logic dbr:Multigrade_predicate dbr:Individual_constant dbr:Truthbearer
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:R_from_move dbt:Other_uses dbt:Mathematical_logic dbt:Redirect_category_shell dbt:Short_description
dct:subject	dbc:Propositional_calculus dbc:Predicate_logic dbc:Basic_concepts_in_set_theory dbc:Mathematical_logic dbc:Fuzzy_logic
rdfs:label	Predicate (logic) (en) Predicate (mathematical logic) (en) محمول (منطق) (ar) Prädikat (Logik) (de) Predikát (logika) (cs) Predikato (logiko) (eo) Predicado (lógica) (es) Prédicat (logique mathématique) (fr) Predicato (logica) (it) Predykat (pl) Predicado (lógica matemática) (pt) Предикат (ru) Предикат (uk)
owl:sameAs	freebase:Predicate (logic) yago-res:Predicate (logic) wikidata:Predicate (logic) dbpedia-it:Predicate (logic) dbpedia-de:Predicate (logic) dbpedia-fr:Predicate (logic) dbpedia-pt:Predicate (logic) dbpedia-he:Predicate (logic) dbpedia-es:Predicate (logic) dbpedia-fa:Predicate (logic) dbpedia-ru:Predicate (logic) dbpedia-pl:Predicate (logic) dbpedia-be:Predicate (logic) dbpedia-et:Predicate (logic) http://d-nb.info/gnd/4389352-1 dbpedia-ar:Predicate (logic) dbpedia-ckb:Predicate (logic) dbpedia-cs:Predicate (logic) dbpedia-eo:Predicate (logic) dbpedia-fi:Predicate (logic) dbpedia-hy:Predicate (logic) dbpedia-ky:Predicate (logic) dbpedia-mk:Predicate (logic) dbpedia-sk:Predicate (logic) dbpedia-sr:Predicate (logic) dbpedia-uk:Predicate (logic) dbpedia-global:Predicate (logic) dbr:Predicate (logic)
prov:wasDerivedFrom	wikipedia-en:Predicate_(logic)?oldid=1294415526&ns=0 wikipedia-en:Predicate_(mathematical_logic)?oldid=1280755690&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Predicate_(logic) wikipedia-en:Predicate_(mathematical_logic)
is dbo:wikiPageDisambiguates of	dbr:Predicate
is dbo:wikiPageRedirects of	dbr:Boolean_predicates dbr:Predicate_(logic) dbr:Predicate_(logic) dbr:Mathematical_statement dbr:Predicate_(computer_programming) dbr:Predicate_(mathematics) dbr:Predication_(computer_programming) dbr:Logical_predicate
is dbo:wikiPageWikiLink of	dbr:Problem_of_induction dbr:Cyc dbr:Non-logical_symbol dbr:Graph-based_access_control dbr:Method_of_distinguished_element dbr:Relation_(database) dbr:Abstract_object_theory dbr:Natural_deduction dbr:Stoicism dbr:Quantifier_(logic) dbr:Assertion_(software_development) dbr:P′′ dbr:Satisfiability_modulo_theories dbr:Artificial_intelligence dbr:First-order_logic dbr:Russell's_paradox dbr:Early_Islamic_philosophy dbr:Universal_quantification dbr:Prolog dbr:Semantic_triple dbr:S_(set_theory) dbr:Predicate dbr:Ernst_Mally dbr:Finitary_relation dbr:Philosophical_logic dbr:Type_theory dbr:Necessity_and_sufficiency dbr:Standard_translation dbr:Definite_description dbr:Topological_vector_space dbr:Paradox dbr:Willard_Van_Orman_Quine dbr:Mereology dbr:History_of_mathematical_notation dbr:Set-builder_notation dbr:Islamic_philosophy dbr:Logic dbr:Extension_(predicate_logic) dbr:ATS_(programming_language) dbr:Arity dbr:Symmetric_difference dbr:Weakly_compact_cardinal dbr:TRAK dbr:Gottfried_Wilhelm_Leibniz dbr:Taxonomy dbr:Dependent_type dbr:Check_constraint dbr:Rado_graph dbr:Something_(concept) dbr:Equality_(mathematics) dbr:Invariant_(mathematics) dbr:Relational_operator dbr:Boolean_predicates dbr:Fuzzy_set dbr:New_riddle_of_induction dbr:Intension dbr:Mereotopology dbr:Symbol_(formal) dbr:History_of_type_theory dbr:Uniform_convergence_in_probability dbr:Scott_Soames dbr:Relational_model dbr:Héctor-Neri_Castañeda dbr:List_of_logic_symbols dbr:Averaging_argument dbr:Logic_in_Islamic_philosophy dbr:Test_Template_Framework dbr:Raven_paradox dbr:Set_(abstract_data_type) dbr:Glossary_of_computer_science dbr:First-order_inductive_learner dbr:Hypostatic_abstraction dbr:Literal_(mathematical_logic) dbr:Subsective_modifier dbr:Glossary_of_mathematical_symbols dbr:Predicate_transformer_semantics dbr:Patrick_Suppes dbr:Port-Royal_Grammar dbr:Open_formula dbr:Solid_modeling dbr:Edward_N._Zalta dbr:Completeness_(knowledge_bases) dbr:Tarski's_axioms dbr:All-pairs_testing dbr:Morse–Kelley_set_theory dbr:Propositional_function dbr:Whitehead's_point-free_geometry dbr:Term_algebra dbr:Logic_of_graphs dbr:BIT_predicate dbr:Drinker_paradox dbr:Quasi-quotation dbr:Monadic_second-order_logic dbr:Outline_of_logic dbr:List_of_Dutch_inventions_and_innovations dbr:Infinite-valued_logic dbr:Predicate_(logic) dbr:Opaque_predicate dbr:Tree_stack_automaton dbr:Mathematical_statement dbr:Predicate_(computer_programming) dbr:Predicate_(mathematics) dbr:Predication_(computer_programming) dbr:Logical_predicate
is foaf:primaryTopic of	wikipedia-en:Predicate_(logic) wikipedia-en:Predicate_(mathematical_logic)