找考题网-背景图
问答题

简答题

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

【参考答案】