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

来源:学生作业帮助网 编辑:六六作业网 时间:2024/05/10 04:20:10
将下列命题谓词符号化1."所有有理数都是实数"2."有些有理数不是整数"将下列命题谓词符号化1."所有有理数都是实数"2."有些有理数不是整数"将下列命题谓词符号化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) )
符号有一点难打出来!