negative conclusion

Мат. отрицательное следствие