在谓词逻辑中证明下面推理的正确性：所有的有理数都是实数。所有的无理数也都是实数。虚数不是实数。因此虚数既不是有理数也不是无理数。