Conjunction elimination rule (source code)

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

From $A\land B$, infer either $A$ or $B$.

Back to article page