(Solved): 4. Use rules of inference to show that the hypotheses (rf)(sq) and st and t impli ...
4. Use rules of inference to show that the hypotheses (¬r∨¬f)→(s∧q) and s→t and ¬t implies r. 1. →t 2. s→t 3. (→∨→f)→(s∧q) Premise Premise Premise 5. Prove using the rules of inference that ∀x(R(x)→P(x)) and R(a) imply the conclusion P(a). 1. ∀x(R(x)→P(x)) premise 2. R(a) premise