And (minimal logic) Introduction Rule A∧BAB Elimination Rule \frac{A \wedge B}{A}$$\frac{A \wedge B}{B}