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