Adequacy Theorem (Propositional Logic)

Let , . If then .

Proof

Since , we have
By Model Existence Lemma (Propositional Logic) and hence by the Deduction Theorem.
Add the lines:

To get