問(wèn)答題

【簡(jiǎn)答題】用一階謂詞邏輯法表示:“有的人喜歡鋼琴,有的人喜歡提琴,有的人既喜歡鋼琴又喜歡提琴”。

答案:

定義謂詞及個(gè)體。設(shè)LIKE(x,y)表示:x喜歡y,Gangqin表示鋼琴,Tiqin表示提琴。
則:

微信掃碼免費(fèi)搜題