Tautology (First-Order Logic)

first-order-logic

Definition

Tautology (First-Order Logic)

A formula $\phi$ is valid, written $\models \phi$, if for every structure $\mathcal{M}$ and every variable assignment $\ell$:

$$(\mathcal{M},\ell )\models \phi$$