Linguaggi di Programmazione Cenni di logica proposizionale

Presentazione sul tema: "Linguaggi di Programmazione Cenni di logica proposizionale"— Transcript della presentazione:

1 Linguaggi di Programmazione Cenni di logica proposizionale
FMZ

2 Semplice Teorema di Geometria
B Dato un triangolo isoscele ovvero con AB=BC, si vuole dimostrare che gli angoli BAC e BCA sono uguali. A C FMZ

3 Semplice Teorema: conoscenze pregresse
B Se due triangoli sono uguali, i due triangoli hanno lati ed angoli uguali (A) Se due triangoli hanno due lati e l’angolo sotteso uguali, allora i due triangoli sono uguali (T) A C FMZ

4 Semplice Teorema: Dimostrazione
B BH bisettrice di ABC cioè ABH=HBC (T2) Dimostrazione AB=BC per ipotesi ABH=HBC per T2 Il triangolo HBC è uguale al triangolo ABH per T BAC=BCA per A A H C FMZ

5 Semplice Teorema: Dimostrazione
B Abbiamo trasformato T in Se AB=BC e BH=BH e ABH=HBC, allora il triangolo ABH è uguale al triangolo HBC A in Se triangolo ABH è uguale al triangolo HBC, allora AB=BC e BH=BH e AH=HC e ABH=HBC e AHB=CHB e BAC=BCA A H C FMZ

6 Semplice Teorema: Formalizzazione
B Obbiettivo Razionalizzare il processo che permette affermare: AB=BC BAC=BCA A H C leggiamo “ ” come “è conseguenza logica di” FMZ

7 Semplice Teorema: Formalizzazione
AB=BC BAC=BCA Abbiamo supposto che: S={AB=BC, ABH=HBC, BH=BH} Avevamo conoscenze pregresse: T: AB=BC  BH=BH  ABH=HBC  trABH=trHBC A: trABH=trHBC  AB=BC  BH=BH  AH=HC  ABH=HBC  AHB=CHB  BAC=BCA FMZ

8 Semplice Teorema: Formalizzazione
AB=BC BAC=BCA Abbiamo costruito una catena di formule: P1: AB=BC da S P2: ABH=HBC da S P3: BH=BH da S P4: AB=BC  BH=BH  ABH=HBC da P1,P2,P3 e REGOLA2 P5: trABH=trHBC da P4,T e REGOLA1 P6: AB=BC  BH=BH  AH=HC  ABH=HBC  AHB=CHB  BAC=BCA da P5,A e REGOLA1 P7: BAC=BCA da P6 e REGOLA3 FMZ

9 Processo di dimostrazione
F Una dimostrazione per F è conseguenza di S è una sequenza DIM=P1,P2,…,Pn dove Pn=F PiS oppure Pi è ottenibile da Pi1,…,Pim (con i1<i,.., im<i) applicando una regola di inferenza FMZ

10 Regole di inferenza (Regola1): Modus Ponens (MP)
P  B , P MP B Se piove, la strada è bagnata. Piove. Allora la strada è bagnata. FMZ

11 Regole di inferenza: AND- Introduzione(AI) e AND- Eliminazione(AE)
AND-Introduzione (Regola2) A1,…,An AI A1… An AND-Eliminazione (Regola3) A1… An AE Ai FMZ

12 Calcolo Proposizionale Sistema (d’assiomi) SINTASSI
Ingredienti: Un insieme di simboli L Letterali: A1,…An Connettivi Logici: ,,,,(,) Un sottoinsieme FBF di L* detto delle formule ben formate FMZ

13 Calcolo Proposizionale Sistema (d’assiomi) SINTASSI
Ingredienti: Un insieme ASSIOMIFBF Un insieme R di regole di inferenza Abbiamo a disposizione: Meccanismo della dimostrazione S F FMZ

14 Connettivi Logici SIMBOLO NOT  ~ AND  OR  IMPLIES   IFF  FMZ

15 FBF formule ben formate
I letterali sono formule ben formate Se AFBF e BFBF, allora AFBF ABFBF ABFBF ABFBF FMZ

16 Assiomi (Conoscenze pregresse)
A1: A(BA) A2: (A(BC))((AB)(AC)) A3: (BA)((BA)B) A4: (AA) A5: AA FMZ

17 Esempio Se l’unicorno è mitico, allora è immortale, ma se non è mitico allora è mortale. Se è mortale o immortale, allora è cornuto. L’unicorno è magico se è cornuto. Domande: L’unicorno è mitico? L’unicorno è magico? L’unicorno è cornuto? FMZ

