Prove that if $\Gamma$ is inconsistent, then $\Gamma$ doesn’t have a model.

107 Views Asked by At

The task is to prove that If set of sentences $\Gamma$ is inconsistent, then $\Gamma$ doesn't have a model. It is a corollary of Soundness Theorem: If $\Gamma\vdash A$, then $\Gamma\models A$. Could anyone explain how to prove it?

1

There are 1 best solutions below

2
On

Suppose $\Gamma$ is inconsistent, then for some formula $\phi$, $\Gamma\vdash\phi,\neg\phi$. By the soundness theorem, $\Gamma\vDash\phi,\neg\phi$. Any model for $\Gamma$ thus satisfies $\phi$, but then it cannot satisfy $\neg\phi$, which is a contradiction, so $\Gamma$ has no model.