Основы логических суждений
... отрицание вместе истинными быть не могут), так как данные суждения взаимоисключающие, суждение ...
Значит, имеются признаки, входящие в содержание обоих понятий , и есть такие, которые входят в содержание только одного понятия .