简答题

求下列公式的前束范式。

将下列命题用谓词逻辑符号化。（1）小王即聪明又用功。（2）小王从未给小李发过电子邮件，或打过电话。（3）只要你...

问答题

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

令L（x，y）表示“x喜欢y”，个体域为所有人的集合，用谓词和量词表示下面的命题。（1）每个人都喜欢所以的人。...

问答题

令L（x，y）表示“x喜欢y”，个体域为所有人的集合，用谓词和量词表示下面的命题。
（1）每个人都喜欢所以的人。
（2）每个人都喜欢一些人。
（3）一些人不喜欢任何人。
（4）每个人都喜欢小王。
（5）有些人被所有的人喜欢。
（6）没有人人都喜欢的人。
（7）每个人都不喜欢一些人。

有向图中结点之间的可达关系是（）A.自反的，对称的B.自反的，传递的C.自反的，反对称的D.反自反的，对称的

单项选择题有向图中结点之间的可达关系是（）