con.tra.pos.i.tive

n.Logic （名詞）【邏輯學(xué)】
A proposition derived by negating and permuting the terms of another, equivalent proposition; for example,All not-Y is not-X is the contrapositive of All X is Y.
質(zhì)位變換命題：由否定和置換另一等價命題的項而得到的命題；例如，.所有的非Y是非X. 是 .所有的X是Y. 的質(zhì)位變換命題