2. Prove that the following propositions are false. (a) MLABC = MZDEF ZABC = ZDEF. %3D %3D (b) AABC = ZABC U ZBCAUZCAB. %3D

please anwer question 3(3.7)

I'm not sure if this is the correct anserw please let me know

Which of the following would be a valid post-condition of the following Hoare triple? x = = (i+1)!. 3i-¹) ^ (i ‡ 0) {x=x*i} (???) · (±−1)) | (x = (4+¹)!¹. 3 (÷-¹)) ^ (i ‡ 0) 24 .3²i-¹) ^ (i = 0) x * i = (i+1)! . 3i-¹) ^ (i ‡ 0) + (i+1)!. 3i-¹) ^ (i = 0) x = ○ (x = O (zi+1)! 2xi