disjunction-introduction-2 (math concept)
See also
python declaration class | python inclusion class | python sample
Definition
disjunction-introduction-2 is the well-known and valid inference-rule:
\[\boldsymbol{P} \vdash \left( \boldsymbol{P} \lor \mathbf{Q} \right)\]
- Where:
\(\boldsymbol{P}\) is a formula-statement
\(\mathbf{Q}\) is a formula
In straightforward language, if \(\boldsymbol{P}\) is true, it follows that \(\boldsymbol{P}\) or \(\mathbf{Q}\) 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], p8
Synonyms
Addition [CCM14, p. 370]