设Q(x):x 是有理数,R(x):x是实数.命题“某些实数是有理数”在谓词逻辑中的符号化公式是设Q(x):x 是有理数,R(x):x是实数.命题“某些实数是有理数”在谓词逻辑中的符号化公式是

问题描述:

设Q(x):x 是有理数,R(x):x是实数.命题“某些实数是有理数”在谓词逻辑中的符号化公式是
设Q(x):x 是有理数,R(x):x是实数.命题“某些实数是有理数”在谓词逻辑中的符号化公式是

Q包含于R