On the scientific basis of forming students’ logical competence

This article is devoted to the study of the scientific foundations of the formation of logical competence of students in mathematics lessons, which describe traditional and mathematical logic, the relationship between them. He was one of the first to develop a scientific understanding of the basic categories of logic, such as concept, judgment, and conclusion. It has also been proved by Aristotle that there are 19 types of correct conclusions in a special form. The constructed mathematical-logical model allows to study the forms of thinking, that is, the forms of thinking are reflected in the formulas in the logic of reasoning and predicate logic. That is, the same logical form can have different meanings. Just the study ofform, the disregard for content, the study of the connections between these forms, is the view of logic as a science.