Два высказывания, из которых одно является отрицанием другого.