Teaching mathematical propositions is one of the core issues of mathematics education research, which can be corroborated from a variety of angels of the history of mathematics, formal logic and educational psychology, The designation of teaching mathematical propositions needs to consider the entire structure of propositions. In the entire structure, take into consideration of the status and function of the propositions, selecting the right keys to design the classroom teaching, which can play ...