This is 2.4.8

5. (5+5+5 points) Prove the formal theorems (a) +41 (410) = (414) 10 (b) F (414) = (416) (c) State and prove for ^ the Swap Rule similar to that stated in 2.4.8 for V and E. Indeed, 2.4.8) (Remark Ax 5 and AxG along with Leibniz allow us to prove that in the chain of v-signs we can swap any two subformulae i.e. Elu YutzAvYve) Proof swap 4 Yvo if more than 3 va ovy ve done. . are in the chain; and similar proof works for the chain. ot' =, H45430)= (4 = 454). (Repeat the proof ?) more 5. (5+5+5 points) Prove the formal theorems (a) +41 (410) = (414) 10 (b) F (414) = (416) (c) State and prove for ^ the Swap Rule similar to that stated in 2.4.8 for V and E. Indeed, 2.4.8) (Remark Ax 5 and AxG along with Leibniz allow us to prove that in the chain of v-signs we can swap any two subformulae i.e. Elu YutzAvYve) Proof swap 4 Yvo if more than 3 va ovy ve done. . are in the chain; and similar proof works for the chain. ot' =, H45430)= (4 = 454). (Repeat the proof ?) more