Use the rules of inference to show that if V x (Rx) v ) and V xcRx) ) are true, then V x(Rx) Rx) is also true, where the domains of all quantifiers are the same Construct your argument by rearranging the following building blocks. 1. We will show that if the premises are true, then R(a)-P(a)) for every a. 2. Suppose -R(a) is true for some a. 3. For such an a, universal modus tollens applied to the second premise gives us -P(a)'Q(a)). Drag the text blocks below into their correct order P(a) A Q(a). By universal instantiation on vx (P(x) v Q(x)). we conclude This is logically equivalent to Pa) Applying the rules of De Morgan's law on By resolution, we conclude By universal generalization, we get, We have therefore shown -R(a)- P(a) for every a. We get, P(a) v -Qa) P(a) v P(a). P(a) v Q(a)