Study of mathematical logic elements, propositions, and their structures. Understanding the volume and content of concepts, methods of defining concepts, and examples