将下面命题符号化,并构造推理证明:所有有理数是实数,有些有理数是整数,所以有些实数是整数。
将下面命题符号化,并构造推理证明:
所有有理数是实数,有些有理数是整数,所以有些实数是整数。
【正确答案】：
所有有理数是实数,有些有理数是整数,所以有些实数是整数。
【正确答案】：
(P38)证明：令R（x）：x是实数，Q（x）：x是有理数，I（x）：x是整数