Satisfiability (Logic)

Definition

Let $\mathcal{L}$ be a logical system. We say that a proposition $P:\mathrm{Prop}$ is satisfiable from a premise $\Gamma$ iff

$$\Gamma {\models }_{\mathcal{L}}P$$