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