命題
否定
逆: inverse
対偶: contrapositive