问答题

【参考答案】

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