Может кто-нибудь объяснить, что здесь происходит? экзистенциальные универсальные количественные определения

Question

Я должен запрограммировать (C ++) и найти истинное значение следующего. Я не уверен, что именно это означает.

AxAy(C(x, y) -> ((Aw(C(x, w) -> w = y) ^ (Az(C(z, y) -> z = x))

обратите внимание, что -> - это импликация, C (x, y) - функция / Предикаты, ^ - функция и, A - универсальная если это помогает, C (x, y) является предикатом, x вызывает y

Я свел его, используя определение Implication, и пришел к AxAy -C(x,y), где - отрицание. это правильно? Является ли весь длинный оригинальный текст сложным способом сказать: «никто не звонил»?

Answer 1

Используя вашу интерпретацию для C(x,y), это предложение первого порядка означает, что если x вызывает y и w, то w = y.То есть x вызывает не более одного элемента.Точно так же, если y вызывается x и z, то z = x.То есть y вызывается не более чем одним элементом.

Я не уверен, что вы имели в виду, написав программу на C ++ для поиска истинного значения этого предложения.Я предполагаю, что ваша программа получает набор пар (x,y), представляющих пары, для которых C(x,y) истинно.Если это так, вам просто нужно проверить, нет ли в наборе двух пар, которые нарушают вышеуказанные условия.То есть в наборе нет пар (a, b) и (a, c), а также нет пар (a, b) и (c, b).