universal - 有人可以解释这里发生了什么吗？存在普遍量化

Question

我必须编程（C++）并找到以下的真正价值。我不确定它的确切含义。

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

注意 -> 是一个蕴涵，C(x,y) 是一个函数/谓词，^ 是 and 函数，A 是通用的。如果有帮助，C(x,y) 是谓词，x 调用 y

我使用蕴含定义将其归结为AxAy -C(x,y)- 是否定的。这个对吗？整个长长的原始陈述是一种复杂的说法“没有人打电话”吗？

Answer 1

使用您对 for 的解释C(x,y)，这个一阶句子意味着 ifx调用yand w，then w = y。也就是说，x最多调用一个元素。同样， Ify由xand调用z，则z = x. 也就是说，y最多被一个元素调用。

我不确定你写一个 C++ 程序来找到这句话的真正价值是什么意思。我假设您的程序接收到一组(x,y)对，这些对代表正确的对C(x,y)。如果是这种情况，您只需检查集合中是否没有两对违反上述条件。也就是说，集合中没有对(a, b)和(a, c)，也没有对(a, b)和(c, b)。