Conditional Proofs

1. P>Q
2. R>Q
conclusion is (PvR)>Q