La logica

1. La logica Scienza del ragionamento corretto A cura del Prof. Fabio Santagata

2. 384-322 a.c. Aristotele • 1815-1864 George Boole CENNO STORICO

3. Lo scopo della logica, fin dai tempi di Aristotele, è quello di descrivere il ragionamento • La logica proposizionale è un modello matematico che ci consente di ragionare sulla verità e sulla falsità di espressioni logiche Logica proposizionale

4. Linguaggio Naturale • Ricco di connettivi, scopo rendere la proposizione più espressiva , problema dubbia interpretazione • Si considerano solo proposizioni che presentano un nesso tra le componenti • A volte due negazioni negano: «Non c’è nessuno!»…"Non c'è alcuno" suona proprio male, oltretutto! Linguaggio Logico • Numero di connettivi limitati • Nesso non necessario (es: Paolo è svenuto e corre) • Due negazioni affermano sempre Differenza tra linguaggio naturale (LN) e linguaggio logico (LL)

5. Linguaggio naturale Linguaggio logico • Una frase contenente un verbo Es: State zitti! Esci stasera? Domani pioverà Alessia è simpatica 4 è un numero pari • Si chiama proposizione (o enunciato) ogni affermazione della quale si possa dire, oggettivamente e con certezza, che è vera o falsa Definizione di Proposizione

6. Sono proposizioni: • Roma è la capitale d’Italia • Bari è una città dell’Inghilterra • Non sono proposizioni • I dipinti di Picasso sono belli • Forse oggi verrò a farti visita Esempi

7. Il triangolo ha 4 lati • Questo libro è interessante • Vai al mare domenica? • Omero è autore dell’Iliade • Attento: il semaforo è rosso! • I Longobardi ebbero come re Alboino • Il triplo di 5 è 16 Prova tu….individua le proposizioni logiche

8. Le proposizioni semplici possono essere composte tra loro tramite connettivi logici in modo da formare delle espressioni più complesse, dette proposizioni composte, il cui valore di verità può essere univocamente determinato a partire da quelli delle proposizioni che le compongono Proposizioni atomiche (semplici) e proposizioni composte

9. PROPOSIZIONI SEMPLICI - Oggi c’è il sole - vado a scuola in bici • PROPOSIZIONI COMPOSTE - oggi c’è il sole e vado a scuola in bici Tipi di proposizioni logiche

10. «e», «o», «non», «se…..allora», «se e solo se» sono connettivi logici: • Se studi allora sarai promosso • Roma è la capitale d’Italia e Bari è una città italiana • Una figura è un quadrilatero se e solo se ha quattro lati Connettivi logici

11. Connettivi logici

12. Per affrontare lo studio dei connettivi più in generale, possiamo sostituire le proposizioni con delle variabili proposizionali, che corrispondono a qualunque proposizione abbia un valore di verità. Esse acquistano, di volta in volta, il valore di verità dell’oggetto al quale esse sono associate. • Allo stesso modo, invece di utilizzare «Vero» e «Falso» come valori di verità, utilizzeremo «1» e «0» Variabili proposizionali

13. PROPOSIZIONI SEMPLICI p: Oggi c’è il sole q: vado a scuola in bici • PROPOSIZIONI COMPOSTE p Λ q:oggi c’è il sole e vado a scuola in bici «p Λ q =1»significa che è vero che oggi c’è il sole ed è vero che vado a scuola in bici Variabili proposizionali

14. p: 9 è un numero dispari q :9 è multiplo di tre r=pΛq: 9 è un numero dispari e 9 è multiplo di 3 LA CONGIUNZIONE di due proposizioni è vera se e solo se sono entrambe vere R è vera perché è vero sia che 9 è dispari e sia che 9 è un multiplo di 3 Connettivi logici Congiunzione «Λ»(and/et)

15. p: Roma è la capitale d’Italia q: Bari è una città dell’Inghilterra r=pΛq: Roma è la capitale d’Italia e Bari è una città dell’Inghilterra R è palesemente falsa, in quanto una sola delle due proposizioni semplice è vera Connettivi logici Congiunzione «Λ»(and/et)

16. Per verificare, al variare dei valori di verità delle proposizioni semplici, come varia il valore di verità delle proposizioni composte, si usano la tabella di verità: - le prime colonne hanno come intestazione le proposizioni atomiche e come valori tutte le possibili combinazioni dei valori di verità. - l’ultima colonna ha come intestazione la proposizione composta e contiene i valori di verità che derivano dalle differenti combinazioni Tabelle di verità

17. Esempio: • p: il libro è giallo • q: il quaderno è rosso • r=pΛq: il libro è giallo e il quaderno è rosso Esempio con Tabelle di verità

