将下面句子中是简单命题的命题符号化。
（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年元旦下大雪。