2016年4月17日

第二次作业

摘要: 2.9 设有如下语句,请用相应的为此公式分别把它们表示出来: (1)有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花。 解:首先定义谓词: P(x):x是人。 Like(x,y):x喜欢y。y的个体域是{菊花,梅花}。 (∃x)(P(x)→Like(x,梅花) ∨ Like(x,菊花) ∨ 阅读全文

posted @ 2016-04-17 21:18 文思源130702010014 阅读(204) 评论(0) 推荐(0) 编辑

导航