Unsatisfiability Theorem

A set of assumptions $\mathcal{H}$ entails $A$ if and only if $\mathcal{H} \cup\{\neg A\}$ is unsatisfiable, which means no Assignment will satisfy it.

This means: Entailment can be tested via Satisfiability! y