Для утверждения Марс планеты солнечной системы отрицанием является утверждение, Марс не является планетой солнечной системы.