Superset of Unsatisfiable Set is Unsatisfiable
Jump to navigation
Jump to search
Theorem
Let $\LL$ be a logical language.
Let $\mathscr M$ be a formal semantics for $\LL$.
Let $\FF$ be an $\mathscr M$-unsatisfiable set of formulas from $\LL$.
Let $\FF'$ be a superset of $\FF$.
Then $\FF'$ is also $\mathscr M$-unsatisfiable.
Proof
By assumption, $\FF$ is unsatisfiable.
Suppose now $\FF'$ were satisfiable.
Then it would follow from Subset of Satisfiable Set is Satisfiable that $\FF$ were also satisfiable.
We conclude that $\FF'$ must be unsatisfiable.
$\blacksquare$