将下列命题用谓词逻辑符号化。
（1）小王即聪明又用功。
（2）小王从未给小李发过电子邮件，或打过电话。
（3）只要你给我发个电子邮件，我就有你的邮件地址。
（4）所有的人都要参加体育锻炼。
（5）这个班有些学生选修了计算机专业的一些课程。
（6）并非所有的智能工作都能由计算机来完成。
（7）有些物品价格上涨，但不是所有物品的价格都上涨。
（8）这个班有人给班上其他人都发过电子邮件。
（9）不是每个大于1的自然数都是某个自然数的平方。
（10）任何自然数都有唯一的后继数。