denial of contradiction

Мат. отрицание противоречия