What problems does formal logic solve?

Formal mathematical logic solves the problems of verifying the correctness of reasoning in natural language (real world), building its own models and rules for their transformation. For this, logic introduces its languages a system of formal notation (formulas) and rules for their transformation.

Remember: The process of learning a person lasts a lifetime. The value of the same knowledge for different people may be different, it is determined by their individual characteristics and needs. Therefore, knowledge is always needed at any age and position.