Or (minimal logic) § Introduction Rule § \frac{A}{A \lor B}$$\frac{B}{A \lor B} Elimination Rule § CA∨B[A]i⋮C[B]i⋮Ci