问答题

【参考答案】

定义谓词。Father(x,y):x是y的父亲;S_B(x,y):x和y是兄妹。
然后将已知条件和问题用谓词公......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)