(Solved): 1 Prove the Soundness of the 2-Factor Reps Rule (18 points) You may use the core inference rules, t ...

1 Prove the Soundness of the 2-Factor Reps Rule (18 points) You may use the core inference rules, the derived rules, and the delegation rules in Figures A.1, A.2, and A3 in the textbook. Note: for full credit you must include the rows to which you are applying the inference rules. If this is missing or incorrect, you might get no credit, even if you cite the right inference rule. Solution