Definition: Predicate of a Logical Calculus

Let $L$ be a logical calculus, $U$ the domain of discourse, and $I(U,L)$ the corresponding interpretation with the valuation function $[[]]_I$.

A predicate is a non-empty string over an alphabet $s\in L$ interpreted as a relation \(R\subseteq U^n\) taking \(n\) input arguments from the domain of discourse.

The natural number \(n\ge 1\) of arguments of the predicate is (as for functions) called its arity. Special cases of arities are:

Examples: 1

Definitions: 1 2
Examples: 3
Parts: 4

Thank you to the contributors under CC BY-SA 4.0!




  1. Hoffmann, Dirk W.: "Grenzen der Mathematik - Eine Reise durch die Kerngebiete der mathematischen Logik", Spektrum Akademischer Verlag, 2011