设P(x,y)是定义在论域D={d1,d2,......dn}上的谓词，P(x,y):ax+by+c>0 编写程序求解下列公式真值： （1）∀x∀yP(x,y) （2）∃x∀yP(x,y)

为了确定这些逻辑公式的真值，我们需要遍历所有的`d1`, `d2`, ..., `dn` 对于变量 `x` 和 `y`。给定的谓词 `P(x, y)` 是线性不等式 `ax + by + c > 0`。然而，你需要提供具体的数值 `a`, `b`, 和 `c` 来计算每个 `(x, y)` 对的布尔值。

对于全称量词 (`∀`)，我们需确保对于所有可能的 `x` 和 `y`，不等式都成立。对于存在量词 (`∃`)，至少有一个 `x` 应使不等式对所有 `y` 成立。

让我们创建一个简单的函数，它接受 `a`, `b`, `c`, `n` 以及一组 `d` 的值，然后检查这两个命题：

def predicate(a, b, c, d_values):
    for x in d_values:
        for y in d_values:
            if a * x + b * y + c <= 0:
                return False  # 如果找到违反不等式的 (x, y)，返回False

    return True  # 如果没有违反，说明全称量词为真

def forall_all(d_values, a, b, c):
    return predicate(a, b, c, d_values)

def exists_one(d_values, a, b, c):
    exists_x = False
    for x in d_values:
        if predicate(a, b, c, d_values):
            exists_x = True
            break
    return exists_x

# 假设你已经有了一个 `d_values` 列表，比如 [1, 2, 3, ...]
# 可以替换为实际的数字列表，比如 d_values = list(range(1, n+1))
a, b, c = ...  # 输入的具体系数
n = len(d_values)

# 计算两个公式
forall_result = forall_all(d_values, a, b, c)
exists_result = exists_one(d_values, a, b, c)

print(f"∀x ∀y P(x, y) 的真值为: {bool(forall_result)}")
print(f"∃x ∀y P(x, y) 的真值为: {bool(exists_result)}")

记得替换 `a`, `b`, `c` 以及 `d_values` 的具体值。如果你需要根据用户的输入动态计算，请提供相应的交互式代码。现在，你可以根据实际情况调整参数并运行上述代码。