问答题

简答题 请用一阶谓词逻辑法表示“喜欢跳舞的人必喜欢唱歌。”

【参考答案】

L.ike(x,y)表示x喜欢y;
(Эx)(Like(x,跳舞)→Like(x,唱歌))。

热门 试题