18. Esempio: • p: il libro è giallo • q: il quaderno è rosso • r=pΛq: il libro è giallo e il quaderno è rosso …. e con variabili proposizionali

19. p: La Sicilia è un’isola p :La Sicilia non è un’isola cambia il valore di verità della proposizione Connettivi logici Negazione

20. Date le seguenti proposizioni, utilizzando la congiunzione e la negazione…. • a: 11 è un numero pari b: il quadrato ha 4 lati ….traduci in simboli: «11 non è un numero pari e il quadrato ha quattro lati» Prova tu…

21. Disgiunzione • a: Mangio il dolce o la frutta • b: Paolo va a scuola o a piedi o in bici • Se mangio solo il dolce, la proposizione a è vera, anche se mangio solo la frutta la proposizione è vera, ma anche se mangio entrambi la proposizione è vera….invece….Paolo non può andare contemporaneamente a scuola sia a piedi che in bici! Qual è la differenza nei dei due precedenti esempi nell’uso del connettivo o? Riflettiamo….

22. In italiano «o» è un connettivo ambiguo: infatti vi sono frasi come «Questo modello di maglietta è in commercio in tinta blu o in tinta rossa» ovviamente se compro una maglietta di quel modello o è di colore blu o è di colore rosso! Connettivi logiciDisgiunzione inclusiva (OR/vel)Disgiunzione esclusiva (XOR/aut)

23. Invece la frase: «portami delle pere o delle mele» è soddisfatta in 3 casi: sia quando vengono portate delle mele, sia quando vengono portate delle pere ed anche quando vengono portate entrambe. La parola «o» può avere quindi due distinti significati! Connettivi logiciDisgiunzione inclusiva (OR/vel)Disgiunzione esclusiva (XOR/aut)

24. Or inclusivo (“OR” , illatino “vel”): unaproposizione non escludel’altra Or esclusivo (“XOR” da “exclusive OR”, in latino “aut”) Connettivi logiciDisgiunzione inclusiva (OR/vel)Disgiunzione esclusiva (XOR/aut)

25. Tabella di verità:Disgiunzioni.

26. Un numero è pari o dispari • Il cane corre o abbaia • Questa sera leggo o dormo • Mangio il dolce o la frutta • Mangio o il dolce o la frutta Prova tu…. riscrivi in linguaggio simbolico utilizzando i connettivi più appropriati

27. Uno dei crucci più grandi di Lewis Carroll era quello di raccontare nel modo più semplice possibile la logica ai suoi giovani lettori. L'interesse verso i paradossi della logica era sempre ampio e sfociò nella pubblicazione del tomo Logica Simbolica e nella proposizione de Il gioco della logica, una sorta di gioco da tavolo su uno schema quadrato sviluppato a partire dal sistema proposto nel 1761 dal grande LeonhardEuler. Nelle intenzioni di Carroll, il gioco doveva essere fruibile dai bambini della scuola materna, ma nei fatti risultò molto più complesso e all'epoca (e forse anche oggi) poco utile per la diffusione della logica tra i giovani. L'idea era quella di utilizzare, attraverso alcune regole di base, uno schema nel quale realizzare la tavola della verità di una data affermazione. LewissCarrol e il gioco delle torte

28. «il gioco delle torte logiche» è un gioco estremamente più semplice dove il tavolo di gioco è dato da un quadrato diviso in quattro settori (la sola dispensa più piccola del gioco di Carroll), vi è un solo tipo di gettone e si considera come insieme universo solo quello delle torte. Inoltre esprimiamo solo proposizioni atomiche o composte da due o tre proposizioni atomiche. Il gioco prevede due giocatori che si alternano in due ruoli: il primo propone una proposizione rappresentabile nella tavola di gioco, il secondo deve rappresentarla nella tavola. Frasi rappresentabili sono, ad esempio, “le torte fresche sono salate” (basta porre un gettone nel settore superiore a destra) e “le torte stagionate sono salate o dolci” (basta porre un gettone nella parte inferiore sulla linea che divide il settore destro da quello sinistro). I materiali previsti per questo gioco sono: le tavole, i gettoni e dei manualetti d'istruzione. LewissCarrol e il gioco delle torte

29. Rappresenta le proposizioni: • Le torte fresche sono salate • Le torte stagionate sono salate o dolci • Le torte sono dolci e fresche • Le torte sono stagionate o dolci • Le torte sono stagionate e non dolci • Le torte non sono né dolci e né salate • Le torte o sono stagionate e dolci oppure non sono non dolci e sono non fresche (che caratteristiche hanno le proposizioni contenute?) LewissCarrol e il gioco delle torte

