6. Calcolo dei sequenti LCp della Logica classica proposizionale ax
annuncio pubblicitario
6. Calcolo dei sequenti LCp della Logica classica proposizionale ax-id Γ, A, Γ0 ` ∆, A, ∆0 ax-⊥ Γ, ⊥, Γ0 ` ∇ ax-tt Γ ` ∇, tt, ∇0 Σ, Γ, Θ, Γ0 , ∆ ` Σ0 Γ ` Σ, ∆, Θ, ∆0 , ∇ sc scdx sx Σ, Γ0 , Θ, Γ, ∆ ` Σ0 Γ ` Σ, ∆0 , Θ, ∆, ∇ Γ ` A, ∆ Γ ` B, ∆ Γ, A, B ` ∆ &−D &−S Γ ` A&B, ∆ Γ, A&B ` ∆ Γ, A ` ∆ Γ, B ` ∆ Γ ` A, B, ∆ ∨−D ∨−S Γ ` A ∨ B, ∆ Γ, A ∨ B ` ∆ Γ ` A, ∆ Γ, A ` ∆ ¬−D ¬−S Γ ` ¬A, ∆ Γ, ¬A ` ∆ Γ, A ` B, ∆ Γ ` A, ∆ Γ, B ` ∆ → −D → −S Γ ` A → B, ∆ Γ, A → B ` ∆ 1. il sequente C, A&(B → C), M ` H&C, A&(B → C) è un assioma identità? 2. la seguente è una derivazione in logica classica proposizionale LCp P &Q`Q P &Q`P P &Q`Q&P ??? 3. la scrittura sotto è un pezzo di albero costruito con un’istanza di una regola del calcolo LCp P &Q`C P &Q`Q ∨ P P &Q`(C&Q)∨P ??? 4. Derivare in LCp A&B ` B&A 5. Derivare in LCp (A&B)&C`A&(B&C) 6. Derivare in LCp A&(P → C) ` (P → C)&A ? È possibile ottenere una derivazione di questo sequente a partire da quella di A&B ` B&A? Come? 1 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 6. 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 frase1 frase2 .... frasen frase s’intende ‘’frase1 ,frase2 , ..., frasen ` frase” e stabilire la loro validità derivando il sequente ottenuto in LCp 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 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 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” ?? Formalizzare ponendo L= “Passerete l’esame di logica al I appello” R= “A giugno farete una vacanza alle Hawai” e mostrare se la proposizione ottenuta è tautologia classica. In caso di non validità specificare per quali valori delle variabili proposizionali la proposizione è falsa (ovvero su quale riga della tabella di verità la proposizione è falsa) e poi se la proposizione 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” ?? Formalizzare ponendo L= “Passerete l’esame di logica al I appello” R= “A giugno farete una vacanza alle Hawai” e mostrare se la proposizione ottenuta è tautologia classica. In caso di non validità specificare per quali valori delle variabili proposizionali la proposizione è falsa (ovvero su quale riga della tabella di verità la proposizione è falsa) e poi se la proposizione 5 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” ?? Formalizzare ponendo L= “Tu sei a Londra” P= “Sei Padova” e mostrare se la proposizione ottenuta è tautologia classica. In caso di non validità specificare per quali valori delle variabili proposizionali la proposizione è falsa (ovvero su quale riga della tabella di verità la proposizione è falsa) e poi se la proposizione 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 ” ?? Formalizzare ponendo V= “il tuo vicino di banco è a Londra” A= “il tuo vicino di banco è un acrobata” e mostrare se la proposizione ottenuta è tautologia classica. In caso di non validità specificare per quali valori delle variabili proposizionali la proposizione è falsa (ovvero su quale riga della tabella di verità la proposizione è falsa) e poi se la proposizione ottenuta è soddisfacibile e su che valori lo è, oppure alternativamente se è insoddisfacibile. 6
