我必须编程（C ++）并找到以下内容的真实值。我对它究竟意味着什么是不确定的。
AxAy(C(x, y) -> ((Aw(C(x, w) -> w = y) ^ (Az(C(z, y) -> z = x))
请注意 - ＆gt;是一个暗示，C（x，y）是一个函数/谓词，^是和函数，A是通用的。如果有帮助，C（x，y）是谓词，x称为y
我使用Implication定义将其煮熟并到达AxAy -C(x,y)，其中 - 是否定。
它是否正确？整个长的原始陈述是一个复杂的说法“没有人打电话”？
答案 0 :(得分：0)
使用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)。