= Disjunction introduction rule From $A$, infer $A\lor B$; from $B$, infer $A\lor B$.
Back to article page
