conjunction-introduction (math concept)
See also
python declaration class | python inclusion class | python sample
Definition
conjunction-introduction is inference-rule:
\[\boldsymbol{P}, \boldsymbol{Q} \vdash \left( \boldsymbol{P} \land \boldsymbol{Q} \right)\]
Where:
\(\boldsymbol{P}\) is a formula-statement
\(\mathbf{Q}\) is a formula-statement
\(\boldsymbol{P} \land \mathbf{Q}\) is a formula-statement
In straightforward language, if \(\boldsymbol{P}\) is true, if \(\mathbf{Q}\) is true, it follows that both \(\boldsymbol{P}\) and \(\mathbf{Q}\) are true.
Quotes
“The rule of conjunction is a valid argument in types of logic dealing with conjunctions ∧. This includes propositional logic and predicate logic, and in particular natural deduction. Proof Rule If we can conclude both ϕ and ψ, we may infer the compound statement ϕ ∧ ψ.” - [ProofWiki22b]
Synonyms
Conjunction [CCM14, p. 370]