si vuole verificare: P5: pioverà
|
|
- Giorgiana Giannini
- 4 anni fa
- Visualizzazioni
Transcript
1 Logica matematica ntroduzione alla logica matematica ilvana adaloni Paolo ison Fondamenti di nformatica AA niversità di Padova formalizzazione dei meccanismi di ragionamento la logica studia proposizioni una proposizione può essere vera o falsa logica a due valori di verità ntroduzione alla logica matematica Paolo ison AA p ntroduzione alla logica matematica Paolo ison AA p2 Formalizzazione sintassi in che modo scrivere le proposizioni semantica significato delle proposizioni P: e fa caldo ed è umido allora pioverà P2: e è umido ed è estate allora fa caldo P: adesso è umido P4: adesso è estate si vuole verificare: P: pioverà ntroduzione alla logica matematica Paolo ison AA p ntroduzione alla logica matematica Paolo ison AA p4 Ad ogni proposizione elementare viene associata una variabile proposizionale = fa caldo = è umido = è estate = pioverà La rappresentazione per l esempio è F: F2: F: F4: si vuole dimostrare che da FF4 segue logicamente: F: rappresenta la congiunzione rappresenta la implicazione logica ntroduzione alla logica matematica Paolo ison AA p ntroduzione alla logica matematica Paolo ison AA p intassi Connettivi logici La logica proposizionale tratta formule na formula è composta da: formule atomiche o atomi A C connettivi logici parentesi not negazione or disgiunzione congiunzione if implicazione if only if biimplicazione ntroduzione alla logica matematica Paolo ison AA p ntroduzione alla logica matematica Paolo ison AA p
2 Formule ben formate na formula è ben formata FF se e solo se essa è ottenibile applico le seguenti regole: un atomo è una FF 2 se è una FF allora è una FF se e sono FF allora lo sono anche e Priorità dei connettivi tabilendo un ordinamento tra i connettivi è possibile eliminare alcune parentesi L ordine adottato è il seguente: 2 ntroduzione alla logica matematica Paolo ison AA p9 ntroduzione alla logica matematica Paolo ison AA p0 emantica la semantica della logica proposizionale richiede l introduzione dei valori di verità dare una interpretazione vuol dire trovare una funzione Valore di verità di una formula i può calcolare il valore di verità di una espressione del Calcolo Proposizionale a partire dai valore di verità delle formule atomiche che la compongono interpretazioni e dalle tabelle di verità dei connettivi logici essendo l insieme delle formule ben formate FF del Calcolo Proposizionale ntroduzione alla logica matematica Paolo ison AA p ntroduzione alla logica matematica Paolo ison AA p2 abelle di verità dei connettivi logici F F F F F F F F F F F F F autologie Alcune formule sono vere in tutte le interpretazioni F F F F F F F F autologie o formule valide ntroduzione alla logica matematica Paolo ison AA p ntroduzione alla logica matematica Paolo ison AA p4 Contraddizioni formule che sono false in tutte le interpretazioni F F F F F F F F F F F Contraddizioni o formule inconsistenti Decidibilità della logica proposizionale Ogni formula è finita e contiene un numero finito di formule atomiche: quindi è sempre possibile determinare se essa è valida inconsistente o ne l uno ne l altro La logica proposizionale è decidibile ntroduzione alla logica matematica Paolo ison AA p ntroduzione alla logica matematica Paolo ison AA p
3 Equivalenza Logica Due formule e sono equivalenti e si indica con se e solo se esse hanno lo stesso valore di verità in tutte le interpretazioni i può dimostrare che se e solo se la formula è una tautologia ntroduzione alla logica matematica Paolo ison AA p elazioni di equivalenza logica identità doppia negazione idempotenza idempotenza esclusione ntroduzione alla logica matematica Paolo ison AA p elazioni di equivalenza logica complementarietà associatività associatività commutatività commutatività distributività distributività legge di De Morgan legge di De Morgan ntroduzione alla logica matematica Paolo ison AA p9 elazioni di equivalenza logica eliminazione implicazione proprietà implicazione proprietà implicazione 0 doppia implicazione ntroduzione alla logica matematica Paolo ison AA p20 Esempio verificare che le seguenti formule sono equivalenti: a b : ; = A C D 9 E F ntroduzione alla logica matematica Paolo ison AA p2 Esempio a Verificare se la seguente formula è una tautologia: 2 tabella di verità a F F F F F F F ntroduzione alla logica matematica Paolo ison AA p22 Esempio b relazione di equivalenza propr impl elim impl elim impl distributiva neutri J K L neutri doppia neg compl M L ntroduzione alla logica matematica Paolo ison AA p2 Deduzione logica Nell esempio introduttivo le formule N O P sono dette premesse e Q è detta conclusione o conseguenza logica na formula segue logicamente da un insieme di formule se è vera in tutte le interpretazioni in cui sono vere i scrive: ntroduzione alla logica matematica Paolo ison AA p24
4 eorema di Deduzione eorema di Deduzione Date le formule se e solo se la formula: è una tautologia e la formula n teorema analogo stabilisce che: Date le formule e la formula se e solo se la formula: è una contraddizione ntroduzione alla logica matematica Paolo ison AA p2 ntroduzione alla logica matematica Paolo ison AA p2 Metodi per provare teoremi Deduzione naturale diretto: si dimostra che 2 per refutazione: si dimostra che è una tautologia è una contraddizione E un metodo diretto per provare teoremi i applica una regola di inferenza a un insieme di premesse i continua fino a che si trova una formula che coincide con la formula da provare goal oppure quo non si possono dedurre più nuove formule il goal non è un teorema Deduzione di nuove proposizioni da altre per mezzo di un metodo formale Non è facile da incorporare in un programma automatico: ad ogni passo quale regola ntroduzione alla logica matematica Paolo ison AA p2 ntroduzione alla logica matematica Paolo ison AA p2 egole di inferenza Esempio if 2 if if 4 if if if if modus ponens modus tollens 2 4 da queste premesse proviamo per regola ; da e 2 per modus ponens; per regola ; D per modus ponens ntroduzione alla logica matematica Paolo ison AA p29 ntroduzione alla logica matematica Paolo ison AA p0 Do it yourself i dica se la seguente formula è una tautologia: i dica se le seguenti espressioni del calcolo proposizionale sono o non sono equivalenti: a b i dica se la seguente formula del calcolo proposizionale è una contraddizione Connettivi logici in Java operatore unario not operatori binari ˆ xor or esclusivo or condizionale or condizionale ntroduzione alla logica matematica Paolo ison AA p ntroduzione alla logica matematica Paolo ison AA p2
5 Connettivi logici in Java tabelle di verità A e espressioni di tipo boolean A A A A Aˆ true true false true true false true false false false true true false true true false true true false false true false false false Esempi di espressioni k>=0 kn EAO 0=kn k0 k>=n k>=0 kn x>0 yxx=0 ntroduzione alla logica matematica Paolo ison AA p ntroduzione alla logica matematica Paolo ison AA p4 Connettivi condizionali il secondo opero viene valutato se e solo se il primo è true se l operatore è il primo è false se l operatore è esempi k>=0 kn k0 k>=n a=0 ba>00 EAO a=0 ba>00 a==0 c=b>00 EAO a==0 c=b>00 Espressione condizionale sintassi expr0> expr> : expr2> semantica se il valore di expr0> è true si valuta expr> altrimenti expr2> esempi x>=0 x : x x>y x>z x : z : y>z y : z n=k>y ky : yk; if k>yn= ky; else n=yk; ntroduzione alla logica matematica Paolo ison AA p ntroduzione alla logica matematica Paolo ison AA p Do it yourself esprimere il connettivo xor in termini degli altri connettivi ntroduzione alla logica matematica Paolo ison AA p
Introduzione alla logica matematica
Introduzione alla logica matematica, Paolo Bison, A.A. 2004-05, 2004-10-26 p.1/29 Introduzione alla logica matematica Silvana Badaloni Paolo Bison Fondamenti di Informatica 1 A.A. 2004/05 Università di
DettagliIntroduzione alla logica matematica. Logica matematica. Paolo Bison
Introduzione alla logica matematica Paolo Bison Fondamenti di Informatica Ingegneria Meccanica Università di Padova A.A. 2008/09 Logica matematica formalizzazione dei meccanismi di ragionamento la 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
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 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
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
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
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
DettagliLogica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;
Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,
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
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 PER LA PROGRAMMAZIONE
LOGICA PER LA PROGRAMMAZIONE Franco Turini turini@di.unipi.it IPSE DIXIT Occorre dire, anzitutto, quale oggetto riguardi ed a quale disciplina spetti la presente indagine, che essa cioè riguarda la dimostrazione
DettagliSemantica proposizionale. Unit 2, Lez 3 e 4 Corso di Logica
Semantica proposizionale Unit 2, Lez 3 e 4 Corso di Logica Sommario Semantica dei connettivi Costruzione delle tavole di verità Tautologie, contraddizioni e contingenze Semantica delle forme argomentative
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
DettagliLOGICA PER LA PROGRAMMAZIONE a.a. 2017/18 Prima esercitazione 28/9/2017 Soluzioni Proposte
LOGICA PER LA PROGRAMMAZIONE a.a. 2017/18 Prima esercitazione 28/9/2017 Soluzioni Proposte Attenzione: Le soluzioni che seguono sono considerate corrette dai docenti. possono esistere altre soluzioni corrette,
DettagliDIMOSTRAZIONI DI TAUTOLOGIE. Corso di Logica per la Programmazione A.A. 2010/11 Andrea Corradini, Paolo Mancarella
DIMOSTRAZIONI DI TAUTOLOGIE Corso di Logica per la Programmazione A.A. 2010/11 Andrea Corradini, Paolo Mancarella DIMOSTRAZIONE DI TAUTOLOGIE Abbiamo detto che: Per dimostrare che p è una tautologia possiamo:
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.
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
DettagliLe variabili logiche possono essere combinate per mezzo di operatori detti connettivi logici. I principali sono:
Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: Connettivi logici True (vero identificato con 1) False (falso identificato con 0) Le variabili
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
DettagliEsercizi di Logica Matematica
Esercizi di Logica Matematica Francesco Bottacin 1 Logica Proposizionale Esercizio 1.1. Eliminare le parentesi non necessarie nelle seguenti formule: 1. ((A B) ( C)) 2. (A (B ( C))) 3. ((A B) (C D)) 4.
DettagliDIMOSTRAZIONI DI TAUTOLOGIE. Corso di Logica per la Programmazione
DIMOSTRAZIONI DI TAUTOLOGIE Corso di Logica per la Programmazione DIMOSTRAZIONE DI TAUTOLOGIE Abbiamo detto che: Per dimostrare che p è una tautologia possiamo: Usare le tabelle di verità, sfruttando quelle
DettagliAlgebra di Boole. Andrea Passerini Informatica. Algebra di Boole
Andrea Passerini passerini@disi.unitn.it Informatica Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: True (vero identificato con 1) False (falso
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
Dettaglimarina/did/mdis03/ marina/did/mdis03/ marina/did/mdis03/
Matematica Discreta (elementi) E-O CdL Informatica Elementi di logica formale 8 ottobre 2003 Marina Cazzola (marina@matapp.unimib.it) Dipartimento di Matematica e Applicazioni Università di Milano Bicocca
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
DettagliPrerequisiti Matematici
Prerequisiti Matematici Richiami di teoria degli insiemi Relazioni d ordine, d equivalenza Richiami di logica Logica proposizionale, tabelle di verità, calcolo dei predicati Importante: Principio di Induzione
DettagliIntelligenza Artificiale. Breve introduzione alla logica classica (Parte 2)
Intelligenza Artificiale Breve introduzione alla logica classica (Parte 2) Marco Piastra Logica formale (Parte 2) - Introduzione alla logica formale Parte. Preambolo: algebra di Boole, proposizioni, conseguenza
DettagliPrecedenza degli operatori
Operatori Booleani Operatori che lavorano bit a bit Anche detti bitwise operator o operatori booleani : AND: prodotto logico dati due bit restituisce il valore 1 se e solo se i bit erano entrambi posti
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
DettagliI.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica
I.2 Logica Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti Logica 1 Logica 2 3 Logica Si occupa dello studio delle strutture e delle regole
DettagliDI CHE COSA SI OCCUPA LA LOGICA
Di Emily Rinaldi DI CHE COSA SI OCCUPA LA LOGICA La logica si occupa dell esattezza dei ragionamenti Nei tempi antichi solo verbale. Nell epoca moderna la logica viene applicata per l ordinamento sistemazione
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
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
Dettagli4. Logica. Insegnamento di Informatica. Elisabetta Ronchieri. I semestre, anno Corso di Laurea di Economia, Universitá di Ferrara
4. Logica Insegnamento di Informatica Elisabetta Ronchieri Corso di Laurea di Economia, Universitá di Ferrara I semestre, anno 2014-2015 Elisabetta Ronchieri (Universitá) Insegnamento di Informatica I
DettagliMETODI MATEMATICI PER L INFORMATICA
METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 2 17/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Applicazioni della logica proposizionale La logica ha una
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
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
DettagliP : gli iscritti all università di Bari sono più di 1000
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia il ragionamento deduttivo, ovvero le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento
DettagliUn introduzione al corso di LOGICA PER LA PROGRAMMAZIONE
Un introduzione al corso di LOGICA PER LA PROGRAMMAZIONE Pisa, 14 e 16 settembre 2010 Andrea Corradini andrea@di.unipi.it LOGICA La LOGICA è la disciplina che studia le condizioni di correttezza del ragionamento
DettagliCenni di logica e calcolo proposizionale
Cenni di logica e calcolo proposizionale Corso di Laurea in Informatica Università degli Studi di Bari (sede Brindisi) Analisi Matematica S.Milella (sabina.milella@uniba.it) Cenni di logica 1 / 10 Proposizioni
DettagliLinguaggi. Claudio Sacerdoti Coen 13/12/ : I connettivi della logica proposizionale classica. Universitá di Bologna
Linguaggi 8: I connettivi della logica proposizionale classica Universitá di Bologna 13/12/2017 Outline I connettivi della logica proposizionale classica 1 I connettivi della logica
DettagliInformazione binaria: - rappresentazione di valori logici -
Informazione binaria: - rappresentazione di valori logici - Percorso di Preparazione agli Studi di Ingegneria Università degli Studi di Brescia Docente: Massimiliano Giacomin Tipologie di codici Nel seguito
DettagliCircuiti digitali. Operazioni Logiche: Algebra di Boole. Esempio di circuito. Porte Logiche. Fondamenti di Informatica A Ingegneria Gestionale
Operazioni Logiche: lgebra di oole Fondamenti di Informatica Ingegneria Gestionale Università degli Studi di rescia Docente: Prof. lfonso Gerevini Circuiti digitali Il calcolatore può essere visto come
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
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
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
DettagliBREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento è corretto se segue uno
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
DettagliAlgebra di Boole ed elementi di logica
Algebra di Boole ed elementi di logica Marco D. Santambrogio marco.santambrogio@polimi.it Ver. aggiornata al 10 O0obre 2013 Obiettivi Algebra di Boole Algebra di boole a due valori: algebra di commutazione
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 ( ),
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
DettagliC1: L C1 C2: L C2 C: C1 C2
Abbiamo visto Gli agenti logici applicano inferenze a una base di conoscenza per derivare nuove informazioni. Concetti base della logica: sintassi: struttura formale delle sentenze semantica: verita` di
DettagliIntelligenza Artificiale. Breve introduzione alla logica classica (Parte 1)
Intelligenza Artificiale Breve introduzione alla logica classica (Parte ) Marco Piastra Logica formale (Parte ) - Introduzione alla logica formale Parte. Preambolo: algebra di Boole, proposizioni, conseguenza
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
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
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 3 Dimostrazione di Tautologie e Sintassi del Calcolo osizionale Antonio, Corrado e Bruno... formalmente Tautologie: dimostrazioni e controesempi Sintassi del Calcolo
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 3 Dimostrazione di Tautologie e Sintassi del Calcolo osizionale Antonio, Corrado e Bruno... formalmente Tautologie: dimostrazioni e controesempi Sintassi del Calcolo
DettagliNOZIONI DI LOGICA. Premessa
NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una
DettagliIntelligenza Artificiale. Logica proposizionale classica (Parte 2)
Intelligenza Artificiale Logica proposizionale classica (Parte 2) Marco Piastra Logica formale (Parte 2) - Introduzione alla logica formale Parte. Preambolo: algebra di Boole, proposizioni, conseguenza
DettagliProgramma del corso. Elementi di Programmazione. Introduzione agli algoritmi. Rappresentazione delle Informazioni. Architettura del calcolatore
Programma del corso Introduzione agli algoritmi Rappresentazione delle Informazioni Elementi di Programmazione Architettura del calcolatore Reti di Calcolatori Calcolo proposizionale Algebra Booleana Contempla
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,
DettagliLa logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di
La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di studio da parte anche dei matematici. LE PROPOSIZIONI
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,
DettagliProposizioni e verità
Proposizioni e verità Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Parte Istituzionale A.A. 2007-08 Contents 1 Proposizione.......................................... 3 2 Verità...............................................
DettagliIntelligenza Artificiale I
Intelligenza rtificiale I Logica formale Primi elementi Marco Piastra Logica formale - Primi elementi - Sottoinsiemi e operatori Sottoinsiemi U Insieme di riferimento (insieme sostegno) {,, C, } Collezione
DettagliLOGICA PER LA PROGRAMMAZIONE a.a. 2016/17 Seconda esercitazione - 11/10/16 - Soluzioni Proposte
LOGICA ER LA ROGRAMMAZIONE a.a. 2016/17 Seconda esercitazione - 11/10/16 - Soluzioni roposte 1. Nei seguenti passi di dimostrazione, indicare il connettivo logico corretto da sostituire a? applicando il
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
DettagliUniversità degli Studi di Milano
Università degli Studi di Milano Laurea in Sicurezza dei sistemi e delle reti informatiche Note di logica proposizionale STEFANO FERRARI Fondamenti di informatica per la sicurezza Note di logica proposizionale
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
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à :LogicaIParte Lucidi di M.Schaerf e A.Marchetti Spaccamela Fondamenti di Informatica 2: Logica } Indice degli argomenti Introduzione: Motivazioni, Prove,
DettagliLogica booleana, Costrutto IF
Logica booleana, Costrutto IF Informatica@SEFA 207/208 - Lezione 4 Massimo Lauria http://massimolauria.net/courses/infosefa207/ Mercoledì, 4 Ottobre 207 La logica booleana 2
DettagliIntelligenza Artificiale. Logica Prime definizioni
Intelligenza rtificiale Logica Prime definizioni Marco Piastra Logica formale (Parte ) - Parte Sottoinsiemi lgebra di oole Linguaggio proposizionale Soddisfacibilità Conseguenza logica Logica formale (Parte
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
DettagliL AND di x e y si indica con x y (oppure xy) L OR di x e y si indica con x + y Il NOT di x si indica con x ( oppure con x, ~x, (not x), x )
ALGEBRA BOOLEANA Insieme K con elementi che assumono i valori {0,1) con operatori (AND, OR, NOT) Notazione: Se x e y sono due variabili booleane: L AND di x e y si indica con x y (oppure xy) L OR di x
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
DettagliLogica & Linguaggio: Logica Proposizionale II
Logica & Linguaggio: Logica Proposizionale II Raffaella Bernardi Università degli Studi di Trento P.zza Venezia, Room: 2.05, e-mail: bernardi@disi.unitn.it Contents 1 Fatto e da fare............................................
DettagliCalcolo proposizionale
1 Il calcolo delle proposizioni Una proposizione logica si dice semplice o atomica se contiene soltanto un predicato. Due o più proposizioni semplici collegate mediante l'uso di connettivi formano proposizioni
DettagliCodifica binaria: - valori logici e algebra di Boole -
Codifica binaria: - valori logici e algebra di Boole - Ingegneria Meccanica e dei Materiali Università degli Studi di Brescia Prof. Massimiliano Giacomin Tipologie di codici Per la rappresentazione di:
DettagliLa logica matematica. Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S
La logica matematica Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S. 2010-2011 La logica studia le proposizioni logiche e le relazioni tra esse. Una proposizione logica è
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
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
DettagliFondamenti teorici e programmazione
Fondamenti teorici e programmazione FTP(A) - modb Lezione 8 F.Bonchi Dip.to Informatica Fondamenti teorici e programmazione (A) - modb a.a. 2018/19 pag. 1 Ragionamento formale Comprendere le basi del ragionamento
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
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
DettagliUNIVERSITÀ DEGLI STUDI LA SAPIENZA CORSO DI STUDI IN INFORMATICA ESERCITAZIONI AL CORSO DI LOGICA MATEMATICA LOGICA PROPOSIZIONALE
UNIVERSITÀ DEGLI STUDI LA SAPIENZA CORSO DI STUDI IN INFORMATICA ESERCITAZIONI AL CORSO DI LOGICA MATEMATICA LOGICA PROPOSIZIONALE TAVOLE DI VERITÀ, COLETEZZA VERO-FUNZIONALE Esercizio 1. Calcola le tavole
DettagliIntelligenza Artificiale. Logica proposizionale classica (Parte 1)
Intelligenza Artificiale Logica proposizionale classica (Parte ) Marco Piastra Logica formale (Parte ) - Introduzione alla logica formale Parte. Preambolo: algebra di Boole, proposizioni, conseguenza logica
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
DettagliGeorge BOOLE ( ) L algebra booleana. (logica proposizionale)
George BOOLE (1815-64) L algebra booleana. (logica proposizionale) La logica e George BOOLE George BOOLE nel 1847 pubblicò il libro Mathematical Analysis of Logic, nel quale presentava ciò che oggi si
DettagliElementi di Informatica A. A. 2016/2017
Elementi di Informatica A. A. 2016/2017 Ing. Nicola Amatucci Università degli studi di Napoli Federico II Scuola Politecnica e Delle Scienze di Base nicola.amatucci@unina.it Algebra di Boole Elementi di
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
Dettagli17/10/16. Espressioni Booleane
Espressioni Booleane Un espressione booleana è una sequenza composta da operatori booleani, parentesi, costanti e variabili booleane, induttivamente definita come segue: Espressioni ed operatori booleani
DettagliAlgebra di Boole ed elementi di logica
Algebra di Boole ed elementi di logica Marco D. Santambrogio marco.santambrogio@polimi.it Ver. aggiornata al 6 Oobre 25 Provate voi 2 Provate voi 3 Provate voi Come faccio il #? 4 Provate voi Come faccio
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
Dettagli