ある式がfalseの場にtrueとなる、これが否定の概要で、条件文でよく使います。