DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una...
Transcript of DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una...
![Page 1: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/1.jpg)
DIMOSTRAZIONI DI TAUTOLOGIE
Corso di Logica per la ProgrammazioneA.A. 2010/11Andrea Corradini, Paolo Mancarella
![Page 2: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/2.jpg)
DIMOSTRAZIONE DI TAUTOLOGIE
Abbiamo detto che: Per dimostrare che p è una tautologia possiamo:
Usare le tabelle di verità Del tutto meccanico, richiede di considerare 2n casi, dove n è il numero
di variabili proposizionali in p Cercare di costruire una dimostrazione
Usando delle leggi (tautologie già dimostrate) Usando opportune regole di inferenza Si possono impostare vari tipi di dimostrazioni
Mostrare che non è una tautologia individuando valori delle variabili proposizionali che rendono falsa p
Ma come è strutturata una dimostrazione?
![Page 3: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/3.jpg)
DIMOSTRAZIONI: COMINCIAMO DALL’ARITMETICA Mostriamo che (a+b)(a-b) = a2-b2
(a + b)(a - b)= {distributività della moltiplicazione rispetto all’addizione, ovvero, in
formule, (y+z)x = yx+zx applicata con a al posto di y, b al posto di z e (a-b) al posto di x}a(a - b) + b(a - b)
= {distributività della moltiplicazione rispetto alla sottrazione, due volte, ovvero, in formule, x(y-z) = xy-xz applicata la prima volta con x=a, y=a, z=b e la seconda con x=b, y=a, z=b}(aa - ab) + (ba - bb)
= { xx=x2, e associatività dell’addizione } a2 - ab + ba – b2
= { commutatività della moltiplicazione, e -x+x=0 }a2 + 0 - b2
= { x + 0 = x }a2 - b2
![Page 4: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/4.jpg)
STRUTTURA DI UNA SEMPLICE DIMOSTRAZIONE Nella dimostrazione vista abbiamo
una sequenza di eguaglianzees: a2 + 0 - b2 = a2 - b2
ogni eguaglianza ha come giustificazione una o più leggi (dell’aritmetica)es: { x + 0 = x }
La correttezza di ogni eguaglianza è basata su una regola di inferenza: il principio di sostituzione. Informalmente:
“Sostituendo eguali con eguali il valore non cambia” es: dalla legge sappiamo che a2 + 0 = a2 sostituendo a2 + 0 con a2 in a2 + 0 - b2 otteniamo a2 - b2
![Page 5: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/5.jpg)
IL PRINCIPIO DI SOSTITUZIONE Esprime una proprietà fondamentale dell’eguaglianza. Nel Calcolo Proposizionale esprime una proprietà
dell’equivalenza.
“Se p = q allora il valore di una espressione r in cui compare p non cambia se p è sostituito con q”
In formule, r = r[q/p] o
Qui p = q è una legge, e r = r[q/p] è l’eguaglianza da essa giustificata, grazie al principio di sostituzione
qpr r=
![Page 6: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/6.jpg)
LEGGI DEL CALCOLO PROPOSIZIONALE Una legge è una tautologia.
Di solito una tautologia viene chiamata “legge” quando descrive una proprietà di uno o più connetttivi logici, o quando è usata come giustificazione nelle dimostrazioni.
Per ogni legge che introduciamo, bisognerebbe verificare che sia una tautologiaa volte è ovvioa volte lo mostreremo con tabelle di veritàa volte presenteremo una dimostrazione in cui usiamo
solo leggi introdotte in precedenzaspesso lo lasceremo come esercizio...
![Page 7: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/7.jpg)
LEGGI PER L’EQUIVALENZA ( ≡ )
p ≡ p (Riflessività) (p ≡ q) ≡ (q ≡ p) (Simmetria) ((p ≡ q) ≡ r) ≡ (p ≡ (q ≡ r)) (Associatività) (p ≡ T) ≡ p (Unità)
Esempio di dimostrazione:
(Unità) p T p ≡ T (p ≡ T) ≡ p
T T T TF T F T
![Page 8: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/8.jpg)
LEGGI PER L’EQUIVALENZA ( ≡ )
((p ≡ q) ∧ (q ≡ r)) ⇒ (p ≡ r) (Transitività) Dimostrazione:
p q r p ≡ q q ≡ r (p ≡ q) ∧ (q ≡ r)
p ≡ r ((p ≡ q) ∧ (q ≡ r)) ⇒ (p ≡ r)
T T T T T T T TT T F T F F F TT F T F F F T TT F F F T F F TF T T F T F F TF T F F F F T TF F T T F F F TF F F T T T T T
![Page 9: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/9.jpg)
LEGGI PER CONGIUNZIONE E DISGIUNZIONE
p ∨ q ≡ q ∨ p (Commutatività)p ∧ q ≡ q ∧ pp ∨ (q ∨ r) ≡ (p ∨ q) ∨ r (Associatività)p ∧ (q ∧ r) ≡ (p ∧ q) ∧ rp ∨ p ≡ p (Idempotenza)p ∧ p ≡ pp ∧ T ≡ p (Unità)p ∨ F ≡ pp ∧ F ≡ F (Zero)p ∨ T ≡ Tp ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) (Distributività)p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) Esercizio: dimostrare alcune leggi con tabelle di verità
![Page 10: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/10.jpg)
DIMOSTRAZIONI DI EQUIVALENZE TAUTOLOGICHE Come per equazioni algebriche si può provare P1 ≡ Pn così:
P1
≡ {giustificazione1}P2
........≡ {giustificazionen-1}
Pn
dove ogni passo ha la forma R
≡ { P ≡ Q }R[Q/P]
Ogni passo è corretto per il Principio di Sostituzione
![Page 11: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/11.jpg)
UNA SEMPLICE DIMOSTRAZIONE Teorema: p ∨ (q ∨ r) ≡ (p ∨ q) ∨ (p ∨ r)
(p ∨ q) ∨ (p ∨ r)≡ { p ∨ q ≡ q ∨ p (Commutatività)}
(q ∨ p) ∨ (p ∨ r)≡ {Associatività}
q ∨ (p ∨ (p ∨ r))≡ {Associatività}
q ∨ ((p ∨ p) ∨ r)≡ {Idempotenza}
q ∨ (p ∨ r)≡ {Associatività}
(q ∨ p) ∨ r≡ {Commutavità}
(p ∨ q) ∨ r≡ {Associatività}
p ∨ (q ∨ r)
![Page 12: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/12.jpg)
COMMENTI La dimostrazione fatta usando le leggi garantisce la
correttezza della dimostrazione grazie al Principio di Sostituzione
Naturalmente la tecnica non automatizza le dimostrazioni. Rimane a carico nostro la scelta delle leggi da usare, da quale membro della equivalenza partire, l’organizzazione della sequenza dei passaggi
Nel seguito semplificheremo le dimostrazioni, saltando passi ovvi come l’applicazione di Associatività, Commutatività e Idempotenza
![Page 13: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/13.jpg)
LEGGI DELLA NEGAZIONE
~(~ p) ≡ p (Doppia negazione)p ∨ ~p ≡ T (Terzo escluso)p ∧ ~p ≡ F (Contraddizione)~(p ∧ q) ≡ ~p ∨ ~q (De Morgan)~(p ∨ q) ≡ ~p ∧ ~q~T ≡ F (T:F)~F ≡ T (F:T)
Esercizio: dimostrare alcune leggi con tabelle di verità
![Page 14: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/14.jpg)
LEGGI DELL’IMPLICAZIONE (p ⇒ q) ≡ (~p ∨ q) (elim- ⇒)
(p ≡ q) ≡ (p ⇒ q) ∧ (q ⇒ p) (elim- ≡ ) (p ⇐ q) ≡ (q ⇒ p) (elim-⇐)
p q p ⇒ q ~p ~p ∨ qT T T F TT F F F FF T T T TF F T T T
![Page 15: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/15.jpg)
COMMENTI Si può mostrare che tutte le tautologie del Calcolo
Proposizionale sono dimostrabili a partire dall’insieme delle leggi visto sinora
Conviene comunque, per motivi di espressività e compattezza delle definizioni, introdurre altre leggi che corrispondono, per esempio, ad assodate tecniche di dimostrazione.
![Page 16: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/16.jpg)
TORNIAMO ALL’ESEMPIO DAL TEST Premesse:
Se Corrado va al cinema, allora ci va anche Antonio; ( C ⇒ A ) Condizione necessaria perché Antonio vada al cinema è che ci
vada Bruno. ( A ⇒ B ) Il giorno successivo possiamo affermare con certezza che:
Se Corrado è andato al cinema, allora ci è andato anche Bruno ( C ⇒ B )
Nessuno dei tre amici è andato al cinema ( ~A ∧ ~B ∧ ~C )
Se Bruno è andato al cinema, allora ci è andato anche Corrado ( B ⇒ C )
Se Corrado non è andato al cinema, allora non ci è andato nemmeno Bruno ( ~C ⇒ ~B )
![Page 17: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/17.jpg)
COME POSSIAMO ESSERE CERTI DELLA RISPOSTA? Basta determinare quale delle seguenti formule è una
tautologia:
1) ( (C ⇒ A) ∧ (A ⇒ B) ) ⇒ ( C ⇒ B )2) ( (C ⇒ A) ∧ (A ⇒ B) ) ⇒ ( ~A ∧ ~B ∧ ~C )3) ( (C ⇒ A) ∧ (A ⇒ B) ) ⇒ ( B ⇒ C )4) ( (C ⇒ A) ∧ (A ⇒ B) ) ⇒ ( ~ C ⇒ ~B )
Si possono verificare con tabelle di verità o dimostrazioni, usando le leggi viste.
Mostreremo che (1) è una tautologia Esercizio: mostrare che (2), (3) e (4) non sono tautologie
![Page 18: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/18.jpg)
DIMOSTRIAMO CHE (1) E’ UNA TAUTOLOGIA (omettiamo le giustificazioni)
( (C ⇒ A) ∧ (A ⇒ B) ) ⇒ ( C ⇒ B )
≡ ~ ( (C ⇒ A) ∧ (A ⇒ B) ) ∨ ( C ⇒ B )
≡ ~ ( (C ⇒ A) ∧ (A ⇒ B) ) ∨ ( ~ C ∨ B )
≡ (~ (C ⇒ A) ∨ ~ (A ⇒ B) ) ∨ ( ~ C ∨ B )
≡ (~ (~ C ∨ A) ∨ ~ ( ~ A ∨ B) ) ∨ ( ~ C ∨ B )
≡ ((C ∧ ~ A) ∨ (A ∧ ~ B) ) ∨ ( ~ C ∨ B )
≡ ((C ∧ ~ A) ∨ ~ C) ∨ ((A ∧ ~ B) ∨ B )
≡ ((C ∨ ~ C) ∧ (~ A ∨ ~ C)) ∨ ((A ∨ B) ∧ (~ B ∨ B ))
≡ (T ∧ (~ A ∨ ~ C)) ∨ ((A ∨ B) ∧ T)
≡ (~ A ∨ ~ C) ∨ (A ∨ B)
≡ (T ∨ ~ C ∨ B)
≡ T
![Page 19: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/19.jpg)
TRANSITIVITA’ DELL’IMPLICAZIONE:DIMOSTRAZIONE CON TABELLE DI VERITA’
p q r p ⇒ q q ⇒ r (p ⇒ q) ∧ (q ⇒ r)
p ⇒ r ((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r)
T T T T T T T TT T F T F F F TT F T F T F T TT F F F T F F TF T T T T T T TF T F T F F T TF F T T T T T TF F F T T T T T
![Page 20: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/20.jpg)
LEGGI DI ASSORBIMENTO (1) p ∧ (p ∨ q) ≡ p (Assorbimento) p ∨ (p ∧ q) ≡ p
Prova (semantica) di p ∧ (p ∨ q) ≡ pp q p ∨ q p ∧ (p ∨ q)T T T TT F T TF T T FF F F F
![Page 21: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/21.jpg)
LEGGI DI ASSORBIMENTO (2) p ∧ (p ∨ q) ≡ p (Assorbimento) p ∨ (p ∧ q) ≡ p
Prova (calcolo) di p ∧(p ∨ q) ≡ p p ∧ (p ∨ q) ≡ {Unità}
(p ∨ F) ∧ (p ∨ q)≡ {Distributività}
p ∨ (F ∧ q)≡ {Zero}
p ∨ F≡ {Unità}
p
![Page 22: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/22.jpg)
LEGGI DEL COMPLEMENTO (1) p ∨ (~p ∧ q) ≡ p ∨ q (Complemento) p ∧ (~p ∨ q) ≡ p ∧ q
Prova (semantica) di p ∨ (~p ∧ q) ≡ p ∨ q
p q ~p p ∨ q ~p ∧ q p ∨ (~p ∧ q)T T F T F TT F F T F TF T T T T TF F T F F F
![Page 23: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/23.jpg)
LEGGI DEL COMPLEMENTO (2) p ∨ (~p ∧ q) ≡ p ∨ q (Complemento) p ∧ (~p ∨ q) ≡ p ∧ q
Prova (calcolo) di p ∨ (~p ∧ q) ≡ p ∨ qp ∨ (~p ∧ q)
≡ {Distributività}(p ∨ ~p) ∧ (p ∨ q)
≡ {Terzo escluso}T ∧ (p ∨ q)
≡ {Unità}(p ∨ q)
![Page 24: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/24.jpg)
INSIEMI FUNZIONALMENTE COMPLETI DI CONNETTIVI LOGICI
Abbiamo introdotto 6 connettivi logici:not ~ p negazioneand p ∧ q congiunzioneor p ∨ q disgiunzionese p allora q p ⇒ q implicazionep se e solo se q p ≡ q equivalenzap se q p ⇐ q conseguenza
Alcuni possono essere definiti in termini di altri. Molti sottoinsiemi sono “funzionalmente completi”, cioè
permettono di derivare tutti gli altri. Esercizio: Mostrare che {∧, ~}, {∨, ~} e {⇒, ~} sono
funzionalmente completi
![Page 25: DIMOSTRAZIONI DI TAUTOLOGIEandrea/Didattica/LPP-A-10/Logica_2010_3.pdf · Una legge è una tautologia. Di solito una tautologia viene chiamata “legge” quando descrive una proprietà](https://reader035.fdocument.pub/reader035/viewer/2022071404/60f909e87c11b83d9038c7c5/html5/thumbnails/25.jpg)
IL CONNETTIVO “NAND”
Si consideri il connettivo proposizionale binario nand la cui semantica è definita dalla seguente tabella di verità:
Si provi che l’insieme { nand } è funzionalmente completo.
p q p nand qT T FT F TF T TF F T