Parte quinta In questa parte viene illustrato luso delle matrici di conoscenza applicate ad un problema di logica Parte primaParte prima - Parte seconda.

Presentazione sul tema: "Parte quinta In questa parte viene illustrato luso delle matrici di conoscenza applicate ad un problema di logica Parte primaParte prima - Parte seconda."— Transcript della presentazione:

1 Parte quinta In questa parte viene illustrato luso delle matrici di conoscenza applicate ad un problema di logica Parte primaParte prima - Parte seconda - Parte terza - Parte quartaParte 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 MEDICO TABACCAIO INGEGNERE AVVOCATO GIACOMO non è non è non è è GIACOMO FA LAVVOCATO. MEDICO TABACCAIO INGEGNERE DAMIANO non è è non è DAMIANO FA IL TABACCAIO. MEDICO INGEGNERE GIOVANNI è non è GIOVANNI FA IL MEDICO. INGEGNERE MARTINO è MARTINO FA L'INGEGNERE. Possiamo scrivere così

5 Oppure così MedicoTabaccaioIngegnereAvvocato Giacomo OOOX Damiano OXOO Giovanni XOOO Martino OOXO

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 medicotabaccaioingegnereavvocato Giacomo Damiano Giovanni Martino o (premi enter per un aiuto)

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

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