P132,习题4.610.用CP规则构造证明11.构造推理证明所有有理数是实数，某些有理数是整数，所有某些实数是整数。