[userpic]

Re: Диаграммы Кэррола и схемы Эйлера ↑

eugzol в посте Metapractice (оригинал в ЖЖ)

Ну это смотря как ЛК строит универсум (U). В общем случае "не Х и одновременно не М" может:
— существовать — значит имеет место третье множество/свойство/предикат U-X-M
— не существовать — U=X+M