GbEng
逆命题通过换位得到的命题 A proposition obtained by conversion.