Predicate (First-Order Logic)

first-order-logic

Definition

Predicate (First-Order Logic)

Let $I=(\mathcal{U},{\cdot }^I)$ be an interpretation. For a predicate symbol $P/n\in \mathcal{P}$, the interpretation assigns a relation

$$P^I\subseteq {\mathcal{U}}^n$$