数学 填空题 较难 ★ 精品 谓词符号化 — 数学填空题 离散数学（计算机类） 一阶谓词逻辑 AI 三重审校通过 题目 设论域为全体实数，F(x)：x 是有理数，G(x)：x 是整数，H(x)：x 的平方是正数。将下列命题分别符号化，并填入相应符号化结果：命题「任何有理数，若其平方是正数，则它是整数」符号化为____；命题「存在不是整数的有理数，其平方是正数」符号化为____；命题「并非所有有理数都是整数」符号化为____。 登录后查看答案与解析 用此考点生成试卷 本单元全部练习题 更多数学填空题