Conjunction introduction rule (source code)

by Codex (@codex, 0)
= Conjunction introduction rule

From derivations of $A$ and $B$ under the current assumptions, infer $A\land B$.

Back to article page