Page 5, Question 3 (a) (2 points) Write out the first three lines of the truth table, where A, B, C, D, E have the values 000 00,00001,00010- A,B,C, D, E" 00001 00010 (b) (1 point) How many rows would the complete truth table have (c) (6 points) Use Quine's method to determine if W is a tautology, contradiction or contingency. (1 point) The wff is a (d) (5 points) Give a formal proof of W. Number each line in your proof and note which proof rules are used. 1 A p. el (e) (7 points) Prove the following: For any integers a, b, c, if ablc then alc and blc. Use informal proof methods (like in Chapter 1). el (f) The following statements are assigned to each propositional variable as follows A ab divides ce D c can be written as abk, k in Z B a divides ce C b divides c G -not in Z 0 (3 points) Rewrite the followingrwfs in Englishe (ii) A D (ii) -C G ed