disjunction-introduction-1 (math concept)
See also
python declaration class | python inclusion class | python sample
Definition
disjunction-introduction-1 is the inference-rule:
\[\boldsymbol{P} \vdash \left( \mathbf{Q} \lor \boldsymbol{P} \right)\]
- Where:
\(\boldsymbol{P}\) is a formula-statement
\(\mathbf{Q}\) is a formula
In straightforward language, if \(\boldsymbol{P}\) is true, it follows that \(\mathbf{Q}\) or \(\boldsymbol{P}\) is true.
Quotes
“Addition (or disjunction introduction, or or introduction) is the rule of inference that allows one to infer a disjunction from either of the disjuncts.” - [Coo09, p. 8]
Synonyms
Addition [CCM14, p. 370]