将下列命题谓词符号化1."所有有理数都是实数"2."有些有理数不是整数"

将下列命题谓词符号化1."所有有理数都是实数"2."有些有理数不是整数"
将下列命题谓词符号化
1."所有有理数都是实数"
2."有些有理数不是整数"

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