The andR proof rule proves a conjunction P∧Q by separately proving both P as well as Q on the two resulting proof branches.

See also