Сочетание суждений, умозаключений с двумя противоположными положениями, исключающими возможность третьего Spec
