conjunction-elimination-1 (math concept)
See also
python declaration class | python inclusion class | python sample
Definition
conjunction-elimination-1 is the inference-rule:
\[\left( \boldsymbol{P} \land \mathbf{Q} \right) \vdash \boldsymbol{P}\]
Where:
\(\boldsymbol{P} \land \mathbf{Q}\) is a formula-statement
\(\boldsymbol{P}\) is a propositional formula
\(\mathbf{Q}\) is a propositional formula
In straightforward language, if both \(\boldsymbol{P}\) and \(\mathbf{Q}\) are true, it follows that \(\boldsymbol{P}\) is true.
Synonyms
Simplification [CCM14, p. 369]