predicate

Concept of mathematical logic

EntityQ1144319

Subclass of: relation

Overview

From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0

In logic, a predicate is a non-logical symbol that represents a property or a relation, though, formally, does not need to represent anything at all. For instance, in the first-order formula , the symbol is a predicate that applies to the individual constant which evaluates to either true or false. Similarly, in the formula , the symbol is a predicate that applies to the individual constants and . Predicates are considered a primitive notion of first-order and higher-order logic, and are therefore not defined in terms of other more basic concepts.

Overview

All data

20 statements · 25% with external sources · numbers in brackets are citations

Facet of: predicate logic
mathematical logic
Different from: mathematical property

On other databases

16 identifiers linking predicate across the web's reference databases

Data quality

statements

25%

externally sourced

Source last edited October 4, 2026. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

curl https://aidb.si/api/v1/entities/Q1144319

API docs, limits & keys

Cite this page

AIDB. (2026). predicate (Q1144319). Retrieved from https://aidb.si/e/predicate-Q1144319