Axiomatic method in the education of future mathematics teachers: equivalence of two systems of axioms of propositional calculus

One of the components of the logical competence of a mathematics teacher is mastery of the concepts of strict logical proof of mathematical theorems, the axiomatic method and axiomatic theory. These concepts must be developed in a future mathematics teacher.