converse

{{logic}} Of a proposition or theorem of the form: ''given that "If A is true, then B is true", then "If B is true, then A is true."'' <br />equivalently: ''given that "All Xs are Ys", then "All Ys are Xs"''.