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:First_order_logic dbr:Arity dbr:Autoepistemic_logic dbr:Interpretation_(logic) dbc:Predicate_logic dbc:Propositional_calculus dbr:Function_(mathematics) dbr:Mathematical_logic dbr:Set_theory dbr:Indicator_function dbr:Semantics_of_logic dbr:Free_variables_and_bound_variables dbr:Atomic_formula dbr:Fuzzy_logic dbr:Predicate_functor_logic dbr:Characteristic_function_(probability_theory) dbr:Law_of_excluded_middle dbr:First-order_logic dbr:Probability_distribution dbr:Propositional_logic dbr:Truth_value dbr:Well-formed_formula dbr:Relation_(mathematics) dbr:Set-builder_notation dbr:Non-logical_symbol dbc:Mathematical_logic dbc:Fuzzy_logic dbc:Basic_concepts_in_set_theory dbr:Classifying_topos dbr:Opaque_predicate dbr:Predicate_variable dbr:Truthbearer dbr:Multigrade_predicate dbr:Excluded_middle dbr:Individual_constant
dbp:wikiPageUsesTemplate	dbt:Mathematical_logic dbt:Authority_control dbt:Other_uses dbt:R_from_move dbt:Redirect_category_shell dbt:Reflist dbt:Short_description dbt:Slink
dct:subject	dbc:Predicate_logic dbc:Propositional_calculus dbc:Mathematical_logic dbc:Fuzzy_logic dbc:Basic_concepts_in_set_theory
rdf:type	owl:Thing owl:Thing
rdfs:label	Predicate (logic) (en) Predicate (mathematical logic) (en) Predikát (logika) (cs) محمول (منطق) (ar) Prädikat (Logik) (de) 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-de:Predicate (logic) dbpedia-es:Predicate (logic) dbpedia-it:Predicate (logic) dbpedia-pl:Predicate (logic) dbpedia-fr:Predicate (logic) dbpedia-he:Predicate (logic) dbpedia-pt:Predicate (logic) dbpedia-ru: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-fa: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)
prov:wasDerivedFrom	wikipedia-en:Predicate_(logic)?oldid=1312173665&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:Mathematical_statement dbr:Predicate_(logic) dbr:Predicate_(logic) dbr:Boolean_predicates dbr:Predicate_(computer_programming) dbr:Predicate_(mathematics) dbr:Predication_(computer_programming) dbr:Logical_predicate
is dbo:wikiPageWikiLink of	dbr:Abstract_object_theory dbr:List_of_Dutch_inventions_and_innovations dbr:Arity dbr:Weakly_compact_cardinal dbr:Drinker_paradox dbr:Prolog dbr:Semantic_triple dbr:Artificial_intelligence dbr:Early_Islamic_philosophy dbr:Gottfried_Wilhelm_Leibniz dbr:Logic dbr:Stoicism dbr:Taxonomy dbr:Mereology dbr:Héctor-Neri_Castañeda dbr:Predicate_transformer_semantics dbr:Open_formula dbr:Logic_of_graphs dbr:All-pairs_testing dbr:Islamic_philosophy dbr:Definite_description dbr:Philosophical_logic dbr:Quantifier_(logic) dbr:Russell's_paradox dbr:Type_theory dbr:P′′ dbr:Ernst_Mally dbr:Necessity_and_sufficiency dbr:Universal_quantification dbr:Hypostatic_abstraction dbr:Logic_in_Islamic_philosophy dbr:Relation_(database) dbr:Relational_operator dbr:Problem_of_induction dbr:Cyc dbr:Mereotopology dbr:Whitehead's_point-free_geometry dbr:Natural_deduction dbr:Paradox dbr:Predicate dbr:Graph-based_access_control dbr:Tree_stack_automaton dbr:Edward_N._Zalta dbr:Fuzzy_set dbr:Relational_model dbr:Topological_vector_space dbr:Finitary_relation dbr:Tarski's_axioms dbr:Willard_Van_Orman_Quine dbr:Solid_modeling dbr:History_of_mathematical_notation dbr:Set_(abstract_data_type) dbr:Check_constraint dbr:TRAK dbr:Extension_(predicate_logic) dbr:First-order_logic dbr:Raven_paradox dbr:Invariant_(mathematics) dbr:Rado_graph dbr:Morse–Kelley_set_theory dbr:Scott_Soames dbr:History_of_type_theory dbr:List_of_logic_symbols dbr:Completeness_(knowledge_bases) dbr:First-order_inductive_learner dbr:ATS_(programming_language) dbr:New_riddle_of_induction dbr:Patrick_Suppes dbr:Equality_(mathematics) dbr:Symbol_(formal) dbr:Assertion_(software_development) dbr:Glossary_of_mathematical_symbols dbr:BIT_predicate dbr:Dependent_type dbr:Satisfiability_modulo_theories dbr:Intension dbr:Set-builder_notation dbr:Symmetric_difference dbr:Port-Royal_Grammar dbr:Non-logical_symbol dbr:Outline_of_logic dbr:Uniform_convergence_in_probability dbr:Quasi-quotation dbr:S_(set_theory) dbr:Subsective_modifier dbr:Something_(concept) dbr:Test_Template_Framework dbr:Method_of_distinguished_element dbr:Standard_translation dbr:Literal_(mathematical_logic) dbr:Propositional_function dbr:Glossary_of_computer_science dbr:Term_algebra dbr:Monadic_second-order_logic dbr:Opaque_predicate dbr:Infinite-valued_logic dbr:Mathematical_statement dbr:Averaging_argument dbr:Predicate_(logic) dbr:Boolean_predicates 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)