30. Si dice «enunciato aperto p ad una variabile x» o «predicato» un’espressione logica in cui occorre una variabile x, il cui valore appartiene ad un insieme U detto universo. Si indica con p(x) • Ad esempio: il predicato p(x) = «x è un multiplo di 4» è una proposizione che potrà assumere valori di vero o falso a seconda del valore che assume x. L’universo U è rappresentato dai numeri naturali U=N Concetto di enunciato aperto ad una variabile: i predicati

31. ESEMPIO: • p(x): x è in Italia • U = {Napoli, Roma, Londra, Parigi} • Se x= Napoli p(x) è vera • Se x= Roma p(x) è vera • Se x=Londra p(x) è falsa • Se x=Parigi p(x) è falsa Concetto di enunciato aperto ad una variabile: i predicati

32. p: x è un multiplo di 4 q: x è divisibile per 2 U: insieme dei numeri naturali (N) p q: se x è un multiplo di 4 allora x è divisibile per 2 Connettivi logici Implicazione

33. Il professore promette a Paolo “ se studi tutte le materie allora sarai promosso” 1) il prof ha detto il vero 2) il prof non ha detto il vero 3) Non è in contrasto con la promessa, Paolo è stato promosso pur non avendo studiato tutte le materie 4) Il prof ha detto il vero, Paolo non ha studiato e non è quindi stato promosso Prova tu ….

34. p: la Sicilia è un’isola q : la Sicilia è circondata dal mare p q: la Sicilia è un’isola se e solo se è circondata dal mare Connettivi logici Doppia implicazione

35. Vero o falso? «1+1 = 3  se e solo se Alessandro Manzoni ha scritto la Divina Commedia» Connettivi logici Doppia implicazione

36. Vero o falso? «1+1 = 3  se e solo se Alessandro Manzoni ha scritto la Divina Commedia» Connettivi logici Doppia implicazione

37. Vero o falso? «La figura è un rombo se e solo se ha quattro lati» «Un numero è divisibile per 10 se e solo se termina per 0» Connettivi logici Doppia implicazione

38. Tautologie E’ una proposizione composta che è sempre vera, per qualunque valore delle proposizioni componenti Es: Un numero naturale è pari o dispari Una linea è una retta oppure non lo è A pallavolo si vince o si perde Contraddizioni E’ una proposizione composta che è sempre falsa per qualunque valore delle proposizioni componenti Es: Dormo e sono sveglio La circonferenza è una linea retta e curva 2 è un numero pari o non lo è Tautologie e Contraddizioni

39. Tautologie p v p è semprevera “Questa scuola o è un liceo o non è un liceo” Esempio con i predicati:I quadrilateri con un angolo di x gradihannoquattrolati! L’universosono i numeri da 0 a 360 Contraddizioni p Λ p è semprefalsa “Questa scuola è un liceoe non è un liceo” Esempiocon i predicati:I quadrilateri con un angolodi x gradihannotrelati! L’universosono i numeri da 0 a 360 Tautologie e Contraddizioni

40. Il commissario Marmaduke rilesse ancora una volta la lettera che aveva ricevuto dagli amici: “Caro amico Marmaduke, abbiamo assolutamente bisogno del suo aiuto. Ci raggiunga presto in Transilvania al castello del conte Dracula. Firmato: Lord Black e sir Peabody”. La carrozza si fermò in vista del castello. La luna cominciava a nascondersi dietro una delle torri, e anche controluce, la malformata fortezza appariva diabolica. I cavalli erano nervosi e manifestarono il loro malcontento all'improvvisa fermata. Fu all'ululare dei lupi che Marmaduke ricordò le storie che i contadini gli avevano raccontato sul castello di Dracula. L'uomo a cassetta lo fece scendere e prima di prendere commiato disse con fare misterioso: “se deve proprio andare, Signore, ricordi bene quanto le dico. - O sir Peabody o Lord Black, ma non entrambi, sono vampiri. - Se Dracula è vivo allora sir Peabody è un vampiro. - Dracula è vivo o Lord Black è un vampiro. - Se Lord Black è un vampiro allora Dracula è vivo. Ricordi bene, Signore”. Applichiamo quanto studiato!Aiutiamo il commissario Marmaduke

41. Poi parti come se avesse avuto il diavolo dietro. In un attimo era sparito. Marmaduke pensò che le parole avevano un preciso significato. S'incamminò. Sembrava che nessuno si fosse preso cura del castello per anni. Aprì la porta. C'erano pipistrelli in giro ! Era troppo meravigliato per aver paura... per il momento. Nella tremula luce di una candela, trattenne il fiato quando vide avanzare l'amico ed udì una voce familiare. Per un attimo temette di aver di fronte a sé il conte o sir Peabody; fu ben felice di riconoscere la voce di Lord Black. Ripensando alle parole del cocchiere aveva fatto un semplice calcolo e sapeva con certezza che: Dracula era vivo, sir Peabody era un vampiro mentre Lord Black non lo era. Con gioia riabbraccio l'amico e ... come finisce la storia ? Aveva ragione Marmaduke a non aver paura di Lord Black ? Applichiamo quanto studiato!Aiutiamo il commissario Marmaduke

