[05] Given the program segment below, using axiomatic semantic: a) Derive the weakest precondition of it. b) Does {x >= 30} represent a valid precondition {P} for the given input. = x = if (x > y){ X/4 + 2; 2*y 8; } else{ y=x/4; x = y/2 - 4; } Q {x >= 16) = [05] Given the program segment below, using axiomatic semantic: a) Derive the weakest precondition of it. b) Does {x >= 30} represent a valid precondition {P} for the given input. = x = if (x > y){ X/4 + 2; 2*y 8; } else{ y=x/4; x = y/2 - 4; } Q {x >= 16) =