Interpretation (First-Order Logic)

first-order-logic

Definition

Interpretation (First-Order Logic)

An interpretation is a pair $(\mathcal{M},\ell )$ where:

• $\mathcal{M}=(\mathcal{D},\mathcal{I})$ is a structure
• $\ell$ is a variable assignment for $\mathcal{M}$