42. P = Peabody è un vampiro B = Lord Black è un vampiro D = Dracula è vivo Sappiamo con certezza che le affermazioni del cocchiere sono tutte vere. Dobbiamo quindi escludere tutte le combinazioni dove le proposizioni composte hanno valore 0. Applichiamo quanto studiato!Aiutiamo il commissario Marmaduke

43. P = Peabody è un vampiro B = Lord Black è un vampiro D = Dracula è vivo Le combinazioni possibili sono contornate di rosso. Se B fosse vero(1), allora D sarebbe vero(4), ma se D è vero allora anche P è vera(2). Ma è impossibile che siano entrambi vampiri (1)! Dunque B è falso. Se P fosse vera(1), allora B sarebbe falsa (1), ma se B è falsa allora D deve necessariamente essere vera (3) Peabody è un vampiro e Dracula è vivo! Applichiamo quanto studiato!Aiutiamo il commissario Marmaduke

44. A Londra il famoso investigatore Sir Holmes è alle prese con un crimine efferato: un uomo è stato ucciso nella sua camera da letto! Holmes dopo un attento esame della salma e della stanza espone le sue deduzioni al fedele Watson: - L’assassino è Moriarty o Jack lo Squartatore ma non possono aver commesso il delitto insieme - se la finestra della camera è aperta allora vi è stato un furto - se è stato effettuato un furto allora Moriarty è l’assassino - se Jack è l’assassino allora la finestra della camera è aperta. Soddisfa le seguenti richieste: • Traduci in linguaggio simbolico ogni singola deduzione di Holmes • Holmes ha già capito chi è il colpevole. Mostra di non essere da meno! Proviamo ancora? Sir Holmes e l’assassino!

45. Un proposizione composta, per avere un significato, deve essere composta correttamente, cioè secondo alcune regole. In questo caso si parla di FBF «formule ben formate». “->p ΛV p q VV -> Λ p” non è una FBF!!! Comporre proposizioni ben fatte (FBF)

46. Le proposizioni: 1. possono essere delle lettere. Es: p,q,r, etc…. 2. possono essere tautologie e contraddizioni: V o F 3. possono essere delle espressioni aperte: p(x), q(x) 4. possono essere oggetti indicati nei punti 1,2,3 e congiunti dai connettivi logici. ES: (p V q) 5. possono essere oggetti indicati nei punti 1,2,3 e negati: ES: p 6. possono essere oggetti descritti in tutti i precedenti punti a cui applico le regole 5 e 6 ES: ((qΛ p)V p)Λ r(x) x Comporre proposizioni ben fatte (FBF)

47. Due formule logiche sono equivalenti quando hanno lo stesso valore di verità per la stessa combinazione di valori di verità per le proposizioni atomiche che le compongono. • Ad esempio le seguenti formule sono equivalenti: • (qΛ p) e (q V p) Proviamolo costruendo la tabella di verità! Equivalenza tra formule logiche

48. Per le espressioni logiche valgono alcune proprietà: 1. Proprietà commutativa dell’and «Λ» • pΛ q = q Λ p 2. Proprietà commutativa dell’or «V» • pV q = q V p 3. Proprietà associativa dell’and «Λ» • (pΛq) Λ r = pΛ(q Λr) 4. Proprietà associativa dell’or «V» • (pV q) V r = pV (q V r) 5. Proprietà distributiva tra and «Λ» e or «V» • pV (q Λ r) = (p V q) Λ (p V r) * • p Λ (q V r) = (p Λ q) V (p Λ r) Leggi e proprietà

49. 6. Leggi di idempotenza • pV p = p * • p Λ p = p * 7. Leggi di assorbimento • pV (p Λ q) = p * • p Λ(p Vq) = p * 8. Doppia negazione • p = p 9. Leggi di De Morgan • (p Vq) = p Λ q • (p Λq) = p V q 10. Tautologia e contraddizione • p Vp = V • p Λ p = F Leggi e proprietà

50. Esperienza di laboratorio: La logica applicata al Web, i motori di ricerca. • Sapete cos’è un motore di ricerca? È un sito attraverso il quale trovare altri siti, semplicemente digitando delle «keyword» cioè delle parole chiave attinenti all’oggetto della vostra ricerca. • Quali motori di ricerca conoscete? Sicuramente google! Ma ne esistono tanti altri come altavista, bing, yahoo!, virgilioetc… • Riuscite sempre a trovare ciò che cercate? • Avete mai pensato a come poter scrivere in modo più preciso i termini di ricerca? • Spesso la ricerca standard di google non basta!