Satisfiable

definitionlogic

Definition

A propositional formula $\alpha$ is satisfiable if and only if there is a valuation $V$ such that $V(\alpha )=1$.

Write $V\models \alpha$ (read: $V$ satisfies $\alpha$, $V$ makes $\alpha$ true, $\alpha$ holds in $V$) for $V(\alpha )=1$.

Examples