Page 5, Question 3 3. Given the wff: W (A (A-, DJA (-B (a) (2 points) Write out the first three lines of the truth table, where A, B, C, D, E have the values o00 -, E) ^ (D -E) ^ (-C-, E))-BA C 0Q00001,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 Page 6, Question 3 cop1 (d) (5 points) Give a formal proof of W. are used Number each line in your proof and note which proof rules 1 A 2 A- D 4 DE 6 (e) (7 points) Prove the following For any integers a, b, c, if ablc then alc and bic Use informal proof methods (like in Chapter 1) () The following statements are assigned to each propositional variable as follows A ab divides c D-ccan be written as abk, k in Z B a divides c C b divides c G not in Z (3 points) Rewrite the following ts, in English (i) A (li) A-D