me with this math problem(explain well), .

4. formalize the following argument by using the given predicates and then rewriting the argument as a numbered sequence of statements. identify each statement as either a premise, or a conclusion that follows according to a rule of inference from previous statements. in that case, state the rule of inference and refer by number to the previous statements that the rule of inference used.

(a) everybody who is at least 16 years old can get driver licence. azul does not have a driver licence yet. therefore, azul is less than 16 years old.

predicates: s(x)= x is at least 16 years old, d(x)=x can get a driver licence". the domain of discourse is all people.

Given: ad¯¯¯¯¯ is an altitude. prove: ab2+ac2=cb2 right triangle a b c with right angle a. point d lies on side b c and segment a d is drawn. angle a d c is a right angle. drag and drop a reason into each box to correctly complete the two-column proof. statement reason ad¯¯¯¯¯ is an altitude, and ∠bac is a right angle. given ∠adb and ∠adc are right angles. definition of altitude ∠bac≅∠bda ? ∠bac≅∠adc ? ∠b≅∠b ? ∠c≅∠c reflexive property of congruence △abc∼△dba ? △abc∼△dac aa similarity postulate abbd=cbab ? ab2=(cb)(bd) cross multiply and simplify. acdc=cbac polygon similarity postulate ac2=(cb)(dc) cross multiply and simplify. ab2+ac2=ab2+(cb)(dc) addition property of equality ab2+ac2=(cb)(bd)+(cb)(dc) substitution property of equality ab2+ac2=(cb)(bd+dc) ? bd+dc=cb segment addition postulate ab2+ac2=cb2 substitution property of equality