13計本田世界第二次作業

2.9設有如下語句，請使用相應的謂詞公式分別把它們表示出來： 其中∃是「存在」∀是「任意」。邏輯∧（與）∨（或）。￢（非）   （1）有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花。 解：定義謂詞 P（x）:x是人 L(x，y)：x喜歡y 其中，y的個體域是{梅花，菊花} 將知識用謂詞表示爲： (∃x)(P(x)→L(x, 梅花)∨L(x, 菊花)∨L(x, 梅花)∧L(x, 菊花))

>>阅读原文<<