Satisfiable Sentence (First-Order Logic)

first-order-logic

Definition

Satisfiable Sentence (First-Order Logic)

A sentence $\phi$ is satisfiable if there exists a structure $\mathcal{M}$ such that $\mathcal{M}\models \phi$.