ax- & D P &Q Q P &Q P P &Q Q&P P &Q C P &Q Q P P &Q (C&Q) P

Transcript

1 6. Calcolo dei sequenti LC p della Logica classica proposizionale ax-id ax- Γ, A, Γ, A, Γ,, Γ Σ, Γ, Θ, Γ, Σ Σ, Γ, Θ, Γ, Σ sc sx Γ A, Γ B, & D Γ A&B, Γ A, B, Γ A B, D Γ, A Γ, B Γ, A B Γ, A ax-tt Γ, tt, Γ Σ,, Θ,, Γ Σ,, Θ,, sc dx Γ, A, B Γ, A&B & S S Γ A, D Γ A, Γ, A S Γ, A B, Γ A B, D Γ A, Γ, B Γ, A B S 1. il sequente è un assioma identità? C, A&(B C), M H&C, A&(B C) 2. la seguente è una derivazione in logica classica proposizionale LC p P &Q Q P &Q P P &Q Q&P? 3. la seguente è una derivazione in logica classica proposizionale LC p P &Q C P &Q Q P P &Q (C&Q) P? 4. Derivare in LC p A&B B&A 5. Derivare in LC p (A&B)&C A&(B&C) 6. Derivare in LC p A&(P C) (P C)&A? È possibile ottenere una derivazione di questo sequente a partire da quella di A&B B&A? Come? 1

2 7. Provare a vedere quali sequenti del tipo pr ottenuti sostituendo pr con le sequenti proposizioni hanno un albero di derivazione: (a) ( (A B) A ) (b) (A B)& A (c) P &Q P R (d) P P (e) P P (f) P & P (g) P Q Q (h) Q (P &Q) C Provando e riprovando a trovare derivazioni per i sequenti sopra riesci a vedere un legame tra il fatto che il sequente pr ha una derivazione e il fatto che pr è una tautologia o un opinione o un paradosso 2

3 7. bis Esercizi di formalizzazione e validità sequenti Formalizzare in seguenti le seguenti asserzioni (secondo i suggerimenti indicati) e mostrare se la proposizione ottenuta è valida tramite derivazione nel calcolo dei sequenti classico. Nel seguito si ricordi che quando si scrive frase 1 frase 2... frase n frase s intende frase 1,frase 2,..., frase n vale frase e stabilire la loro validità derivando il sequente ottenuto in LC p 1. Solo se mi sento stanco rimango a casa. Non rimango a casa se non mi sento stanco. si consiglia di usare: R =rimango a casa S = mi sento stanco 2. Non si dà il caso che l affare sia non sicuro o non sia conveniente. L affare è conveniente e sicuro. A =l affare è conveniente S = l affare è sicuro 3. Non si dà il caso che l affare non sia conveniente o sicuro. L affare non è conveniente nè sicuro. A =l affare è conveniente S =l affare è sicuro 4. Se Mario è scontento non programma bene. Mario è contento solo se programma bene. C=Mario è contento P =Mario programma bene 5. C è un assemblea studentesca o è giorno festivo solo se le lezioni tacciono. Non è giorno festivo e non c è un assemblea studentesca, perció le lezioni non tacciono. L=le lezioni tacciono A=c è un assemblea studentesca F =è giorno festivo 6. Non si dà il caso che il fattoriale termini mentre non si esce dal ciclo. Si esce dal ciclo. Non si dà il caso che si esca dal ciclo solo se il fattoriale non termina. 3

4 F = il fattoriale termina C=si esce dal ciclo 7. Non prendo l ombrello se non piove. Non piove. Non prendo l ombrello. P =piove O=prendo l ombrello 8. Se il tuo vicino di banco non è Napoleone ne segue che lui non canta alla Scala di Milano. Se il tuo vicino di banco canta alla Scala di Milano allora lui è Napoleone. ponendo V = il tuo vicino di banco è Napoleone S= il tuo vicino di banco canta alla Scala di Milano 9. Solo se non dormo la notte la mattina mi alzo stanco. La mattina non mi alzo stanco se non si dà il caso che non dorma la notte. ponendo: D = dormo la notte S = la mattina mi alzo stanco 4

5 Curiosità su implicazione classica MEMO pr VALIDA in logica classica (ovvero è tautologia classica) se vera (ovvero ha valore 1) in TUTTE le righe della sua tabella pr SODDISFACIBILE in logica classica se vera (ovvero ha valore 1) per QUALCHE riga della sua tabella pr NON VALIDA in logica classica se falsa (ovvero ha valore 0) in QUALCHE riga della sua tabella pr INSODDISFACIBILE in logica classica se falsa (ovvero ha valore 0) in TUTTE le righe della sua tabella Test di comprensione: attenzione all implicazione classica! 1. È vero secondo la logica classica che Se passerete l esame di logica al I appello, allora a giugno farete una vacanza alle Hawai, e se a giugno farete una vacanza alle Hawai allora passerete l esame di logica al I appello L= Passerete l esame di logica al I appello R= A giugno farete una vacanza alle Hawai ottenuta è soddisfacibile e su che valori lo è, oppure alternativamente se è insoddisfacibile. 2. È vero secondo la logica classica che Se passerete l esame di logica al I appello, allora a giugno farete una vacanza alle Hawai, oppure se a giugno farete una vacanza alle Hawai allora passerete l esame di logica al I appello L= Passerete l esame di logica al I appello R= A giugno farete una vacanza alle Hawai 5

6 ottenuta è soddisfacibile e su che valori lo è, oppure alternativamente se è insoddisfacibile. 3. È vero secondo la logica classica che Se non si dà il caso che se tu sei a Londra allora sei a Padova, allora sei a Londra e non sei a Padova L= Tu sei a Londra P= Sei Padova ottenuta è soddisfacibile e su che valori lo è, oppure alternativamente se è insoddisfacibile. 4. È vero secondo la logica classica che Se il tuo vicino di banco non è a Londra allora ne segue che se il tuo vicino di banco è a Londra allora il tuo vicino di banco è un acrobata V= il tuo vicino di banco è a Londra A= il tuo vicino di banco è un acrobata ottenuta è soddisfacibile e su che valori lo è, oppure alternativamente se è insoddisfacibile. 6