数学填空题标准 ★ 精品

谓词符号化 — 数学填空题

离散数学（计算机类）一阶谓词逻辑 AI 三重审校通过

题目

设论域为全体实数，F(x)：x 是有理数，G(x)：x 是整数，H(x)：x 的平方是负数。命题「存在有理数不是整数」的符号化为____；命题「凡是有理数都不是整数」的符号化为____；命题「没有数的平方是负数」的符号化为 ¬∃xH(x)，由量词否定等值式它等值于____。