18 Procedimento Esprimere il problema in forma di logica proposizionale
Individuare i teoremi da dimostrare Dimostrare i teoremi FMZ

19 Esempio Se l’(unicorno è mitico), allora l’(unicorno è immortale), ma se non (è mitico) allora (è mortale). Se l’(unicorno è mortale) o l’(unicorno è immortale), allora (unicorno è cornuto). L’(unicorno è magico) se l’(unicorno è cornuto). Letterali: UM = unicorno è mitico UI = unicorno è immortale UMag = unicorno è magico UC = unicorno è cornuto FMZ

20 Esempio Se l’(unicorno è mitico)UM, allora l’(unicorno è immortale)UI, ma se non (è mitico)UM allora (è mortale)UI. Se l’(unicorno è mortale)UI o l’(unicorno è immortale)UI, allora (unicorno è cornuto)UC. L’(unicorno è magico)UMag se l’(unicorno è cornuto)UC. Traduzione: UMUI UMUI UIUIUC UCUMag FMZ

21 Esempio L’unicorno è mitico? L’unicorno è magico?
L’unicorno è cornuto? Traduzione: S = {UMUI, UMUI, UIUIUC, UCUmag} a) S UM b) S UMag c) S UC FMZ

22 Esempio S UC P1: UIUIUC da S P2: UIUI da A4 P3: UC da P1, P2 e MP
FMZ

23 Esempio S UMag P1: UIUIUC da S P2: UIUI da A4
P3: UC da P1, P2 e MP P4: UCUMag da S P5: UMag da P3, P4 e MP Esercizio: DIMOSTRARE a) FMZ

24 Il concetto di Vero e di Falso
Ricapitolando Logica Proposizionale (fin qui vista) Permette di imbrigliare dei ragionamenti in dei simboli Permette di dedurre simboli da altri simboli Che manca? Il concetto di Vero e di Falso FMZ

25 Logica Proposizionale SEMANTICA
Funzione di interpretazione I I: FBF{V,F} che è composizionale ovvero: date A e B in FBF I(A) = I(A) I(AB) = I(A)I(B) I(AB) = I(A)I(B) I(AB) = I(A)I(B) FMZ

26 Logica Proposizionale SEMANTICA
Tavole delle verità dei connettivi logici FMZ

27 Logica Proposizionale SEMANTICA
Scopo del calcolo Assumere Vere le FBF in S e verificare che F sia Vera S F FMZ

28 Esempio  AA A A AA V F FMZ

29 Esempio  A(BA) A B BA A(BA) V F
Esercizio: Provare a costruire la tabella di verità degli altri assiomi. FMZ

30 Tautologie e modelli Una FBF sempre vera indipendentemente dal valore dei letterali viene detta tautologia Un modello di un insieme F di FBF è una particolare interpretazione I che rende vere tutte le formule in F FMZ

31 Osservazione Chi garantisce? S F Semantica Sintassi S F FMZ

32 Ragioniamo sul “ragionare”
Ragionamento=sequenza di passi=calcolo della tabella di verità I passi del ragionamento sono importanti Quando gli schemi dei passi di ragionamento sono corretti? Esaminiamo dei sedicenti ragionamenti ben fondati FMZ

33 Sedicente Ragionamento ben fondato
Premessa: Tutti gli uomini sono mortali Premessa: Socrate è un uomo Deduzione: Socrate è mortale FMZ

34 Sedicente Ragionamento ben fondato
Premessa: Nessun ristorante costa poco Premessa: Alcune pizzerie costano poco Deduzione: Alcuni ristoranti non sono pizzerie FMZ

35 Sedicente Ragionamento ben fondato
Premessa: Il fosforo è implicato attivamente nei processi di memoria Deduzione: Fa bene alla memoria mangiare pesce e prendere ricostituenti ricchi di fosforo FMZ

36 Sedicente Ragionamento ben fondato
Dato l’impennarsi del prezzo alla produzione della carta il prezzo dei libri è destinato a crescere vertiginosamente Dato l’impennarsi del prezzo del barile di petrolio il prezzo della benzina è destinato a crescere vertiginosamente FMZ

37 Sillogismo di Chiappori
L’uomo è un animale politico, quindi un uomo politico è un animale. Persuasione rispetto ragionamento logico: i sedicenti ragionamenti ben fondati lo sono veramente??? FMZ