∧ Intro

• Se riesco a inferire P1, P2... Pn, allora posso inferire il And tra tutti questi

∧ Elim