Study of the basic issues of logic and its research directions, focusing on the definition and historical development of logic as a scientific discipline, its fundamental concepts, and proposition logic and its formalization