эй, я посещаю урок логики и математики, и я не уверен, что это действительно так. Первоначальная проблема заключается в
-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 — функция or.