Logica proposizionale classica. Studia il comportamento dei connettivi proposizionali quali ( And ) e ( Or )
|
|
- Beniamino Pellegrino
- 5 anni fa
- Visualizzazioni
Transcript
1 Logica proposizionale classica Studia il comportamento dei connettivi proposizionali quali ( And ) e ( Or ) Parte da una famiglia di enunciati atomici di cui non analizziamo la struttura interna, che rappresentiamo con delle lettere, di cui ci interessa conoscere solo il valore di verità Da queste lettere proposizionali costruiamo enunciati più elaborati usando i connettivi proposizionali Sapere quali enunciati composti sono veri a causa della loro struttura: le tautologie, e quali enunciati sono conseguenza logica di altri 1
2 Linguaggio della logica proposizionale classica insieme P = {p 1,p 2,p 3,...} di lettere proposizionali simboli di costante: (vero) e (falso) connettivi proposizionali: unari: (negazione) binari:,,,,... parentesi: (,) 2
3 Definizione delle formule proposizionali Una formula atomica è una lettera proposizionale, o. Indichiamo con ATProp l insieme di tutte le formule atomiche L insieme delle formule proposizionali Prop viene definito come il più piccolo insieme S Σ + che gode delle seguenti proprietà: 1. ATProp S 2. X S X S 3. X,Y S (X Y ) S, per ogni connettivo binario 3
4 Principio di induzione strutturale Metodo di dimostrazione che sfrutta la struttura induttiva delle formule Sia Q Prop, se CASO BASE: 1. ATProp Q PASSO INDUTTIVO: 2. X Q X Q 3. X,Y Q (X Y ) Q, per ogni connettivo binario Allora Q = Prop 4
5 Principio di ricorsione strutturale C è una ed una sola funzione f definita su Prop tale che CASO BASE Il valore di f è specificato esplicitamente sulle formule atomiche attraverso una funzione g : ATProp D PASSO INDUTTIVO il valore di f su X viene specificato in termini del valore di f su X attraverso una funzione f : D D il valore di f su (X Y ) viene specificato in termini dei valori di f su X e su Y mediante una funzione l : BinarySymbol D D D 5
6 Definizione di funzioni per induzione Sia A U definito induttivamente dalla base B e dall insieme di costruttori K. Sia V un insieme arbitrario. Associamo ad ogni elemento a B un elemento h(a) V ad ogni costruttore r U n U K, (n 1), una funzione h(r) : V n V 6
7 Definizione di funzioni per induzione (ctnd.) Una definizione induttiva di una funzione g : A V viene data da a) g(a) = h(a) per ogni elemento a B b) g(a) = h(r)(g(a 1 ),...,g(a n )) cioé (a,h(r)(b 1,...,b n )) g se (a 1,b 1 ),...,(a n,b n ) g per tutti gli r U n U, e a 1,...,a n A con ((a 1,...,a n ),a) r Questa definizione è consistente solo se ad ogni a A viene assegnato esattamente un valore mediante a) oppure b) (cioé se g è una funzione) Se questa condizione viene soddisfatta diciamo che g è ben definita 7
8 Definizione di funzioni per induzione (ctnd 1.) Teorema di ricorsione Se la definizione induttiva di un insieme A mediante l insieme base B e l insieme dei costruttori K è libera, allora la funzione g : A V definita induttivamente come nella definizione precedente è ben definita 8
9 Unicità del parsing Ogni formula proposizionale è esattamente in una delle tre categorie: Atomica X per un unica formula proposizionale X (X Y ) per un unico simbolo binario e formule proposizionali uniche X e Y 9
10 Sottoformula Le sottoformule immediate sono definite come segue: 1. Una formula atomica non ha sottoformule immediate 2. La sola sottoformula immediata di X è X 3. Per un simbolo binario, le sottoformule immediate di (X Y ) sono X e Y L insieme delle sottoformule di una formula X è il più piccolo insieme S tale che: X S per ogni Y S, tutte le sottoformule immediate di Y sono contenute in S 10
11 Semantica della logica proposizionale La logica classica è a due valori. Prendiamo come spazio dei valori di verità l insieme Tr = {t, f} Come interpretiamo ciascuno dei simboli di operazione del linguaggio? Per la negazione assumiamo di avere una mappa : Tr Tr data da (t) = f e (f) = t Possiamo individuare dieci connettivi. Otto primari e due secondari 11
12 Connettivi binari t t t t t t f f f f t f t f f t f t t f t f f t f t f t t f t f f t f t f f f f t t t t f f t f 12
13 Valutazioni booleane Una valutazione booleana è un applicazione v : Prop Tr che soddisfa le condizioni 1. v( ) = t, v( ) = f 2. v( X) = v(x) 3. v(x Y ) = v(x) v(y ), dove sta per uno dei connettivi proposizionali Lemma Data f : {p 1,p 2,...} Tr, esiste un unica valutazione booleana v f tale che v f (P) = f(p), per ogni lettera proposizionale P. 13
14 Valutazioni booleane Lemma Siano S un insieme di lettere proposizionali, X una formula proposizionale coinvolgente solo lettere proposizionali in S, e v 1,v 2 due valutazioni booleane tali che v 1 (P) = v 2 (P) per ogni P S, allora v 1 (X) = v 2 (X). 14
Logica proposizionale classica. Studia il comportamento dei connettivi proposizionali quali ( And ) e ( Or )
Logica proposizionale classica Studia il comportamento dei connettivi proposizionali quali ( And ) e ( Or ) Parte da una famiglia di enunciati atomici di cui non analizziamo la struttura interna, che rappresentiamo
DettagliCorso di Logica Computazionale
Corso di Logica Computazionale Laurea Magistrale in Informatica Anno Accademico 2011/12 Docente: Marianna Nicolosi Asmundo 1 Logica Computazionale La parola logica viene dal greco λóγoς che significa discorso
DettagliInduzione. Definizione induttiva di insiemi e funzioni Principio di induzione strutturale
Induzione Definizione induttiva di insiemi e funzioni Principio di induzione strutturale Gli insiemi definiti per induzione ricevono una struttura che può servire come base per la definizione induttiva
DettagliFondamenti di Informatica 2
Fondamenti di Informatica 2 Linguaggi e Complessità : Lezione 1 Corso Fondamenti di Informatica 2 Marco Schaerf, 2009-2010 Linguaggi e Complessità : Lezione 1 1 Logica proposizionale Linguaggio matematico
DettagliRagionamento Automatico Richiami di tableaux proposizionali
Richiami di logica e deduzione proposizionale Ragionamento Automatico Richiami di tableaux proposizionali (L. Carlucci Aiello & F. Pirri: SLL, Cap. 5) La logica proposizionale I tableau proposizionali
DettagliCorso di Logica Computazionale
Corso di Logica Computazionale Laurea Magistrale in Informatica Anno Accademico 2010/11 Docente: Marianna Nicolosi Asmundo 1 Logica Computazionale La parola logica viene dal greco λóγoς che significa discorso
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 1 Calcolo Proposizionale: sintassi e semantica Tautologie Esempi di Formalizzazione di Enunciati pag.
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
DettagliLogica. Claudio Sacerdoti Coen 13-15/11/ : Semantica classica della logica proposizionale. Universitá di Bologna
Logica 6: Semantica classica della logica proposizionale Universitá di Bologna 13-15/11/2017 Outline Semantica classica della logica proposizionale 1 Semantica classica della logica
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 6 Logica del Primo Ordine Motivazioni Sintassi di Termini e Formule Formule aperte e chiuse A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a.
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à
DettagliCALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini
CALCOLO PROPOSIZIONALE Corso di Logica per la Programmazione Andrea Corradini andrea@di.unipi.it UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti
DettagliDIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI. Corso di Logica per la Programmazione
DIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI Corso di Logica per la Programmazione SULLE LEGGI DEL CALCOLO PROPOSIZIONALE Abbiamo visto le leggi per l'equivalenza ( ),
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 proposizionale
Fondamenti di Informatica per la Sicurezza a.a. 2008/09 Logica proposizionale Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università degli
DettagliSintassi. Linguaggi. 4: Sintassi. Claudio Sacerdoti Coen. Universitá di Bologna 24/02/2011. Claudio Sacerdoti Coen
Linguaggi 4: Universitá di Bologna 24/02/2011 Outline 1 Wikipedia: La sintassi è la branca della linguistica che studia i diversi modi in cui le parole si uniscono tra loro per formare
DettagliDIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini
DIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini SULLE LEGGI DEL CALCOLO PROPOSIZIONALE Abbiamo visto le
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 4 Dimostrazione di Implicazioni Tautologiche Principio di sostituzione per l implicazione Occorrenze positive e negative Altre tecniche di dimostrazione Forme Normali
DettagliLogica. 7: Conseguenza ed equivalenza logica in logica classica proposizionale. Claudio Sacerdoti Coen. Universitá di Bologna
Logica 7: Conseguenza ed equivalenza logica in logica classica proposizionale Universitá di Bologna 30/11/2016 Outline Conseguenza logica per la logica proposizionale Wikipedia:
DettagliEsercizi assegnati il 17 ottobre
Davide Masi 1 Primo Esercizio Esercizi assegnati il 17 ottobre 1 Primo Esercizio Verificare se i seguenti sequent sono validi nella semantica di S4: ( A B), B A (1.1) ( B A), A B (1.2) (( A B) C), A, B
DettagliOperatori di relazione
Condizioni Negli algoritmi compaiono passi decisionali che contengono una proposizione (o predicato) dal cui valore di verità dipende la sequenza dinamica Chiamiamo condizioni tali proposizioni Nei casi
DettagliLogica: nozioni di base
Fondamenti di Informatica Sistemi di Elaborazione delle Informazioni Informatica Applicata Logica: nozioni di base Antonella Poggi Anno Accademico 2012-2013 DIPARTIMENTO DI SCIENZE DOCUMENTARIE LINGUISTICO
DettagliLOGICA FUZZY, I LOGICA DI GÖDEL
LOICA FUZZY, I LOICA DI ÖDEL SINTASSI, SEMANTICA POLIVALENTE, COMPLETEZZA VINCENZO MARRA 1. Sintassi Si consideri nuovamente l alfabeto A = {(, ), X,, $,,,,, } impiegato per la logica proposizionale classica,
DettagliIntroduzione alla logica proposizionale
Introduzione alla logica proposizionale Francesco Paoli Dispense per gli studenti March 6, 2013 1 Linguaggi proposizionali Nel presente modulo studieremo la logica proposizionale classica. In generale,
DettagliCorso di Logica Computazionale Laurea Magistrale in Informatica Anno Accademico 2014/15
Corso di Logica Computazionale Laurea Magistrale in Informatica Anno Accademico 2014/15 Docente: Marianna Nicolosi Asmundo 1 Logica Computazionale La parola logica viene dal greco λóγoς che significa discorso
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
DettagliLuca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1
Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 6 Logica del Primo Ordine Motivazioni Sintassi Interpretazioni Formalizzazione pag. 1 Limiti del Calcolo Proposizionale Nella formalizzazione di enunciati dichiarativi,
DettagliLOGICA FUZZY, I LOGICA PROPOSIZIONALE CLASSICA VINCENZO MARRA
LOGICA FUZZY, I LOGICA PROPOSIZIONALE CLASSICA VINCENZO MARRA 1. Sintassi L insieme dei numeri naturali è N = 1, 2,...}. Si consideri l alfabeto A = (, ), X,, $,,,,, }, e sia A l insieme delle stringhe
DettagliLogiche descrittive Le logiche descrittive sono una famiglia di formalismi per la rappresentazione della conoscenza (KR) che descrivono ciò che è
Logiche descrittive Le logiche descrittive sono una famiglia di formalismi per la rappresentazione della conoscenza (KR) che descrivono ciò che è noto in un dominio di applicazione definendo i concetti
DettagliLOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)
LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) DISPENSA N. 3 Sommario. Introduciamo il Calcolo dei Predicati del I ordine e ne dimostriamo le proprietà fondamentali. Discutiamo il trattamento dell identità
DettagliUniversità degli Studi di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica ALGEBRA BOOLEANA
Università degli Studi di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica ALGEBRA BOOLEANA Introduzione George Boole (1815-1864) nel 1854 elaborò una algebra basata su predicati logici. Valori
DettagliLinguaggi. Claudio Sacerdoti Coen 29,?/10/ : La struttura dei numeri naturali. Universitá di Bologna
Linguaggi 5: La struttura dei numeri naturali Universitá di Bologna 29,?/10/2014 Outline La struttura dei numeri naturali 1 La struttura dei numeri naturali I numeri naturali La
DettagliRagionamento Automatico Richiami di calcolo dei predicati
Richiami di logica del primo ordine Ragionamento Automatico Richiami di calcolo dei predicati (SLL: Capitolo 7) Sintassi Semantica Lezione 2 Ragionamento Automatico Carlucci Aiello, 2004/05Lezione 2 0
DettagliCALCOLO PROPOSIZIONALE: CENNI
CALCOLO PROPOSIZIONALE: CENNI Francesca Levi Dipartimento di Informatica February 26, 2016 F.Levi Dip.to Informatica Informatica per le Scienze Umane a.a. 15/16 pag. 1 La Logica La logica è la disciplina
DettagliLOGICA a.a Esempio di domande 2 prof.ssa Giovanna Corsi
LOGICA a.a. 2014-2015 Esempio di domande 2 prof.ssa Giovanna Corsi January 4, 2015 1. (a) Cosa dice il cosiddetto Assioma di Aristotele? (b) Qual è la contraria di Tutti gli uomini sono mortali? (c) Qual
DettagliLOGICA MATEMATICA PER INFORMATICA
LOGICA MATEMATICA PER INFORMATICA A.A. 10/11, DISPENSA N. 2 Sommario. Assiomi dell identità, modelli normali. Forma normale negativa, forma normale prenessa, forma normale di Skolem. 1. L identità Esistono
DettagliLogica Proposizionale
Logica Proposizionale Domenico Cantone Dipartimento di Matematica e Informatica Università di Catania Logica Computazionale, A.A. 2006/07 Outline 1 Sintassi e Semantica Sintassi Semantica 2 Tableaux semantici
DettagliIl principio di Induzione Matematica
Il principio di Induzione Matematica prf.ssa Giovanna Corsi 11 luglio 2004 Il principio di induzione matematica è un metodo dimostrativo che fa esplicito riferimento ai numeri naturali.... Il riferimento
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
DettagliErrata corrige del libro Introduzione alla logica e al linguaggio matematico
Errata corrige del libro Introduzione alla logica e al linguaggio matematico 28 gennaio 2009 Capitolo 1 Pag. 7, Definizione 6. Il complemento di un sottoinsieme A di I è il sottoinsieme A = {x I : x /
DettagliLogica proposizionale
Definire un linguaggio formale Logica proposizionale Sandro Zucchi 2013-14 Definiamo un linguaggio formale LP (che appartiene a una classe di linguaggi detti linguaggi della logica proposizionale) Per
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,
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
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
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 6 Logica del Primo Ordine Motivazioni Sintassi Interpretazioni Formalizzazione A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2015/16 pag.
DettagliLogica proposizionale
Università di Bergamo Facoltà di Ingegneria Intelligenza Artificiale Paolo Salvaneschi A7_2 V1.1 Logica proposizionale Il contenuto del documento è liberamente utilizzabile dagli studenti, per studio personale
DettagliNOZIONI DI LOGICA PROPOSIZIONI.
NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale
DettagliLOGICA MATEMATICA PER INFORMATICA
LOGICA MATEMATICA PER INFORMATICA A.A. 10/11, SETTIMANA N. 1 Sommario. Introduciamo il linguaggio e la sintassi e la semantica della Logica del I Ordine. Introduciamo i concetti di teoria, teoria completa,
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
DettagliFunzioni, espressioni e schemi logici
Funzioni, espressioni e schemi logici Il modello strutturale delle reti logiche Configurazioni di n bit che codificano i simboli di un insieme I i i n F: I S U u u m Configurazioni di m bit che codificano
DettagliRELAZIONI TRA SINTASSI E SEMANTICA
RELAZIONI TRA SINTASSI E SEMANTICA INTERPRETAZIONI E MODELLI Sia Γ un insieme di enunciati dichiarativi (asserzioni che hanno valore T o F) Una intepretazione assegna un significato ad ogni componente
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 7 Formule Valide, Conseguenza Logica Proof System per la Logica del Primo Ordine Leggi per i Quantificatori
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 è
DettagliUniversità degli Studi di Bologna
Università degli Studi di Bologna Corso di Laurea in Informatica Esercitazione scritta di LOGICA PER L INFORMATICA Esempio per l anno accademico 2018-2019 1 (1 punto). Dare la sintassi per le formule della
DettagliI.3 Porte Logiche. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica
I.3 Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti 1 2 3 Elaboratore Hardware È il mezzo con il quale l informazione è elaborata. Software
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 2 Dimostrazione di Tautologie Tabelle di Verità Dimostrazioni per sostituzione Leggi del Calcolo Proposizionale A. Corradini e F.Levi Dip.to Informatica Logica per
DettagliMaiuscole e minuscole
Maiuscole e minuscole Abilità interessate Distinguere tra processi induttivi e processi deduttivi. Comprendere il ruolo e le caratteristiche di un sistema assiomatico. Riconoscere aspetti sintattici e
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e
DettagliLinguaggi del I ordine - semantica. Per dare significato ad una formula del I ordine bisogna specificare
Linguaggi del I ordine - semantica Per dare significato ad una formula del I ordine bisogna specificare Un dominio Un interpretazione Un assegnamento 1 Linguaggi del I ordine - semantica (ctnd.1) Un modello
Dettagli4 La Logica come base di ogni scienza. 5 Alla ricerca della forma logica. logica
4 La Logica come base di ogni scienza La Logica è alla base di ogni scienza (o teoria) in quanto è fondamento di ogni scienza non tanto per i contenuti specifici ma per la loro articolazione deduttiva.
DettagliAl fine di catturare matematicamente la nozione di conseguenza logica introduciamo i concetti fondamentali di modello e soddisfacibilità.
ELEMENTI DI LOGICA PROBABILISTICA 15 2.3. Conseguenza logica. 7 Le condizioni di verità, unite ai principi semantici fondamentali che le sottendono, ci permettono di decidere, per ogni 2EL, quale tra 0
DettagliRegistro delle Lezioni. Anno Accademico
Registro delle Lezioni Anno Accademico 2018-19 Scuola di Scienze e Ingegneria Dipartimento di Informatica Corso di Laurea in Informatica Insegnamento: Logica (sezione matricole pari) Docente: Prof.ssa
DettagliTeorema 1.1. (Teorema di Compattezza) Sia Γ un insieme di formule di un linguaggio proposizionale.
versione 12 ottobre 2011 1.1. Logica Proposizionale. 1. Teorema di Compattezza e risultati limitativi Teorema 1.1. (Teorema di Compattezza) Sia Γ un insieme di formule di un linguaggio proposizionale.
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
DettagliLogica Proposizionale
Intelligenza rtificiale I Logica Proposizionale Introduzione Marco Piastra Intelligenza rtificiale I -.. 28-29 29 Introduzione al corso ] lgebre di Boole Definizione Una collezione di oggetti X su cui
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/16
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/16 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e
DettagliAppunti del corso di Teorie Logiche 1 Tipi e Logica Lineare (a.a. 2014/2015) V. M. Abrusci
Appunti del corso di Teorie Logiche 1 Tipi e Logica Lineare (aa 2014/2015) V M Abrusci 21 maggio 2015 2 Indice 1 Calcolo dei sequenti per la logica classica 7 11 Preliminari 7 111 Linguaggio 7 112 Regole
DettagliAgenti Basati su Logica
Agenti Basati su Logica Corso di Intelligenza Artificiale, a.a. 2017-2018 Prof. Francesco Trovò 09/04/2018 Agenti basati sulla logica Generico agente logico Il mondo del Wumpus Logica proposizionale Inferenza
DettagliAlberi: definizioni e dimostrazioni induttive.
Alberi: definizioni e dimostrazioni induttive. Gennaio 2005 Iniziamo con l introdurre la nozione di albero. Con N indichiamo l insieme dei numeri naturali (zero escluso) e con N l insieme delle liste finite
DettagliSeconda lezione. Dipartimento di Matematica Università di Salerno
Algebra della Logica Seconda lezione Dipartimento di Matematica Università di Salerno http://logica.dmi.unisa.it/lucaspada Scuola AILA 2017 Palazzo Feltrinelli, Gargnano, 20 26 agosto 2017. Completezza
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 7 Semantica della Logica del Primo Ordine Interpretazioni (richiamo) Un esempio informale di semantica Semantica dei termini Semantica delle formule Esempi A. Corradini
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
DettagliINTRODUZIONE ALLA LOGICA DI HOARE. Corso di Logica per la Programmazione A.A. 2013/14
INTRODUZIONE ALLA LOGICA DI HOARE Corso di Logica per la Programmazione A.A. 2013/14 INTRODUZIONE Dall inizio del corso ad ora abbiamo introdotto, un po alla volta, un linguaggio logico sempre più ricco:
DettagliIntroduzione alla logica proposizionale
Introduzione alla logica proposizionale Mauro Bianco Questa frase è falsa Contents 1 Proposizioni 1 2 Altri operatori 4 Nota : Le parti delimitate da *** sono da considerarsi facoltative. 1 Proposizioni
DettagliCalcolo numerico e programmazione Elementi di logica
Calcolo numerico e programmazione Elementi di logica Tullio Facchinetti 23 marzo 2012 10:50 http://robot.unipv.it/toolleeo Algebra booleana (George Boole (1815-1864)) è definita
DettagliINSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti.
INSIEMI DEF. Un INSIEME è una qualsiasi collezione di oggetti. Esso è ben definito quando è chiaro se un oggetto appartiene o non appartiene all insieme stesso. Esempio. E possibile definire l insieme
DettagliLogica booleana. Bogdan Maris ( )
Logica booleana 1 Algebra di Boole Opera con i soli valori di verità 0 o 1 (variabili booleane o logiche) La struttura algebrica studiata dall'algebra booleana è finalizzata all'elaborazione di espressioni
DettagliRELAZIONI TRA SINTASSI E SEMANTICA
RELAZIONI TRA SINTASSI E SEMANTICA INTERPRETAZIONI E MODELLI Sia un insieme di enunciati dichiarativi (asserzioni che hanno valore T o F) Una intepretazione assegna un significato ad ogni componente degli
DettagliT1: Logica, discorso e conoscenza. Logica classica
T1: Logica, discorso e conoscenza Primo modulo: Logica classica ovvero Deduzione formale vs verità: un introduzione ai teoremi limitativi Simone Martini Dipartimento di Scienze dell Informazione Alma mater
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
Dettagli1 Giochi di Ehrenfeucht-Fraissé e Logica del Prim ordine
1 Giochi di Ehrenfeucht-Fraissé e Logica del Prim ordine In questo tipo di giochi l arena è costituita da due grafi orientati G = (V, E), G = (V, E ). Lo scopo del I giocatore è di mostrare, in un numero
DettagliInformatica. Logica e Algebra di Boole
Informatica Logica e Algebra di Boole La logica è la scienza del corretto ragionamento e consiste nello studio dei principi e dei metodi che consentono di individuare il corretto ragionamento. Lo studioso
DettagliLOGICA DEL PRIMO ORDINE: MOTIVAZIONI, SINTASSI E INTERPRETAZIONI. Corso di Logica per la Programmazione A.A Andrea Corradini
LOGICA DEL PRIMO ORDINE: MOTIVAZIONI, SINTASSI E INTERPRETAZIONI Corso di Logica per la Programmazione A.A. 2013 Andrea Corradini LIMITI DEL CALCOLO PROPOSIZIONALE Nella formalizzazione di enunciati dichiarativi,
DettagliVerità, tautologia e implicazione logica
Condizioni di verità delle frasi di LP erità, tautologia e implicazione logica Sandro Zucchi Passiamo ora alla terza parte del compito di descrivere il linguaggio LP: Come vengono calcolate le condizioni
DettagliLogica. Claudio Sacerdoti Coen 16,23,25,30/10/2017, 06/11/ : Sintassi. Universitá di Bologna.
Logica 4: Universitá di Bologna 16,23,25,30/10/2017, 06/11/2017 Outline 1 Wikipedia: La sintassi è la branca della linguistica che studia i diversi modi in cui le parole si uniscono
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
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 9 Leggi per i Quantificatori pag. 1 Riassunto Abbiamo rivisitato le Regole di Inferenza del Calcolo
DettagliCalcolo proposizionale
Calcolo proposizionale Vero e falso: logica binaria Una proposizione è una affermazione (formula ben formata di un linguaggio), che può essere vera oppure falsa Es. Mia madre mi vuole bene Non esiste una
DettagliLo studioso di logica si chiede se la conclusione segue correttamente dalla premesse fornite e se premesse sono buone per accettare la conclusione.
Logica binaria La logica è la scienza del corretto ragionamento e consiste nello studio dei principi e dei metodi che consentono di individuare il corretto ragionamento. Lo studioso di logica si chiede
DettagliIntroduzione alla logica
Corso di Intelligenza Artificiale 2011/12 Introduzione alla logica iola Schiaffonati Dipartimento di Elettronica e Informazione Sommario 2 Logica proposizionale (logica di Boole) Logica del primo ordine
DettagliMETODI MATEMATICI PER L INFORMATICA
METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 7 19/05/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Ricorsione Esercizio 2 pagina 357 Trovare f(1), f(2), f(3),
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 8 Formalizzazione di Enunciati Semantica della Logica del Primo Ordine pag. 1 pag. 2 Fconnettivi Formalizzazione di Enunciati: Linee Guida (1) Anche se abbiamo associato
DettagliAPI. Ripasso di logica. Davide Martinenghi. Politecnico di Milano. API Davide Martinenghi (1/30)
API Ripasso di logica Davide Martinenghi Politecnico di Milano API Davide Martinenghi (1/30) Logica proposizionale - sintassi L è un linguaggio della logica proposizionale L alfabeto di L è composto da
Dettagli