将下列命题谓词符号化
问题描述：
将下列命题谓词符号化
1."所有有理数都是实数"
2."有些有理数不是整数"
答
1.∨x( Q(x)→R(x））
2.令R(x）:X是实数 Q（x）：x是整数
∑（存在符号）x（ R（x)∧┐Q(x) )
符号有一点难打出来!