编程题
求2个谓词公式的真值-2 ## 题目描述 记谓词公式P(x, y)为:x是y的因子(即x能整除y)。 请在有限个体域{2, 3, 4, 6, 8, 12, 14}上通过枚举客体变元求以下两个谓词公式的真值: F1:(∀y)(∃x)P(x, y) F2:(∃x)(∀y)P(x, y) ## 输入描述 无输入。 ## 输出描述 依次输出F1和F2的真值(T或F),用空格隔开。禁止采用手工演算或推测得出结论,再用输出语句输出答案。 ## 知识点 - 变元的枚举 - 量词 - 谓词公式的真值
查看答案
赣ICP备20007335号-2