I am new to propositional logic / deductive proofs, I have the following:
- Q v R => S
- S => T
Therefore T
I have tried to use the fact that there is a hypothetical syllogism to obtain Q v R => T
(this is the part where i'm unsure)
Can i assume, Q v R, then assume S, and use the result to apply Modus Ponens to the 2nd premise to obtain T?
Q v R => S
S => T
- Q v R (assumption) start of sub proof
- S (from 1 & 3) modus ponens
- T (From 2 & 4) modus ponens