inferenza in logica problema di selezione regola

Question

Tommy, Jill e travelor appartengono al membro Sc club.Every di sc club è sia un surfista o un ciclista o ciclista both.No piace un giorno di pioggia e tutti i surfisti, come un day.Jill sole come qualunque Tommy ama e ama tutto ciò che Tommy dislikes.Tommy piace un giorno di pioggia e una giornata di sole.

voglio rappresentare le informazioni di cui sopra in primo logica dei predicati ordine in modo tale che io possa rappresentare la domanda "chi è un utente di SC del club, che è un ciclista, ma non un surfista?" come espressione logica predicato.

Cosa regola di inferenza primo ordine dovrei pick concatenamento in avanti, concatenamento all'indietro, o la risoluzione confutazione. ??

Answer 1

Prima di tutto questa domanda suona come è stato chiesto direttamente da un libro. Se questo è il caso, potrebbe essere utile se si fa riferimento il libro nella sua interrogazione. Se siete veramente bloccato dopo aver provato a lavorare fuori, poi chiedetevi questo ...

Come fa ogni inferenza regola il lavoro, e che scopo ha verso la ricerca di soluzioni a problemi di logica primi ordine? Una volta che sai che, sia ...

• voi non capirlo, ma si avrà una domanda migliore per chiedere di una particolare tecnica
• la risposta ovvia salterà fuori di te
• vi renderete conto che di quelle tecniche in grado di lavorare per il vostro problema e basta scegliere uno

Mostra che avete preso un po 'di tempo per cercare di capire il problema prima di postare una domanda di stile del libro su StackOverflow renderanno le persone più probabile per aiutarvi. Avrete anche domande che mostrano la vostra mancanza di comprensione concettuale, che è una buona ragione per inviare una domanda qui, al contrario di "rispondere alla mia compiti" che suona domande come questa.