1. True proposition is a logical academic language. Generally speaking, in mathematics, a statement expressed in a language, symbol or formula that can judge its truth or falsehood is called a proposition. The truth value of a proposition can only have two values: true or false. Truth corresponds to correct judgment, and fallacy corresponds to wrong judgment. The truth value of any proposition is unique. A proposition with truth value is a true proposition.

2. The true proposition is the correct proposition, that is, if the proposition is established, then the conclusion must be established.