Spiegazione delle regole dei quantificatori in logica classica
|
|
- Emma Lamberti
- 5 anni fa
- Visualizzazioni
Transcript
1 Spiegazione delle regole dei quantificatori in logica classica Qui spieghiamo la forma delle regole della quantificazione universale ed esistenziale. 1. La regola della quantificazione universale a sinistra Γ, x A(x),A(t ter ) Γ, x A(x) S la formula ( (Γ & & x A(x)) & A(t ter ) ) ( Γ & & x A(x) ) che è una legge logica in quanto è pure una legge logica x A(x) & A(t ter ) x A(x) Dunque nella regola la validità logica sale e scende rendendo la regola sicura e difatti è una legge logica la formula ( (Γ & & x A(x)) & A(t ter ) ) ( Γ & & x A(x) ) Esiste anche una forma NON sicura della regola che permette di abbreviare le derivazioni che è l enunciato Γ,A(t ter ) Γ, x A(x) Sv che è una legge logica. (Γ & & A(t ter ) ) (Γ & & x A(x) ) Per comprendere la sua validità logica consideriamo questo esempio di applicazione della regola di quantificazione universale a sinistra veloce N=È notte B(x)= x brilla nel cielo T= Il cielo è del tutto coperto di nubi v= Venere N,B(v) T N, x B(x) T Sv Assumendo che, se è notte e Venere brilla nel cielo allora il cielo non è del tutto coperto di nubi allora se è notte e tutto brilla nel cielo allora il cielo non è del tutto coperto di nubi. 6
2 Chiaramente la regola non è sicura e lo si vede con questo esempio A(x)= x ha la cintura allacciata P= l aereo parte m= Mario x A(x) P A(m) P inv Sv l argomentazione scorretta se tutti hanno le cinture allacciate allora l aereo parte se Mario ha la cintura allacciata allora l aereo parte. perchè la premessa richiede tutti abbiano la cintura allacciata affinchè l aereo parta mentre nella premessa sotto sappiamo solo che Mario ha la cintura allacciata e non che l abbiano anche gli altri passeggeri dell aereo. 2. La regola di quantificazione universale a destra Γ A(w), Γ x A(x), D (w VL(Γ, x A(x), )) formalizza la formula (associando a sinistra i disgiunti delle conclusioni dei sequenti) w ( Γ & A(w) ) (Γ & x A(x) ) che è una legge logica proprio perchè la variabile w NON è libera in Γ, x A(x),. Per comprendere la sua validità logica consideriamo questo esempio N S(w) B(w),C N x (S(x) B(x)),C N=È notte B(x)= x brilla nel cielo S(x)=x è una stella C= Il cielo è coperto di nubi D (w VL(N, x (S(x) B(x)),C)) qualsiasi cosa, se è notte allora o, se è una stella brilla nel cielo, oppure il cielo è coperto di nubi se è notte, allora o tutte le stelle brillano nel cielo oppure il cielo è coperto di nubi. 7
3 Si noti che la regola è sicura, ovvero la verità sale e scende nella regola, poichè è una legge logica la formula w ( Γ & A(w) ) (Γ & x A(x) ) Si osservi che la condizione a lato della regola riguardante il fatto che la variabile w non deve comparire libera nel sequente conclusione deriva dal fatto che se si ommette tale condizione si potrebbero derivare sequenti palesemente falsi ad esempio, assumendo di aver derivato in aritmetica w = 0 5+w = 5 applicando la regola senza condizioni come segue w = 0 5+w = 5 w = 0 w 5+w = 5 si vede subito che questa applicazione, se fosse valida!, permetterebbe di dedurre in aritmetica il sequente w = 0 w 5+w = 5 come conseguenza logica dalla premessa w = w = 5, e invece il sequente w = 0 w 5+w = 5 è falso in aritmetica. Si noti che l applicazione sopra NON rispetta la condizione sulle variabili della regola D in quanto la variabile w è LIBERA nel contesto a sinistra w = 0. Dunque la regola D senza condizioni NON può essere una regola valida logicamente ovvero applicabile a tutte le teorie scientifiche comprese l aritmetica!!! 3. La regola di quantificazione esistenziale a sinistra formalizza la formula Γ, A(w) Γ, x A(x) S (w VL(Γ, x A(x), )) w ( Γ & & A(w) ) ( Γ & & x A(x) ) che è una legge logica proprio perchè la variabile w NON è libera in Γ, x A(x),. Per comprendere la sua validità logica consideriamo questo esempio N,S(w) & B(w) T N, x (S(x) & B(x)) T N=È notte B(x)= x brilla nel cielo S(x)=x è una stella T= Il cielo è del tutto coperto di nubi S (w VL(N, x (S(x) & B(x)),T)) 8
4 qualsiasi cosa, se è notte ed è una stella che brilla nel cielo allora il cielo non è del tutto coperto di nubi se è notte e c è una stella che brilla nel cielo allora il cielo non è del tutto coperto di nubi. Si noti che la regola è sicura, ovvero la verità sale e scende nella regola, poichè è una legge logica la formula w ( Γ & & A(w) ) ( Γ & & x A(x) ) 4. La regola di quantificazione esistenziale a destra Γ A(t ter ), x A(x), Γ x A(x), formalizza la formula (a meno di associatività dei disgiunti delle conclusioni di entrambi i sequenti) ( Γ & (A(t ter ) x A(x)) ) ( Γ & x A(x) ) che è una legge logica in quanto è pure una legge logica x A(x) A(t ter ) x A(x) Dunque nella regola la validità logica sale e scende rendendo la regola sicura e difatti è una legge logica la formula ( Γ & (A(t ter ) x A(x)) ) ( Γ & x A(x) ) Esiste anche una forma NON sicura della regola che permette di abbreviare le derivazioni che è Γ A(t ter ), Γ x A(x), v l enunciato (associando a sinistra i disgiunti delle conclusioni dei sequenti) che è una legge logica. ( Γ & A(t ter ) ) ( Γ & x A(x) ) Per comprendere la sua validità logica consideriamo questo esempio di applicazione della regola di quantificazione esistenziale a destra veloce A(x)= x è arrivato in stazione A(v) S(m,v), P(v) A(v) x S(x,v), P(v) v 9
5 P(x)= le porte del treno x sono aperte S(x,y)= x sale su y. m= Marco v= treno per Venezia se il treno per Venezia è arrivato in stazione allora o Marco sale sul treno per Venezia oppure le porte del treno per Venezia non sono aperte se il treno per Venezia è arrivato in stazione allora o qualcuno sale sul treno per Venezia oppure le porte del treno per Venezia non sono aperte. Chiaramente la regola non è sicura e lo si vede con questo esempio A(v) x S(x,v), P(v) A(v) S(g,v), P(v) inv v A(x)= x è arrivato in stazione P(x)= le porte del treno x sono aperte S(x,y)= x sale su y. g= il giornalaio della stazione v= il treno per Venezia l argomentazione scorretta se il treno per Venezia è arrivato in stazione allora o qualcuno sale sul treno per Venezia oppure le porte del treno per Venezia non sono aperte. se il treno per Venezia è arrivato in stazione allora o il giornalaio sale sul treno per Venezia oppure le porte del treno per Venezia non sono aperte. Tale argomentazione non è corretta in quanto le porte del treno potrebbero essere aperte e il giornalaio è al suo posto a vendere giornali! 10
6 Spiegazione alternativa delle regole delle quantificatori È possibile spiegare le regole dei quantificatori della logica classica a partire dalle regole della negazione scritta con formule qualsiasi Γ fr, Γ, fr S Γ,fr Γ fr, D e dalle seguenti versioni ristrette delle regole di quantificazione universale ed esistenziale a destra sempre scritte con formule qualsiasi Γ fr[x/w] Γ x fr D (w VL(Γ, x fr)) Γ fr[x/t ter ], x fr Γ x fr ove con fr[x/t ter ] si intende che la variabile x nella formula fr è sostituita con il termine t ter, per i seguenti motivi 1. la validità delle regole di quantificazione universale ed esistenziale a destra in forma ristretta è più semplice da riconoscere delle corrispondenti versioni generali e delle corrispondenti regole a sinistra; 2. grazie alla validità delle regole di negazione e delle loro inverse già dimostrata per proposizione arbitrarie, le versioni ristrette delle regole di quantificazione universale ed esistenziali sono equivalenti a quelle generali del calcolo; 3. usando le regole di negazione a destra e a sinistra con le leggi logiche di De Morgan per i quantificatori per una qualsiasi formula fr x fr x fr x fr x fr e la legge logica della doppia negazione fr fr giustificheremo le regole di sinistra della quantificazione universale ed esistenziale a partire dalle regole di quantificazione universale ed esistenziale a destra. Andiamo ora a mostrare i singoli punti. 1. Giustificazione della regola ristretta della quantificazione universale a dx. La forma ristretta della regola di quantificazione universale a destra scritta con formule qualsiasi Γ fr[x/w] Γ x fr D (w VL(Γ, x fr)) formalizza semplicemente la formula w ( Γ & fr[x/w] ) (Γ & x fr ) che è una legge logica proprio perchè la variabile w NON è libera in Γ, x fr. Per comprendere la sua validità logica consideriamo questo esempio N, C S(w) B(w) N, C x (S(x) B(x)) D (w VL(N, C, x (S(x) B(x)))) 11
7 N=È notte B(x)= x brilla nel cielo S(x)=x è una stella C= Il cielo è coperto di nubi Dal fatto che, qualsiasi cosa, se è notte e il cielo non è coperto di nubi allora se è una stella brilla, segue che se è notte e il cielo non è coperto di nubi, allora tutte le stelle brillano nel cielo. Si noti che la regola è sicura, ovvero la verità sale e scende nella regola, poichè è una legge logica la formula w ( Γ & fr[x/w] ) (Γ & x fr ) Giustificazione della regola ristretta della quantificazione esistenziale a dx La forma ristretta della regola di quantificazione esistenziale a destra scritta con formule qualsiasi Γ fr[x/t ter ], x fr Γ x fr formalizza la formula ( Γ & fr[x/t ter ] x fr) ( Γ & x fr ) che è una legge logica in quanto è pure una legge logica x fr fr[x/t ter ] x fr Dunque nella regola la validità logica sale e scende rendendo la regola sicura e difatti è una legge logica la formula ( Γ & fr[x/t ter ] x fr ) ( Γ & x fr ) Di fatto la regola sopra è la correzione in forma sicura della seguente regola NON sicura che rappresenta il modo con cui noi introduciamo la quantificazione esistenziale come conclusione di un ragionamento: l enunciato Γ fr[x/t ter ] Γ x fr v ( Γ & fr[x/t ter ] ) ( Γ & x fr ) 12
8 che è una legge logica come mostrato dal seguente esempio A(x)= x è arrivato in stazione P(x)= le porte del treno x sono aperte S(x,y)= x sale su y. m= Marco v= treno per Venezia A(v),P(v) S(m,v) A(v),P(v) x S(x,v) v se il treno per Venezia è arrivato in stazione e le sue porte sono aperte allora Marco sale su questo treno se il treno per Venezia è arrivato in stazione e le sue porte sono aperte allora qualcuno sale su questo treno. Chiaramente la regola non è sicura e lo si vede con questo esempio A(v),P(v) x S(x,v) A(v),P(v) S(g,v) inv v A(x)= x è arrivato in stazione P(x)= le porte del treno x sono aperte S(x,y)= x sale su y. g= il giornalaio della stazione v= il treno per Venezia l argomentazione scorretta se il treno per Venezia è arrivato in stazione e le sue porte sono aperte allora qualcuno sale sul treno per Venezia se il treno per Venezia è arrivato in stazione e le sue porte sono aperte allora il giornalaio sale sul treno per Venezia. Tale argomentazione non è corretta in quanto il giornalaio potrebbe benissimo essere al suo posto a vendere giornali! 2. Ora osserviamo che grazie alle regole di negazione e alla legge della doppia negazione possiamo ricavare le regole della quantificazione universale ed esistenziale a destra in forma generale. 13
9 Regola di quantificazione universale a destra in forma generale. La regola di quantificazione universale a destra scritta con formule qualsiasi si ricava dalla regola procedendo in tal modo: supponiamo per semplicità Γ fr[x/w], Γ x fr, Γ fr[x/w] Γ x fr D (w VL(Γ, x fr, )) D (w VL(Γ, x fr)) α,β allora giustifichiamo il passaggio dalla premessa Γ fr[x/w], α, β alla conclusione Γ x fr, α, β come applicazione di una serie di regole valide (e sicure!!!) come segue (si ricordi che le inverse delle regole di negazione sono valide!) Γ fr[x/w], α,β sc dx Γ α,β, fr[x/w] Γ, α β, fr[x/w] S Γ, α, β fr[x/w] S D (w VL(Γ, α, β, x fr)) Γ, α, β x fr Γ, α β, x fr inv S Γ α,β, x fr inv S Γ x fr, α,β sc dx Si osservi inoltre che la condizione sulle variabili per l applicazione della regola di quantificazione universale a destra operata sopra è soddisfatta in quanto se w non è libera in Γ, x fr, α,β non lo è neppure in Γ, α, β, x fr. Nel caso contenga una sola formula o più di due formule si procede analogamente a quanto fatto sopra. Regola di quantificazione esistenziale a destra in forma generale. La regola di quantificazione esistenziale a destra scritta con formule qualsiasi Γ fr[x/t ter ], x fr, Γ x fr, si ricava dalla regola Γ fr[x/t ter ], x fr Γ x fr procedendo come segue: sup per semplicità α,β 14
10 giustifichiamo il passaggio dalla premessa Γ fr[x/t ter ],α,β alla conclusione Γ x fr,α,β come applicazione della seguente serie di regole valide (e sicure!!) Γ fr[x/t ter ], x fr,α,β Γ, α,β, fr[x/t ter ], x fr sc dx Γ, α β, fr[x/t ter ], x fr S Γ, α, β fr[x/t ter ], x fr S Γ, α, β x fr Γ, α β, x fr inv S Γ α,β, x fr inv S Γ x fr,α,β sc dx ricordando che le inverse delle regole di negazione sono valide!! Nel caso contenga una sola formula o più di due formule si procede analogamente a quanto fatto sopra. 3. Regola di quantificazione universale a sinistra. La regola di quantificazione universale a sinistra scritta con formule qualsiasi Γ, x fr, fr[x/t ter ] Γ, x fr si ricava in tal modo dalla regola di quantificazione esistenziale a destra assieme alle regole di negazione. Utilizzando la legge logica di De Morgan dei quantificatori si ottiene che vale e infine per la legge della doppia negazione x fr x fr x fr x fr x fr x fr fr fr Dunque la regola di quantificazione universale a sinistra si può equivalentemente riformulare in tal modo Γ, x fr, fr[x/t ter ] S Γ, x fr S e giustificare come risultato dell applicazione di questa serie di regole valide (e sicure!) Γ, x fr, fr[x/t ter ] Γ, fr[x/t ter ], x fr sc sx Γ, fr[x/t ter ] x fr, inv D Γ fr[x/t ter ], x fr, D Γ x fr, Γ, x fr S 15
11 Regola di quantificazione esistenziale a sinistra. La regola di quantificazione esistenziale a sinistra scritta con formule qualsiasi Γ, fr[x/w] Γ, x fr S (w VL(Γ, x fr, )) si ricava in tal modo dalla regola di quantificazione universale a destra assieme alle regole di negazione. Utilizzando la legge logica di De Morgan dei quantificatori si ottiene che vale e infine per la legge della doppia negazione x fr x fr x fr x fr x fr x fr fr fr Dunque la nostra regola si può equivalentemente riformulare in tal modo Γ, fr[x/w] Γ, x fr S (w VL(Γ, x fr, )) e giustificare come risultato dell applicazione di questa serie di regole valide (e sicure!) Γ, fr[x/w] Γ fr[x/w], D D(w VL(Γ, x fr, )) Γ x fr, Γ, x fr S osservando che la condizione sulle variabili relativa all applicazione della regola di quantificazione universale a destra operata sopra è soddisfatta perchè se w non è libera in Γ, x fr, non lo è neanche in Γ, x fr,. 16
Spiegazione alternativa delle regole delle quantificatori
Spiegazione alternativa delle regole delle quantificatori È possibile spiegare le regole dei quantificatori della logica classica a partire dalle regole della negazione scritta con formule qualsiasi Γ
DettagliChiarificazione sulla forma delle regole del calcolo LC p
Chiarificazione sulla forma delle regole del calcolo LC p Proviamo a spiegare un pò come mai le regole di LC p sono accettabili avvalendosi di tautologie classiche che riconosciamo grazie all utilizzo
DettagliSpiegazione delle regole dei quantificatori in logica classica
Spiegazione delle regole dei quantificatori in logica classica Qui spieghiamo la forma delle regole della quantificazione universale ed esistenziale. 1. La regola della quantificazione universale a sinistra
Dettagli13. Calcolo dei sequenti per logica classica predicativa
13. Calcolo dei sequenti per logica classica predicativa Vogliamo qui introdurre il calcolo dei sequenti per i predicati. A tal scopo dobbiamo prima introdurre il concetto di variabile libera e variabile
Dettagli9 Calcolo dei sequenti LC p
9 Calcolo dei sequenti LC p In questa sezione mostriamo un metodo più elegante, semplice e soprattutto AUTOMATICO per mostrare se una proposizione è valida o meno e soddisfacibile o meno. Tale metodo è
Dettagli17. Validità delle regole nel linguaggio predicativo
17. Validità delle regole nel linguaggio predicativo La nozione di validità di una regola nel linguaggio predicativo serve per poter rispondere a questa domanda: Perchè la procedura semi-automatica per
DettagliSIMULAZIONE I appello di LOGICA MATEMATICA 16 gennaio 2017
SIMULAZIONE I appello di LOGICA MATEMATICA 16 gennaio 2017 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si considerano le BRUTTE copie. - Ricordatevi di
DettagliPRE-I-Compitino LOGICA 30 maggio 2014
PRE-I-Compitino LOGICA 30 maggio 2014 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si considerano le BRUTTE copie. - Ricordatevi di ESPLICITARE l uso della
DettagliSIMULAZIONE I appello 11 gennaio 2018
SIMULAZIONE I appello 11 gennaio 2018 nome: cognome: - Scrivere in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si contano le BRUTTE copie. - Si ricorda di ESPLICITARE l uso della regola
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
DettagliSIMULAZIONE I-Compitino LOGICA MATEMATICA 23 novembre 2016
SIMULAZIONE I-Compitino LOGICA MATEMATICA 23 novembre 2016 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si considerano le BRUTTE copie. - Ricordatevi di
DettagliII appello 5 luglio 2010
II appello 5 luglio 2010 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - Non si contano le brutte copie. - Specificate le regole derivate che usate e che non sono
DettagliI appello e II compitino 27 giugno 2014
I appello e II compitino 27 giugno 2014 nome: cognome: Appello II compitino A chi fa l appello verrà valutato ogni esercizio per il superamento dell esame. Per chi fa il II compitino: per superare il II
DettagliSIMULAZIONE I appello 8 gennaio 2016
SIMULAZIONE I appello 8 gennaio 2016 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si contano le BRUTTE copie. - Ricordatevi di ESPLICITARE l uso della regola
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
DettagliI-Compitino LOGICA MATEMATICA 12 dicembre 2016
I-Compitino LOGICA MATEMATICA 12 dicembre 2016 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si considerano le BRUTTE copie. - Ricordatevi di ESPLICITARE
Dettagli12. Formalizzazione in linguaggio predicativo
12. Formalizzazione in linguaggio predicativo Il linguaggio predicativo è ottenuto estendendo il linguaggio proposizionale (quello con,, &,, ) con predicati A(x), B(x, y), C(x, y, z..) dipendenti da un
DettagliSIMULAZIONE I appello e II compitino 18 giugno 2014
SIMULAZIONE I appello e II compitino 18 giugno 2014 nome: cognome: Appello II compitino - A chi fa l appello verrà valutato ogni esercizio per il superamento dell esame. - Per chi fa il II compitino: per
Dettagli14. Nozione di modello e verità di un predicato
14. Nozione di modello e verità di un predicato Per definire la validità di un predicato facciamo uso della nozione di modello. Intuitivamente un modello definisce in modo primitivo l interpretazione delle
DettagliSIMULAZION I appello 12 gennaio 2017
SIMULAZION I appello 12 gennaio 2017 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si contano le BRUTTE copie. - Ricordatevi di ESPLICITARE l uso della regola
DettagliCorso di Logica I. Modulo sul Calcolo dei Sequenti. Dispensa Lezione III.
Corso di Logica I. Modulo sul Calcolo dei Sequenti. Dispensa Lezione III. Giovanni Casini Teorema di corrispondenza fra il calcolo sui sequenti SND c e il calcolo dei sequenti SC c. In queste pagine andiamo
Dettagli11. Formalizzazione in linguaggio predicativo
11. Formalizzazione in linguaggio predicativo Il linguaggio predicativo è ottenuto estendendo il linguaggio proposizionale (quello con,, &,, ) con predicati A(x), B(x, y), C(x, y, z..) dipendenti da un
Dettagli13. Nozione di modello e verità di un predicato
13. Nozione di modello e verità di un predicato Def. 0.1 (modello di un linguaggio predicativo) Dato linguaggio predicativo L con costanti c j e predicati atomici P k (x 1,..., x n ) un modello per L è
Dettagli15. Nozione di modello e verità di un predicato
15. Nozione di modello e verità di un predicato Def. 0.1 (modello di un linguaggio predicativo) Dato linguaggio predicativo L con costanti c j e predicati atomici P k (x 1,..., x n ) un modello per L è
DettagliEsercizio 2. Spiegare perché è falsa la seguente affermazione: Se n è un numero negativo, allora anche n + 3 è negativo.
Sapienza Università di Roma - Facoltà I3S Corso di Laurea in Statistica Economia Finanza e Assicurazioni Corso di Laurea in Statistica Economia e Società Corso di Laurea in Statistica gestionale Matematica
DettagliLOGICA PER LA PROGRAMMAZIONE a.a. 2017/18 Terza esercitazione 24/ Soluzioni Proposte
LOGICA PER LA PROGRAMMAZIONE a.a. 2017/18 Terza esercitazione 24/25-10-2017 Soluzioni Proposte Attenzione: Le soluzioni che seguono sono considerate corrette dai docenti. possono esistere altre soluzioni
Dettagli15. Nozione di modello e verità di un predicato
15. Nozione di modello e verità di un predicato Def. (modello di un linguaggio predicativo) Dato linguaggio predicativo L con costanti c j e predicati atomici P k (x 1,..., x n ) un modello per L è dato
DettagliEsercitazioni per il corso di Logica Matematica
Esercitazioni per il corso di Logica Matematica Luca Motto Ros 02 marzo 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano risultare
DettagliSistemi Deduttivi. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Sistemi Deduttivi[1]
Intelligenza Artificiale I Sistemi Deduttivi Marco Piastra Intelligenza Artificiale I - A.A. 2010- Sistemi Deduttivi[1] Calcolo simbolico? Una fbf è conseguenza logica di un insieme di fbf sse qualsiasi
DettagliIntelligenza Artificiale. Logica proposizionale: calcolo simbolico
Intelligenza Artificiale Logica proposizionale: calcolo simbolico Marco Piastra Logica formale (Parte 2) - 1 Parte 2 Calcolo logico Assiomi Derivazioni Derivazioni e conseguenza logica Completezza Logica
Dettagli11. Lezione Corso di Logica (prima parte) 13 maggio Maria Emilia Maietti. ricevimento: martedi ore
11. Lezione Corso di Logica (prima parte) 13 maggio 2011 Maria Emilia Maietti ricevimento: martedi ore 17.30-19.30 email: maietti@math.unipd.it 374 lucidi lezioni in http://www.math.unipd.it/ maietti/lez.html
DettagliII appello 9 febbraio 2016
II appello 9 febbraio 2016 nome: cognome: Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. NON si contano le BRUTTE copie. Ricordatevi di ESPLICITARE l uso della regola dello scambio
Dettagli12 Esercizi risolti su aritmetica di Peano
12 Esercizi risolti su aritmetica di Peano 1 0 = 0+0 è valido in PA in quanto si può derivare ad esempio come segue: Ax 3 0+0 = 0 0+0 = 0 x (x+0 = x) 0+0 = 0 S v sy r Ax 3 0 = 0+0 0 = 0+0 2 x (s(x) = s(2)
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 2 Dimostrazione di tautologie Proof System pag. 1 Un Problema di Deduzione Logica [da un test di ingresso] Tre amici, Antonio, Bruno e Corrado, sono incerti se andare
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
DettagliALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI
ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI 1. GLI ASSIOMI DI PEANO Come puro esercizio di stile voglio offrire una derivazione delle proprietà elementari dei numeri naturali e delle operazioni
DettagliMETODI MATEMATICI PER L INFORMATICA
P METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 3 31/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Predicati e quantificatori Esercizio 9 pagina 53 P(x): x
DettagliEsercizi di logica. Ivan Valbusa 5 dicembre 2012
Esercizi di logica Ivan Valbusa 5 dicembre 2012 Gli esercizi proposti di seguito coprono solo una piccola parte del programma del corso. Sono mediamente più difficili di quelli presenti sul manuale di
Dettagli1 Richiami di logica matematica
Geometria e Topologia I 2006-mar-05 1 1 Richiami di logica matematica Definire cos è un enunciato, una proposizione (elemento primitivo della logica delle proposizioni). La definizione è data in termini
Dettagli14. Come interpretare unicità? con l uguaglianza
14. Come interpretare unicità? l uguaglianza Problema: vogliamo formalizzare in logica classica 1. Marcello ha un unica laurea L(x,y)= x è una laurea di y m=marcello 2. Il programma fattoriale su input
DettagliUn po di logica. Christian Ferrari. Laboratorio di matematica
Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare
DettagliCapitolo 5 Campi finiti
Capitolo 5 Campi finiti Definizione 5.1. Un campo finito K (cioè composto da un numero finito di elementi) si dice campo di Galois. Il numero dei suoi elementi si dice ordine e si denota con K. Un campo
DettagliIV appello 6 luglio 2015
IV appello 6 luglio 2015 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si contano le BRUTTE copie. - Ricordatevi di ETICHETTARE LE DERIVAZIONI CON LE REGOLE
Dettagli9 Calcolo dei sequenti LC p
9 Calcolo dei sequenti LC p In questa sezione mostriamo un metodo più elegante, semplice e soprattutto AUTOMATICO per mostrare se una proposizione è valida o meno e soddisfacibile o meno. Tale metodo è
DettagliOperazioni logiche e trasformazioni aritmetiche
Operazioni logiche e trasformazioni aritmetiche Ogni operazione logica, ovvero ognuno dei connettivi che conosciamo (,,, aut, ) può esser pensato come una funzione matematica che agisce sul sistema numerico
DettagliCALCOLO PROPOSIZIONALE
CALCOLO PROPOSIZIONALE UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti se andare al cinema. Si sa che: Se Corrado va al cinema, allora ci va anche
Dettagli1 Richiami di logica matematica
Geometria e Topologia I 7 marzo 2005 1 1 Richiami di logica matematica Definire cos è un enunciato, una proposizione (elemento primitivo della logica delle proposizioni). La definizione è data in termini
DettagliEsercizi 2. Sulla definizione di linguaggio formale
Esercizi 2. Sulla definizione di linguaggio formale Def. 0.1 (Insieme induttivamente generato) Dato un numero finito di funzioni su un numero finito di argomenti h i : A... A A }{{} m i-volte su una collezione
DettagliINDUZIONE E NUMERI NATURALI
INDUZIONE E NUMERI NATURALI 1. Il principio di induzione Il principio di induzione è una tecnica di dimostrazione molto usata in matematica. Lo scopo di questa sezione è di enunciare tale principio e di
DettagliEs. 1 Es. 2 Es. 3 Es. 4 Totale Teoria
Es. Es. Es. 3 Es. 4 Totale Teoria Analisi e Geometria Docente: Politecnico di Milano Ingegneria Industriale 5 Settembre Compito A Cognome: Nome: Matricola: Punteggi degli esercizi: Es.: 6 punti; Es.: punti;
DettagliPrecorso di Matematica
UNIVERSITÀ DEGLI STUDI ROMA TRE FACOLTA DI ARCHITETTURA Precorso di Matematica Anna Scaramuzza Anno Accademico 2005-2006 4-10 Ottobre 2005 INDICE 1. ALGEBRA................................. 3 1.1 Equazioni
Dettagli5. Esercitazione 19 maggio con regola =-S semplificata
5. Esercitazione 19 maggio 2010- regola =-S semplificata Precisazioni sulle nozioni da usare negli esercizi Un sequente Γ si dice VALID0 rispetto alla semantica della logica classica se il sequente è valido
DettagliIl calcolo di deduzione naturale NK per la logica dei predicati. xa A[t/x] (E )
Il calcolo di deduzione naturale NK per la logica dei predicati A xa (I ) se A non dipende da ipotesi contenenti x libera xa A[t/x] (E ) se t è sostituibile per x in A A[t/x] xa (I ) se t è sostituibile
Dettagli21. Nozione di teoria ed esempi
21. Nozione di teoria ed esempi Ora applichiamo quanto appreso precedentemente sulla logica classica con uguaglianza allo studio di alcune sue teorie. In senso lato passiamo dallo studio della logica a
DettagliLEZIONE 3. a + b + 2c + e = 1 b + d + g = 0 3b + f + 3g = 2. a b c d e f g
LEZIONE 3 3.. Matrici fortemente ridotte per righe. Nella precedente lezione abbiamo introdotto la nozione di soluzione di un sistema di equazioni lineari. In questa lezione ci poniamo il problema di descrivere
DettagliMETODI MATEMATICI PER L INFORMATICA
METODI MATEMATICI PER L INFORMATICA ANNO ACCADEMICO 2011/2012 Sommario. Sintassi e semantica della Logica dei predicati. Proprietà fondamentali dei quantificatori. Strutture, soddisfacibilità e verità
DettagliI-Compitino LOGICA 14 giugno 2014
I-Compitino LOGICA 14 giugno 2014 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si considerano le BRUTTE copie. - Ricordatevi di ESPLICITARE l uso della
DettagliAPPUNTI DI TEORIA DEGLI INSIEMI. L assioma della scelta e il lemma di Zorn Sia {A i } i I
APPUNTI DI TEORIA DEGLI INSIEMI MAURIZIO CORNALBA L assioma della scelta e il lemma di Zorn Sia {A i } i I un insieme di insiemi. Il prodotto i I A i è l insieme di tutte le applicazioni α : I i I A i
DettagliFondamenti di Informatica 2, Linguaggi e Complessità : Logica I Parte Lucidi di M.Schaerf e A.Marchetti Spaccamela
Fondamenti di Informatica 2 Linguaggi e Complessità : Logica I Parte Lucidi di M.Schaerf e A.Marchetti Spaccamela Fondamenti di Informatica 2: Logica Indice degli argomenti Introduzione: Motivazioni, Prove,
DettagliCompito di logica 28 giugno 2007 SOLUZIONI Fornire una derivazione in LJ dei sequenti: A A A B, B A A A B B A A A
Es. 1. Compito di logica 28 giugno 2007 SOLUZIONI Fornire una derivazione in LJ dei sequenti: a. A (B C) (A B) (A C) B B C C A A B C, B C A (B C), (A B), A C A (B C), (A B) (A C) A (B C) (A B) (A C) b.
DettagliNOTE SULLE FUNZIONI CONVESSE DI UNA VARIABILE REALE
NOTE SULLE FUNZIONI CONVESSE DI UNA VARIABILE REALE ROBERTO GIAMBÒ 1. DEFINIZIONI E PRIME PROPRIETÀ In queste note saranno presentate alcune proprietà principali delle funzioni convesse di una variabile
DettagliEsercizi di Logica Matematica (parte 2)
Luca Costabile Esercizio 317 Esercizi di Logica Matematica (parte 2) Dimostro per induzione sulla costruzione del termine : - Supponiamo che sia una variabile :, - Supponiamo che sia una variabile diversa
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 8 Modelli, Formule Valide, Conseguenza Logica Proof Systems Regole di inferenza per Calcolo Proposizionale
DettagliRagionamenti e metodi di dimostrazione. Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica
Ragionamenti e metodi di dimostrazione Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica Proposizioni Si definisce proposizione una frase alla quale è possibile attribuire uno e un solo valore
DettagliCalcolo dei sequenti II. Il Calcolo dei Sequenti d. Gentzen: La Logica Intuizionista.
Calcolo dei sequenti II. Il Calcolo dei Sequenti di Gentzen: La Logica Intuizionista. giovanni.casini@gmail.com 6 Maggio 2009 Introduzione Ieri abbiamo visto cos è formalmente un sequente (una coppia ordinata
DettagliCenni di logica matematica e di teoria degli insiemi Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2018/2019 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve
DettagliLogica di Base. Docente: Francesca Benanti. 27 Gennaio 2007
Logica di Base Docente: Francesca Benanti 27 Gennaio 2007 1 Logica Formale La logica è la disciplina filosofica che studia le forme del ragionamento corretto. Da Aristotele al secolo scorso la logica è
DettagliLOGICA DEL PRIMO ORDINE: PROOF SYSTEM. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini
LOGICA DEL PRIMO ORDINE: PROOF SYSTEM Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini LOGICA DEL PRIMO ORDINE: RIASSUNTO Sintassi: grammatica libera da contesto (BNF), parametrica rispetto
DettagliESERCIZI PROPOSTI. det A = = per cui il sistema si può risolvere applicando le formule di Cramer, cioè: dove: = =
ESERCIZI PROPOSTI Risolvere i seguenti sistemi lineari )-0), utilizzando, dove possibile, sia il metodo di Cramer sia quello della matrice inversa, dopo aver analizzato gli esempi a)-d): 2x + + 4z 5 a)
DettagliLogica di Base. Docente: Francesca Benanti. 13 Dicembre 2007
Logica di Base Docente: Francesca Benanti 13 Dicembre 2007 1 Logica Formale La logica è la disciplina filosofica che studia le forme del ragionamento corretto. Da Aristotele al secolo scorso la logica
DettagliElementi di Algebra e Logica Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali:
Elementi di Algebra e Logica 2008. 8. Logica. 1. Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali: (a) p ( q r); (b) p (q r); (c) (p q) ( p r); (d) (p q) ( p r); (e) (p
Dettagli7. A che serve il calcolo dei sequenti? Dà procedura di decisione
7. A che serve il calcolo dei sequenti? Dà procedura di decisione Il calcolo dei sequenti serve a costruire alberi di derivazione come ad esempio ax-id P, Q Q P&Q Q & S ax-id P, Q P P&Q P P&Q Q&P & S &
DettagliLogica proposizionale
Logica proposizionale Proposizione: frase compiuta che è sempre o vera o falsa. Connettivi Posti in ordine di precedenza: not, and, or, implica, doppia implicazione Sintassi Le proposizioni sono costituite
DettagliLogica: materiale didattico
Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica
DettagliLOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)
LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) DISPENSA N. 4 Sommario. Dimostriamo il Teorema di Completezza per il Calcolo dei Predicati del I ordine. 1. Teorema di Completezza Dimostriamo il Teorema
DettagliIl teorema di dualità forte
Complementi di Algoritmi e Strutture Dati Il teorema di dualità forte Docente: Nicolò Cesa-Bianchi versione 13 maggio 2018 Ricordiamo la formulazione del problema di programmazione lineare nella sua forma
DettagliESERCIZI SUGLI INSIEMI NUMERICI. 1) Mettere in ordine crescente i seguenti numeri reali:
ESERCIZI SUGLI INSIEMI NUMERICI ) Mettere in ordine crescente i seguenti numeri reali:,4; 2/7; 5/8; 0, ; 5/8; π; 2/7; 0,; 0 ; 0,00 0. Inserire poi nel precedente ordinamento i seguenti numeri reali: 2/5;
DettagliAnalisi Matematica 1+2
Università degli Studi di Genova Facoltà di Ingegneria - Polo di Savona via Cadorna 7-700 Savona Tel. +39 09 264555 - Fax +39 09 264558 Ingegneria Gestionale Analisi Matematica +2 A.A 998/99 - Prove parziali
DettagliCenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve
DettagliESERCIZI SUI PUNTI DI NON DERIVABILITÀ TRATTI DA TEMI D ESAME
ESERCIZI SUI PUNTI DI NON DERIVABILITÀ TRATTI DA TEMI D ESAME a cura di Michele Scaglia FUNZIONI DERIVABILI Sia f : domf R una funzione e sia 0 domf di accumulazione per domf Chiamiamo derivata prima di
Dettagli9 Calcolo dei sequenti LC p
9 Calcolo dei sequenti LC p In questa sezione mostriamo un metodo più elegante, semplice e soprattutto AUTOMATICO per mostrare se una proposizione è valida o meno e soddisfacibile o meno. Tale metodo è
DettagliNote di Teoria della Probabilità.
Note di Teoria della Probabilità. In queste brevi note, si richiameranno alcuni risultati di Teoria della Probabilità, riguardanti le conseguenze elementari delle definizioni di probabilità e σ-algebra.
DettagliCenni di logica matematica e di teoria degli insiemi Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2017/2018 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve
DettagliCorso di Analisi Matematica 1 - professore Alberto Valli
Università di Trento - Corso di Laurea in Ingegneria Civile e Ingegneria per l Ambiente e il Territorio - 06/7 Corso di Analisi Matematica - professore Alberto Valli foglio di esercizi - ottobre 06 iti.
DettagliLimiti di funzioni di una variabile
Capitolo 6 Limiti di funzioni di una variabile 6.1 Limiti all infinito La definizione di ite data per le successioni si può immediatamente trasportare al caso di una funzione definita in un qualunque insieme
Dettagli04 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,
DettagliIn Meccanica Celeste, come del resto in altri campi della Fisica, si incontra spesso una funzione della forma zh+h.
Appendice STRUMENTI ANALITICI Questa appendice è dedicata alle funzioni necessarie per gli sviluppi in serie in uso in Meccanica Celeste. La discussione è volutamente breve, in quanto limitata a quegli
DettagliLimiti. Limite di una funzione per x che tende a +,.
Limiti. Limite di una funzione per x che tende a +,. Altri esempi. considerate. Diamo un paio di esempi di funzioni un po diverse da quelle finora Ricordiamo che l approssimazione per difetto agli interi
DettagliA B C x y v w f p p p p p p p p p p p p p p p p p p p p 1
(3.1) Una cassaforte ha quattro lucchetti, x, y, v, w, che devono essere tutti aperti affinché la cassaforte possa essere aperta. Le chiavi sono distribuite tra tre persone, A, B e C, come segue: A possiede
DettagliEsercitazioni per il corso di Logica Matematica
Esercitazioni per il corso di Logica Matematica Luca Motto Ros 15 aprile 2005 Esercizi Nota importante. In questa dispensa sono stati raccolti, senza alcun ordine particolare, alcuni esercizi che possono
DettagliA.A CORSO DI ALGEBRA 1. PROFF. P. PIAZZA, E. SPINELLI. SOLUZIONE ESERCIZI FOGLIO 4.
A.A. 2015-2016. CORSO DI ALGEBRA 1. PROFF. P. PIAZZA, E. SPINELLI. SOLUZIONE ESERCIZI FOGLIO 4. Esercizio 4. 1. Data una coppia a, b N, consideriamo la loro fattorizzazione in primi. Esprimere in termini
DettagliA m n B n p = P m p. 0 1 a b c d. a b. 0 a 0 c Il risultato e lo stesso solo nel caso in cui c = 0 e a = d.
Matematica II, 220404 Il prodotto di matrici e un operazione parziale che prende in entrata una matrice A ed una matrice B, tali che il numero delle colonne di A sia uguale al numero delle righe di B,
Dettagli(ln 5)i 1 i. (c) (d) Scriviamo il numero complesso assegnato in forma algebrica:
Primo parziale Test. L argomento principale del numero complesso (ln 5)i i è (a) 4 π (b) (c) (d) Scriviamo il numero complesso assegnato in forma algebrica: Risposta esatta a) ln 5 i i = ln 5 i( + i) i
DettagliSesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva
Sesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva 2. stabilire quali ragionamenti sono corretti e quali no 3. distinguere tra condizione
DettagliEsercitazioni per il corso di Logica Matematica
Esercitazioni per il corso di Logica Matematica Luca Motto Ros 27 febbraio 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano
DettagliRISOLUZIONE ESERCIZI su INSIEMI NUMERICI. = 5 2 ; π = 9 2 ; ) Scrivere in forma diversa i seguenti numeri reali (a,b,c IR e a,b,c > 0):
RISOLUZIONE ESERCIZI su INSIEMI NUMERICI 1) In ordine crescente: 1/7 < 5/8 < 10 1 < 0,13 < 0,1 3 = /15 < 5/8 = 10/16 < 1/7 < < 0,0031 10 3 < 3,1 = 157/50 < π. ) In ordine crescente: 0/9 < 16/17 = 3/3
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
Dettagli