29 lines
988 B
Markdown
29 lines
988 B
Markdown
|
---
|
||
|
|
tags:
|
||
|
|
- propositional-logic
|
||
|
|
- logic
|
||
|
|
---
|
||
|
|
|
||
|
|
# Disjunction Elimination
|
||
|
|
|
||
|
|
This rule is sometimes also referred to as _Constructive Dilemma_. This can be a
|
||
|
|
bit tricky to understand because the goal is to derive or _introduce_ a new
|
||
|
|
proposition separate from the disjunction you start out with. This may be
|
||
|
|
disjunction, a single proposition or a proposition containing any other logical
|
||
|
|
connective. You do this by constructing two sub-proofs, one for each of the
|
||
|
|
disjuncts comprising the disjunction you start out with. If you can derive your
|
||
|
|
target proposition as the conclusion of each subproof then you may invoke the
|
||
|
|
conclusion in the main proof and take it to be derived.
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
_Here is an example where Disjunction Elimination is used to derive a new
|
||
|
|
disjunction._
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
_Here are two further examples that use Disjunction Elimination to derive
|
||
|
|
singular propositions_
|
||
|
|
|
||
|
|
 
|