有人可以解释一下这里发生了啥吗？存在普遍量化

Posted 2023-03-28

【中文标题】有人可以解释一下这里发生了啥吗？存在普遍量化

【英文标题】：Can someone explain to be what is going on here? existential universal quantifications有人可以解释一下这里发生了什么吗？存在普遍量化

【发布时间】：2011-10-11 03:59:43

【问题描述】：

我必须编程 (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)，其中 - 是否定。 它是否正确？整个长长的原始陈述是一种复杂的说法“没有人打电话”吗？

【参考方案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)的对。