トミー、ジル、トラベラーはScクラブに所属しています。scクラブのメンバーは全員、サーファーかバイクライダー、またはその両方です。雨の日が好きなバイクライダーはいないし、晴れた日が好きなサーファーもいます。トミーが嫌いなものは何でも。トミーは雨の日と晴れた日が好きです。
上記の情報を一階述語論理で表現したいので、「自転車のライダーであるがサーファーではないSCクラブのメンバーは誰ですか？」という質問を表現できます。述語論理式として。
前向き連鎖、後向き連鎖、または解決の反論を選択する必要がある一次推論規則は何ですか？
まず、この質問は本から直接尋ねられているように聞こえます。その場合は、質問の本を参照すると役立つ場合があります。あなたがそれを解決しようとした後に本当に立ち往生しているなら、それからあなた自身にこれを自問してください...
各推論規則はどのように機能し、一階述語論理の問題の解決策を見つけるためにどのような目的を果たしますか？あなたがそれを知ったら、どちらか...
スタックオーバーフローに本のスタイルの質問を投稿する前に、問題を理解するために時間をかけたことを示すと、他の人があなたを助ける可能性が高くなります。また、概念的な理解の欠如を示す質問もあります。これは、このような「宿題に答える」という質問とは対照的に、ここに質問を投稿する非常に良い理由です。