명제의 부정, 역과 대우명제, 충분조건과 필요조건