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

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

问答题 将下面句子中是简单命题的命题符号化。 （1）中国有四大发明。 （2）√5是无理数 （3）3是素数或4是素数。 （4）2x+3〈5，其中x是任意实数。 （5）你去图书馆吗？ （6）2与3都是偶数。 （7）刘红与魏新是同学。 （8）这朵玫瑰花多美丽呀！ （9）吸烟请到吸烟室去！ （10）圆的面积等于半径的平方乘π。 （11）只有6是偶数，3才能是2的倍数。 （12）8是偶数的充分必要条件是8能被3整除。 （13）2025年元旦下大雪。