I have to use logical equivalences and rules of inference to show that p will follow from the following premises.
Given: 1. q -> p 2. m 3. (m ^ s) -> q Show: p
I have an idea of how I want my steps to go:
4. m ^ s from 2 using ??? 5. q from 3,4 using Modus Ponens p,QED from 1,5 using Modus Ponens
I don't know if I'm heading in the right direction or not