In the following derivations, I will provide either the procedure and the lines upon which it is used, or the proposition that I have derived. Students should identify the proposition that the process yields or the process itself, depending what the question asks. Remember to use capital letters for the variables and use the variable space variable format for complex sentences. So, P & Q is what you want and not P&Q. For rules, don't use capital letters for anything but MT. Also, don't bother to write the lines upon which they're used. What process did I use in line 4?1. P -> Q2. L ->T/ (P & L) -> (Q & T)3. P & L assumed for -> in4. P ________ on line 3