About: Predicate (mathematical logic)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Predicate (mathematical logic) Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

In logic, a predicate is a symbol which represents a property or a relation. For instance, the first order formula , the symbol is a predicate which applies to the individual constant . Similarly, in the formula the predicate is a predicate which applies to the individual constants and .

Attributes	Values
rdf:type	Thing
rdfs:label	Predicate (mathematical logic) (en)
rdfs:comment	In logic, a predicate is a symbol which represents a property or a relation. For instance, the first order formula , the symbol is a predicate which applies to the individual constant . Similarly, in the formula the predicate is a predicate which applies to the individual constants and . (en)
sameAs	Predicate (mathematical logic) Predicate (mathematical logic)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Redirect dbt:Reflist dbt:Short_description dbt:Mathematical_logic
Subject	Basic concepts in set theory Predicate logic Propositional calculus Fuzzy logic Mathematical logic
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Predicate_(mathematical_logic)?oldid=1071891793&ns=0
Wikipage page ID	285109 (xsd:integer)
page length (characters) of wiki page	3331 (xsd:nonNegativeInteger)
Wikipage revision ID	1071891793 (xsd:integer)
has abstract	In logic, a predicate is a symbol which represents a property or a relation. For instance, the first order formula , the symbol is a predicate which applies to the individual constant . Similarly, in the formula the predicate is a predicate which applies to the individual constants and . In the semantics of logic, predicates are interpreted as relations. For instance, in a standard semantics for first-order logic, the formula would be true on an interpretation if the entities denoted by and stand in the relation denoted by . Since predicates are non-logical symbols, they can denote different relations depending on the interpretation used to interpret them. While first-order logic only includes predicates which apply to individual constants, other logics may allow predicates which apply to other predicates. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Predicate_(mathematical_logic)
is Wikipage redirect of	Predicate (mathematics) Logical predicate Boolean predicates Mathematical statement Predicate (computer programming) Predicate (logic) Predication (computer programming)
is Link from a Wikipage to another Wikipage of	Fluent (artificial intelligence) Formal concept analysis Frame problem List of terms relating to algorithms and data structures Literal (mathematical logic) Logic Logic of graphs Lojban grammar Non-logical symbol Norm (philosophy) ATS (programming language) Abstract object theory All-pairs testing Anomalous monism Arity Artificial intelligence Assertion (software development) Atomic formula Atomic sentence Averaging argument Axiom of extensionality Axiom schema of specification BIT predicate Boolean-valued function Glossary of artificial intelligence Glossary of computer science Glossary of mathematical symbols Drinker paradox History of mathematical notation Method of distinguished element Check constraint Circumscription (logic) Cultural universal Cyc Definable real number Definite description Hylomorphism (computer science) Hypostatic abstraction Héctor-Neri Castañeda List comprehension List of Dutch inventions and innovations List of logic symbols Completeness (knowledge bases) Continuous predicate Early Islamic philosophy Edward N. Zalta Heyting arithmetic History of type theory Morse–Kelley set theory New riddle of induction Datalog Backslash Ernst Mally Filter (higher-order function) Finitary relation First-order inductive learner First-order logic First-order predicate Functional predicate Fuzzy set Gottfried Wilhelm Leibniz Gottlob Frege Graph-based access control IEEE 754-1985 Identity (philosophy) Identity of indiscernibles Implementation of mathematics in set theory Index of logic articles Index of philosophy articles (I–Q) Indicator function Logical predicate Dependent type

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software