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