noun
converse proposition
In logic, the proposition formed by swapping the hypothesis and conclusion of a conditional statement (e.g., 'If Q then P' is the converse of 'If P then Q').
「PならばQ」の逆命題は「QならばP」である。
The converse proposition of 'If P then Q' is 'If Q then P'.
対偶 is the contrapositive (both swapped and negated), which is logically equivalent to the original; 逆命題 is not necessarily equivalent.
Compound of 逆 (reverse) and 命題 (proposition), directly translating the logical concept of a converse proposition.