高等继续教育 / 离散数学
题型描述: 论述题
每个有理数都是实数，有的有理数是整数，因此，有的实数是整数。设n元谓词R(x):x是实数，Q(x):x是有理数，I(x):x是整数。列出所有前提和结论的谓词公式，并证明结论。
参考答案：
佳题速递：
每个有理数都是实数，有的有理数是整数，因此，有的实数是整数。设n元谓词R(x):x是实数，Q(x):x是有理数，I(x):x是整数。列出所有前提和结论的谓词公式，并证明结论。