由于承包人失误或者发生承包人应负责的风险而造成承包人重大的损失而提出的索赔称为（)。A．合同内

将下列推理符号化，并判定其结论是否正确．

(1)若一个数为整数，则它为有理数；若一个数为有理数，则它是实数；有一个数为整数，所以它为实数．

(2)若一个数是实数，则它是复数；若一个数是虚数，则它也是复数；一个数既不是实数，又不是虚数，所以它不是复数．

构造下式的推理证明：

有理数都是实数，有的有理数是整数，因此有的实数是整数．

所有的有理数都是实数；所有的无理数也是实数；虚数不是实数。因此，虚数既不是有理数也不是无理数．

(1)将上述命题符号化。

(2)用演绎法证明其结论是否正确。