Logical Consequence with Union
Jump to navigation
Jump to search
Theorem
Let $U$ be a set of propositional formulas.
Let $P$ be a propositional formula.
Let $U \models P$ denote that $P$ is a semantic consequence of $U$.
Then:
- $U \models P$
iff:
- $U \cup P \models P$
Proof
First we note that, from the Law of Identity:
- $P \models P$
Suppose $U \models P$.
So we have:
- $U \models P$
- $P \models P$
So by definition of model:
- $U \cup P \models P$
It also follows that if $U \cup P \models P$, then:
- $U \models P$
- $P \models P$
Thus we have shown that $U \models P$ iff $U \cup P \models P$.
$\blacksquare$