问题详情

在谓词逻辑的范畴内符号化下列命题，并推证其结论的有效性：所有整数是有理数，有些整数是素数，因而有些有理数是素数．(请根据指定谓词P(x)，Q(x)，I(x)来表示)．