问答题

【参考答案】

定义谓词及个体。设LIKE(x,y)表示:x喜欢y,Mifan表示米饭,Miantiao表示面条。
则: