From proposition, its inverse, its converse, and its contrapositive are derived as follows:
A proposition and its contrapositive always have the same truth value, i.e. if one is true, so is the other, e.g.:
vi:contrapositive zh:contrapositive