推理邏輯規則選擇問題

Question

Tommy，jill和travelor屬於Sc俱樂部。sc俱樂部的每個成員都是衝浪者或騎自行車的人或者兩者都有。騎自行車的人不喜歡下雨天，所有衝浪者都喜歡陽光燦爛的日子。喜歡湯米喜歡的任何東西，並喜歡任何不喜歡的東西。湯米喜歡下雨天，晴天。

我想用一階謂詞邏輯來表示上述信息，以此來表示「誰是騎自行車的人，但不是衝浪者的SC俱樂部的成員？」的問題。作爲謂詞邏輯表達式。

什麼第一順序推理規則我應該挑選鏈接，反向鏈接或解析駁斥。

Answer 1

首先，這個問題聽起來像是直接從書中提出的。如果是這樣的話，如果你在你的問題中引用這本書可能會有所幫助。如果你試圖去解決它之後真正卡住了，然後問自己這個...

如何每個推理規則的工作，它起什麼作用於發現在一階邏輯問題的解決方案？一旦你知道，要麼...

• 你不會明白，但你將有一個更好的問題想請教一下具體技術
• 明顯的答案將在您
• 你會意識到跳出其中，這些技術可工作的問題，只是選擇一個

顯示你已經採取了一些時間來嘗試並張貼在計算器一本書的風格問題將讓其他人更容易幫助你之前找出問題。您也將有顯示你缺乏對概念的理解，這是一個很好的理由在這裏張貼問題，而不是「回答我的功課」發聲問題，比如這個問題。