1 / 10

Parte quinta

Parte quinta. In questa parte viene illustrato l’uso delle matrici di conoscenza applicate ad un problema di logica . Parte prima   - Parte seconda -  Parte terza - Parte quarta. Un po’ di logica!!!.

taran
Download Presentation

Parte quinta

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Parte quinta • In questa parte viene illustrato l’uso delle matrici di conoscenza applicate ad un problema di logica Parte prima  - Parte seconda -  Parte terza - Parte quarta

  2. Un po’ di logica!!! Martino , Damiano , Giacomo e Giovanni sono medico , avvocato , tabaccaio , ed ingegnere , ma non nell'ordine indicato . Sapendo che : a) Giovanni ha sposato la sorella dell'ingegnere , che a sua volta ha sposato la sorella del medico b)Giacomo è figlio unico , non si è sposato ed è molto amico del tabaccaio c)Damiano è amico del fratello dell'ingegnere ma non conosce nessuno dei suoi parenti sapresti dire chi è il medico , l'ingegnere , l'avvocato ed il tabaccaio?

  3. Soluzione Dalla prima affermazione deduciamo che: se Giovanni ha sposato la sorella dell'ingegnere, allora Giovanni non e' ingegnere Dalla seconda affermazione deduciamo che: se Giacomo e' figlio unico, allora non può avere una sorella che abbia sposato Giovanni, quindi Giacomo non e' ingegnere Se Giacomo e' figlio unico, allora non può avere una sorella che abbia sposato l'ingegnere, quindi Giacomo non e' medico Se Giacomo e' molto amico del tabaccaio, allora Giacomo non e' tabaccaio Dalla terza affermazione deduciamo che: se Damiano e' amico del fratello dell'ingegnere, allora Damiano non e' ingegnere Se Damiano non conosce nessuno dei parenti del fratello dell'ingegnere, allora non conosce l'ingegnere e nemmeno sua moglie che e' la sorella del medico, quindi Damiano non e' medico

  4. Possiamo scrivere così                       MEDICO    TABACCAIO   INGEGNERE    AVVOCATO GIACOMO      non è             non è                  non è                   è GIACOMO FA L’AVVOCATO.                         MEDICO     TABACCAIO   INGEGNERE DAMIANO        non è                  è                      non è DAMIANO FA IL TABACCAIO.                            MEDICO   INGEGNERE GIOVANNI               è               non è GIOVANNI FA IL MEDICO.                                     INGEGNERE MARTINO                              è MARTINO FA L'INGEGNERE.

  5. Oppure così

  6. Proviamo a costruire insieme la soluzione

  7. a)Giovanni ha sposato la sorella dell'ingegnere , che a sua volta ha sposato la sorella del medico b)Giacomo è figlio unico , non si è sposato ed è molto amico del tabaccaio c)Damiano è amico del fratello dell'ingegnere ma non conosce nessuno dei suoi parenti sapresti dire chi è il medico , l'ingegnere , l'avvocato ed il tabaccaio?

  8. Giovanni ha sposato la sorella dell'ingegnere (premi enter per un aiuto) o

  9. Giacomo è figlio unico , non si è sposato ed è molto amico del tabaccaioGiovanni ha sposato la sorella dell'ingegnere , che a sua volta ha sposato la sorella del medico (premi enter per un aiuto) o o o X o o o

  10. Damiano è amico del fratello dell'ingegnere ma non conosce nessuno dei suoi parenti(neanche la moglie dell’ingegnere che è la sorella del medico)(premi enter per un aiuto) o o o X o o o X o o X o o x o

More Related