Logical Consequence with Union

From ProofWiki
Jump to: navigation, search


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$.


$U \models P$


$U \cup P \models P$


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$.