Unsatisfiable Formula (First-Order Logic)

first-order-logic

Definition

Unsatisfiable Formula (First-Order Logic)

A formula $\phi$ is unsatisfiable if there is no structure $\mathcal{M}$ and no variable assignment $\ell$ such that $(\mathcal{M},\ell )\models \phi$.