2. [20 pts] For a propositional formula (,0, let Vp) be the number of propositional variables occurring in go, counting repetitions. Let I043) denote the nlnnber of :~'s occurring in mp, and let NW3) denote the number of -1's occurring in go. E.g., for (,0 = ((131 > Pg) > P1], V150) = 3, H50] 2 2, and NW) 2 1. Prove or disprove each of the following. (a) For all formulas :10, Vp) 2 10p). (1)) For all formulas 50, Vp) l: NEG)