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

在您给出的问题中，我们需要考虑的是关于实数的线性不等式 `ax + by + c > 0` 的全称量词（∀）和存在量词（∃）的应用。这两个公式分别代表：

1. ∀x∀y P(x,y) 表示对于D集合中的每个元素 x 和 y，不等式 ax + by + c 都大于零。为了编写程序确定这个公式的真假，你需要遍历所有可能的 (x, y) 对，并检查对应的线性不等式是否始终成立。如果能找到哪怕一对 (x, y)，使得不等式不满足，则该命题为假；否则，若对所有组合都成立，则为真。

2. ∃x∀y P(x,y) 表示存在某个特定的 x，对于 D 中的所有 y，不等式 ax + by + c 都大于零。这意味着我们要找到一个 x 值，然后验证其对所有 y 是否有效。如果能找到这样的 x，那么命题为真；如果没有找到这样的 x 或者找到但有不符合的 y，则为假。

由于这里没有具体的数值给定，我们无法直接编写程序。但通常，这会在数学软件包（如Python的NumPy或Matlab）中通过循环和条件判断来实现。例如，在Python中可能会有这样的伪代码：

def is_true_for_all(P, domain):
    for x in domain:
        for y in domain:
            if not P(x, y):
                return False
    return True

def is_true_exists_and_for_all(P, domain):
    for x in domain:
        if is_true_for_all(lambda y: P(x, y), domain):
            return True
    return False