问答题

【简答题】用一阶谓词逻辑法表示:“有的人喜欢钢琴,有的人喜欢提琴,有的人既喜欢钢琴又喜欢提琴”。

答案:

定义谓词及个体。设LIKE(x,y)表示:x喜欢y,Gangqin表示钢琴,Tiqin表示提琴。
则:

微信扫码免费搜题