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

在布尔逻辑中，对于给定的谓词 P(x, y)，即 ax + by + c > 0，要评估这些量词形式的命题，我们需要遍历论域 D 的所有元素，并检查每个 (x, y) 对应的不等式是否恒成立或存在至少一组 x 和 y 满足条件。

这里我们假设 a、b、c 是已知的常数，而 d1, d2, ..., dn 是论域的具体数值。

首先，对于 ∀x ∀y P(x,y)（对所有的 x 和 y），我们需要编写循环遍历每一个 x 和 y，在每一步都检查不等式是否满足，如果都不满足，则该命题为假。C语言实现可以类似下面：

#include <stdio.h>
#include <stdbool.h>

bool check_inequality(int a, int b, int c, int di, int dj) {
    return a*di + b*dj + c > 0;
}

int main() {
    // 论域 D 的元素（这里仅示例两个）
    const int D[] = {d1, d2};
    const int n = sizeof(D) / sizeof(D[0]);
    
    bool all_true = true;

    for (int i = 0; i < n; ++i) {
        for (int j = 0; j < n; ++j) {
            if (!check_inequality(a, b, c, D[i], D[j])) {
                all_true = false;
                break;
            }
        }
        if (!all_true) break;
    }

    if (all_true)
        printf("∀x ∀y P(x,y) 真\n");
    else
        printf("∀x ∀y P(x,y) 假\n");

    return 0;
}

对于 (∃x ∀y P(x,y))，你需要找到至少一个 x 可以使得对所有的 y，不等式 P(x, y) 都成立。这通常涉及到一个查找过程或穷举策略。不过由于这里并没有给出具体的 x 的范围或搜索策略，我们无法提供完整的 C 代码。你可以设计一个寻找满足条件的第一个 x 的循环。