Проблема выбора логики вывода

Question

Томми, Джилл и Путешественник принадлежат Club Club.ewly Club Cluel Club Club либо серфером, либо велосипедным всадником, либо оба. Всадник наездник любит дождливый день, и все серферы любят солнечный день. Независимо от того, что Томми диски. Томми любит дождливый день и солнечный день.

Я хочу представлять вышеупомянутую информацию в логике предиката первого порядка таким образом, чтобы я мог представлять вопрос «кто является членом клуба SC, который является велосипедным наездником, но не серфером?» как предикатное выражение логики.

Какое правило первого заказа я должен выбрать цепочку, обратную цепочку или опровержение разрешения. ??

Answer 1

Во-первых из этого вопроса звучит звучит так, будто его просят непосредственно из книги. Если это так, это может помочь, если вы ссылаетесь на книгу на ваш вопрос. Если вы по-настоящему застряли после того, как попытались покончить, то спросите себя ...

Как работает каждый правила вывода правила, и какую цель он служит в поисках решений в логических проблемах первого порядка? Как только вы знаете это, либо ...

• Вы не поймете это, но у вас будет лучший вопрос, чтобы спросить о конкретной технике
• очевидный ответ выпмет на вас
• Вы поймете, какие из тех методов могут работать для вашей проблемы и просто выберите один

Показано, что вы приняли некоторое время, чтобы попытаться выяснить эту проблему, прежде чем публиковать вопрос о стиле книги на StackoverFlow сделает других людей с большей вероятностью помочь вам. У вас также будут иметь вопросы, которые показывают ваше отсутствие концептуального понимания, что является очень хорошей причиной, чтобы разместить вопрос здесь, а не «ответить на мою домашнюю работу», звучащие такие вопросы, как это.