Introduction to Logic

And Introduction

And Introduction is a rule of inference that allows us to derive a conjunction from its conjuncts. If a proof contains sentences φ1 through φn, then we can infer their conjunction.

And Introduction
φ1
...
φn
φ1 ∧ ... ∧ φn