The original proposition is: a-> b
The antithesis is: b-> a.
No proposition: not a- > not b
The negative proposition is: not b- > not a.
Reciprocal negative proposition: If the condition and conclusion of one of the two propositions are the negation of the conclusion and condition of the other proposition, the two propositions are called reciprocal negative propositions.