The andR proof rule proves a conjunction P∧Q by separately proving both P as well as Q on the two resulting proof branches.
P∧Q
P
Q
See also
¬,∧,∨,→,↔