The propositional mathematical units in primary schools have thousands of measurements and additions and subtractions. "Measurement" and "addition and subtraction of all things" are propositional mathematics, which is learned by primary school mathematics. Definitions, axioms, formulas, properties, laws and theorems in mathematics are all mathematical propositions. These are the basis for judging whether the proposition is true or false through reasoning. Generally speaking, in mathematics, we call statements that can be expressed in language, symbols or formulas within a certain range and can judge whether they are true or false as propositions. Mathematical proposition usually consists of two parts: the topic is known matter, and the conclusion is matter derived from known matter. Aristotle studied the different forms of propositions and their relationships in instrumental theory, especially in the category chapter, and classified different types of propositions according to different forms. Aristotle divided propositions into simple propositions and compound propositions, but he did not discuss compound propositions in depth. He further divided simple propositions into positive propositions and negative propositions by quality, and into full-name propositions and indefinite propositions by quantity, such as "happiness is not good". He also mentioned individual propositions, which are equivalent to the so-called singular propositions with proper names as the main item and universal concepts as the predicate. Aristotle focuses on four propositions represented by A, E, I and O. His example is: "Everyone is white". Nobody is white. Some people are white. Not everyone is white. Regarding the modal proposition, he discussed four modal words: inevitable, impossible, possible and accidental. Aristotle's model refers to the inevitability and possibility of events.