问答题

【参考答案】

证明:
定义谓词。Save(x):表示x储蓄钱;Interest(x):表示x获得利息。
将前提和要......

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