эй, я беру логику по математике, и я не уверен, что это бессмысленно. Первоначальная проблема
-ExEy [x =/= y ^ C(x,y) ^ C(y,x) ]
обратите внимание, что - это отрицание, E экзистенциально, а C (x, y) - это функция / Предикаты, ^ - это и функция
ВОПРОС: можно ли использовать Де Моргана, чтобы получить
AxAy [x=y V -C(x,y) V -C(y,x)]
обратите внимание, что A является универсальным, V является или функцией.