Why does the Deduction Theorem use Union?

366 Views Asked by At

We have an initial set of premises $S$.

We are given or observe or assume sentence(s) $A$ is/are true.

We can then prove $B$.

Formally, $S \cup \left\{A\right\} \vdash B$.

Shouldn't it be an intersection? Only when we have both $S$ and ${A}$ can we prove $B$. Not when we have $S$ or ${A}$, which is what my mental picture of what Union is.

1

There are 1 best solutions below

1
On BEST ANSWER

The English word "and" has two different senses, with different translations into logic.

When you say you ate soup and salad, you don't mean that you ate something that is both soup and salad. You mean you ate a soup, and you also ate a salad. Your lunch, then, consisted of the union $$\{\text{Soup}\} \cup \{\text{Salad}\},$$ not the intersection.

That is the sense that is being used here. When you have a set with both $S$ and $A$, you have $$S\cup \{A\}$$ which contains $S$ and also includes $A$.

Or consider "I visited France and Japan this summer." You don't mean you visited the intersection of France and Japan; that intersection is empty.


Also note that the intersection is clearly wrong here, since $S\cap \{A\}$ is equal to either $\emptyset$ or $\{A\}$, so doesn't contain anything from $S$ other than $A$.