问答题 2.5是自然数的命题的否定式，并将原命题及其否定式都符号化，最后指出否定式的真值。

问答题 √25不是无理数的命题的否定式，并将原命题及其否定式都符号化，最后指出否定式的真值。

问答题 √5是有理数的命题的否定式，并将原命题及其否定式都符号化，最后指出否定式的真值。