基本信息
文件名称：谓词逻辑与公式翻译练习题.pdf
文件大小：258.8 KB
总页数：4 页
更新时间：2025-12-31
总字数：约3.22千字
文档摘要
填空题
1.设P（x）：x是素数，O(x)：x是奇数
N(x,y)：x可以整除y。则
谓词wff?x(P(x)→?y(O(y)?N(y,x)))的自然语言是
2.令E（x）：x是偶数,Q（x）：x是奇数,D（x，y）：x除尽y。
则?x(E(x)→?y(D(x,y)→E(y)))的汉语