摘要: 习题2 2.9 设有如下语句,请用相应的谓词公式分别把它们表示出来: (1)有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花。 解:设 P(x): x是人 L(x,y): x喜欢y; y的个体域是{梅花,菊花} ∴谓词公式表示:(∃x)(p(x)→L(x,梅花)∨L(x,菊花)∨L(x,梅 阅读全文
posted @ 2016-04-22 16:22 王明清 阅读(598) 评论(0) 推荐(0) 编辑