P | pr
Q | pr
P->Q | ->I 2, 1