Generally speaking, in mathematics, we call statements expressed by language, symbols or formulas that can judge whether a proposition is true or not a proposition.

For two propositions, if the conditions and conclusions of one proposition are the conclusions and conditions of another proposition, then these two propositions are called reciprocal propositions, one of which is called the original proposition and the other is called the inverse proposition of the original proposition.