And (minimal logic)

Introduction Rule

Elimination Rule

\frac{A \wedge B}{A}$$\frac{A \wedge B}{B}