Exercise 4. For a WFF , use induction to define count (,pr), which is the number of times proposition "pr" appears in WFF formula , e.g., count((pq),p)=count((pq),q)=1 and count(((pq)q),q)=2