题目内容
（请给出正确答案）
[主观题]
在全总个体域中，将下列语句符号化为谓词公式。 （1)并非每个实数都是有理数；（2分） （2)没有有理数不是实数；（2分） （3)尽管有些有理数大于0，但并非大于0的实数都是有理数；（3分） （4)对于任一正实数，都存在大于该实数的实数。（3分）
答案
若令 A(x)：x是运动员； T(x)：x是教练； S(x)：x是大学生； H(x)：x的家在外地； M(x)：x是人； L(x)：x喜欢听流行歌曲； R(x)：x是实数； E(x，y)：x·y=y； D(x)：x是狗； B(x)：x是黑色的； C(x)：x很聪明； Q(x)：x是有理数； N(x)：x是自然数。 则题设命题可符号化为： x(A(x)→T(x))$ x(S(x)∧H(x))$￢ x(M(x)→L(x))$ x(R(x)∧ y(R(y)→E(x，y)))$ x(D(x)∧B(x)∧C(x))$￢ x(Q(x)→N(x))
如搜索结果不匹配，请 联系老师 获取答案
