Esercitazioni per il corso di Logica Matematica

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Esercitazioni per il corso di Logica Matematica"

Transcript

1 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 essere utili nella preparazione dell esame (che si vanno ad aggiungere a quelli già presenti negli appunti delle esercitazioni). In nessun caso questa lista di esercizi va considerata come programma ufficiale del corso, né tantomeno può essere considerata come una lista esaustiva e completa dei tipi di esercizi che potranno essere proposti in sede d esame. 1. Dimostrare che la formula x y( P (x, y) P (y, x)) è soddisfacibile ma non una tautologia, trovando un opportuno modello che la soddisfi ed un suo contromodello (ovvero un modello che soddisfi la sua negazione). La formula ammette modelli il cui universo contenga soltanto due elementi? 2. Si consideri il linguaggio L = {b, d, C, T, A}, dove b e d sono simboli di costante che rappresentano Barbara e Donatella, C e T sono simboli di relazione unari (C(x) sta per x ama il cinema e T (x) sta per x ama il teatro), mentre A è un simbolo di relazione binario (A(x, y) sta per x è amico di y ). Formalizzare le seguenti frasi: (a) chi è amico di qualcuno che ama il cinema, ama il cinema; (b) chi ama il teatro, è amico di qualcuno che ama il teatro; (c) Barbara è amica di Donatella e ama il teatro, ma non il cinema. Se U è l insieme delle formule così ottenute, stabilire quali tra le formule atomiche C(d), T (d) e C(d) è conseguenza logica di U. Per ciascuna formula atomica, dimostrare la propria risposta utilizzando la teoria di Herbrand, ovvero fornendo un opportuno modello di Herbrand (in caso di risposta negativa) o una dimostrazione mediante la risoluzione (in caso di risposta positiva). 1

2 3. Dare una dimostrazione formale delle seguenti leggi logiche: (a) Premessa: F F F Conclusione: F F (b) Premessa: F F (G H) Conclusione: F G (F H) 4. Mostrare che x( Q(x) P (x)) non è conseguenza logica dell insieme di formule Γ = { xp (x), xq(x), x(p (x) R(x, x)), x(q(x) R(x, x))} definendo un opportuno modello in cui interpretare tali formule. 5. Introducendo opportuni linguaggi del prim ordine, formalizzare le frasi seguenti: (a) Tutti gli uomini sono mortali: Socrate è un uomo, quindi Socrate è mortale. (b) Tutti i cani sono animali, Tea è un cane, dunque Tea è un animale. (c) Ogni amico di Mario è amico di Luca, Pietro non è amico di Mario, quindi Pietro non è amico di Luca. (d) Nessun ladro è onesto, ma c è un ladro gentiluomo che è onesto. (e) Se tutti i filosofi intelligenti sono curiosi e solo i tedeschi sono filosofi intelligenti, allora, se ci sono filosofi intelligenti, qualche tedesco è curioso. Stabilire quali delle formule ottenute sono valide, quali soddisfacibili e quali insoddisfacibili. Giustificare le risposte (utilizzando uno qualunque dei metodi presentati durante il corso). 6. Usare il metodo della risoluzione (o una delle sue forme ristrette) per dimostrare che gli enunciati seguenti sono validi: (a) P (a) xp (x) (b) x yr(x, y) y xr(x, y) (c) x y(r(x, y) R(y, y)) (d) x( y(r(x, y) P (y)) z P (z) z R(x, z)). 7. Dimostrare formalmente che {F G} (F H) G. 2

3 8. Dare una dimostrazione formale del fatto che le formule proposizionali F G e (F G) G sono dimostrabilmente equivalenti. 9. Introducendo un opportuno linguaggio del prim ordine, formalizzare le frasi seguenti: (a) I progressisti sono sostenitori dello stato sociale. (b) Alcuni ministri sono sostenitori dello stato sociale. (c) Alcuni ministri sono progressisti. La formalizzazione della terza frase è conseguenza delle formalizzazioni delle altre due? Giustificare la risposta data. 10. L insieme di formule Γ = { xp (x), x( P (x) Q(x)), x Q(x)} è soddisfacibile? Se sì, trovarne un modello. 11. Dimostrare con il metodo di Herbrand la validità di x y(p (y) P (x)). 12. Utilizzando la risoluzione (o una sua opportuna forma ristretta ) dimostrare che x yr(x, y) x yq(y, x) x y(r(x, y) Q(y, x)). 13. Dimostrare sia con il metodo di Herbrand che con la risoluzione la validità degli enunciati seguenti: (a) x( P (x) y(q(x) P (y))) x( Q(x) P (x)) xp (x) (b) x y(p (x, y) Q(x)) Q(a) y P (a, y) (c) x(p (x) Q(x) R(x)) x R(x) x( P (x) Q(x)). 14. Dare una dimostrazione formale delle seguenti leggi logiche: (a) (F G) (F G H) (b) (F G) (G H) (c) (F G) (H F ) (d) F G F G 15. Provare che le formule F G H e (F G) (F H) sono dimostrabilmente equivalenti. 3

4 16. Dimostrare sia con il metodo di Herbrand che con la risoluzione l insoddisfacibilità di xp (x) x(p (x) P (x)). 17. Dare una dimostrazione formale delle seguenti leggi logiche: (a) {F H} F G H (b) {F G H} F H (c) {F G H} (F G) (F H) (d) {(F G) H} (F G) (F H) 18. Si consideri il seguente programma Prolog: salute(giorgio). salute(anna). salute(marco). salute(maria). salute(alberto). ama(giorgio,elisa). ama(massimo,elisa). ama(marco,maria). ama(elisa,giorgio). ama(anna,giorgio). ama(maria,alberto). ama(alberto,maria). dove salute/1 viene interpretato in essere in salute e ama(x,y) in X ama Y. (a) Aggiungere al programma opportune regole che definiscano un predicato felice/1 che venga interpretato in essere felice ), dove X è felice se è in salute e ama qualcuno da cui è ricambiato. (b) Aggiungere al programma opportune regole che definiscano il predicato binario felici(x,y) in modo che questa venga interpretato in X e Y sono felici (dove due persone si dicono felici se entrambe sono in salute e ciascuna di esse ama l altra). (c) Date le seguenti clausole obiettivo, determinare quale risposta verrà data da Prolog e descrivere il processo che la determina.?- felice(giorgio).?- felice(elisa).?- felice(marco). 4

5 ?- felice(x).?- felici(giorgio,maria).?- felici(giorgio,elisa).?- felici(maria,y).?- felici(alberto,maria).?- felici(giorgio,anna).?- felici(alberto,maria).?- felici(x,y). 19. Tra le seguenti affermazioni riguardanti le formule ϕ e ψ alcune sono corrette, altre no. Dimostrate le prime e trovate un controesempio alle seconde. (a) Se sia ϕ che ψ sono soddisfacibili allora esiste un modello M tale che M ϕ ψ. (b) ψ ϕ se e solo se ϕ ψ è soddisfacibile. (c) ϕ ψ se e soltanto se ϕ ψ. (d) Se ϕ non è valida allora ϕ è valida. (e) Se M ϕ ψ allora M ϕ oppure M ψ. (f) Se M ϕ ψ e M ϕ, allora M ψ. (g) Se ϕ ψ è valida allora ϕ è valida oppure ψ è valida. 20. Si considerino le frasi seguenti: (a) Chi supera l esame è felice. (b) Ci sono studenti che non sono felici. (c) Qualche studente non supera l esame. Dopo aver introdotto un opportuno linguaggio del prim ordine, formalizzare le frasi precedenti e verificare che la terza è conseguenza delle prime due. 21. Dare una dimostrazione formale delle seguenti leggi logiche: (a) Premessa: F F (G H) Conclusione: F F H G (b) Premessa: F F G Conclusione: F F G G H (c) Premessa: F F G Conclusione: F F H G H (d) Premessa: F (F G) H Conclusione: F (F H) (G H) 5

6 (e) Premessa: F (F G) H Conclusione: F F H G H (f) Premessa: F (F G) (F H) Conclusione: F F G H (g) Premessa: F (F H) (G H) Conclusione: F F G H 22. Siano ϕ e ψ le formule x(r(a, x) yr(x, y)) e xr(x, x). Dimostrare che ϕ ψ e ψ ϕ. 23. Formalizzare in un opportuno linguaggio del prim ordine il seguente argomento: Nessun triangolo rettangolo è equilatero, ma qualche triangolo isoscele è equilatero: dunque qualche triangolo rettangolo non è isoscele. Il ragionamento è corretto o no? Giustificare la risposta. Supponiamo che la conclusione venga sostituita da: dunque qualche triangolo isoscele non è rettangolo. Il nuovo ragionamento risulterebbe corretto? Giustificare la risposta. 24. Formalizzare le seguenti frasi: (a) Chi è pagato troppo è disonesto. (b) Tutti i politici sono pagati troppo. (c) Qualche politico è onesto. La formalizzazione della terza frase è conseguenza delle altre due? Giustificare la risposta. Se la terza frase venisse sostituita con tutti i politici sono disonesti, il ragionamento corrispondente diventerebbe corretto? 25. Si consideri il seguente programma Prolog: confinante(portogallo,spagna). confinante(spagna,andorra). confinante(spagna,francia). confinante(andorra,francia). confinante(francia,lussemburgo). confinante(francia,belgio). confinante(francia,germania). 6

7 confinante(francia,svizzera). confinante(francia,italia). confinante(belgio,olanda). confinante(lussenburgo,belgio). confinante(belgio,germania). confinante(lussemburgo,germania). confinante(germania,svizzera). confinante(germania,austria). confinante(svizzera,austria). confinante(svizzera,italia). confinante(austria,italia). confinanti(stato1,stato2) confinanti(stato1,stato2) :- confinante(stato1,stato2). :- confinante(stato2,stato1). dove confinante(x,y) viene interpretato in X confina con Y, mentre confinanti(x,y) viene interpretato in X e Y sono confinanti. (a) Aggiungere al programma opportune regole che definiscano il predicato vicini/2, dove vicini(x,y) viene interpretato in X e Y sono (relativamente) vicini, e due stati si dicono (relativamente) vicini se sono confinanti oppure confinano entrambi con un terzo stato. (b) Aggiungere al programma opportune regole che definiscano il predicato regione/3, dove regione(x,y,z) viene interpretato in X, Y e Z formano una regione, e tre stati formano una regione se ciascuno di essi confina con gli altri due. (c) Si supponga di sottopore la seguenti clausole obiettivo all interprete Prolog.?- confinanti(andorra,x).?- confinanti(francia,austria).?- confinanti(olanda,y).?- confinanti(belgio,germania).?- vicini(italia,portogallo).?- vicini(portogallo,x).?- vicini(lussemburgo,belgio).?- vicini(lussemburgo,germania).?- regione(italia,francia,austria).?- regione(italia,francia,x).?- regione(portogallo,x,y).?- regione(andorra,x,y).?- regione(francia,germania,svizzera). 7

8 Quale sarà la risposta che verrà fornita come output (specificare tutte le alternative, se ve n è più di una)? (d) Per ciascuna delle clausole obiettivo proposte, descrivere il processo che determina la prima alternativa della risposta data dall interprete. 8

Prova parziale di Logica Matematica - 30 marzo 2009

Prova parziale di Logica Matematica - 30 marzo 2009 COGNOME-NOME: MATR.: Prova parziale di Logica Matematica - 30 marzo 2009 Nei test barrare le risposte esatte (una o più); p, q, r, s, p i, q i sono lettere proposizionali. 1. (a) Sulla base delle convenzioni

Dettagli

Esercitazioni per il corso di Logica Matematica

Esercitazioni per il corso di Logica Matematica Esercitazioni per il corso di Logica Matematica Luca Motto Ros 25 marzo 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano risultare

Dettagli

Esercitazioni per il corso di Logica Matematica

Esercitazioni 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

Dettagli

Logica: materiale didattico

Logica: 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

Dettagli

LOGICA 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: 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

Dettagli

Elementi di Algebra e Logica Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali:

Elementi 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

Dettagli

Proposizioni. 1) Tra le seguenti frasi riconoscere le proposizioni, e stabilirne poi il valore di verità:

Proposizioni. 1) Tra le seguenti frasi riconoscere le proposizioni, e stabilirne poi il valore di verità: Si ricorda: - L'oggetto della logica sono le proposizioni, o enunciati (i due termini sono sinonimi); - Una proposizione è una espressione dotata di senso compiuto alla quale si può attribuire in modo

Dettagli

Logica per la Programmazione

Logica 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

Dettagli

( x 1 )A 2 1 x2, f1 1 (x 1 ) )

( x 1 )A 2 1 x2, f1 1 (x 1 ) ) Università di Bergamo Anno accademico 20162017 Ingegneria Informatica Foglio 5 Algebra e Logica Matematica Logica del primo ordine Esercizio 5.1. Identicare le occorrenze libere e vincolate delle variabili

Dettagli

Logica per la Programmazione

Logica 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.

Dettagli

L'algebra Booleana. Generalità. Definizioni

L'algebra Booleana. Generalità. Definizioni L'algebra Booleana Generalità L algebra booleana è stata sviluppata da George Boole nel 1854, ed è diventata famosa intorno al 1938 poiché permette l analisi delle reti di commutazione, i cui soli stati

Dettagli

Logica 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 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

Dettagli

ISTITUZIONI DI LOGICA(1)

ISTITUZIONI DI LOGICA(1) ISTITUZIONI DI LOGICA(1) a.a. 2005-2006 (5 crediti) prof.ssa Giovanna Corsi TEST del 26 novembre 2005 Cognome Nome Corso di Laurea 1. (a) Secondo la lettura fatta delle pagine di Quine, cosa è rilevante

Dettagli

Logica per la Programmazione

Logica 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

Dettagli

Logica proposizionale

Logica 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

Dettagli

Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1

Luca 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

Dettagli

Prerequisiti Matematici

Prerequisiti 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

Dettagli

BREVE 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 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

Dettagli

METODI MATEMATICI PER L INFORMATICA

METODI 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

Dettagli

11. Formalizzazione in linguaggio predicativo

11. 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

Dettagli

Logica proposizionale

Logica 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

Dettagli

Maiuscole e minuscole

Maiuscole 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

Dettagli

NOZIONI DI LOGICA PROPOSIZIONI.

NOZIONI 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

Dettagli

CALCOLO PROPOSIZIONALE

CALCOLO 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

Dettagli

LA LOGICA ESERCIZI. Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità.

LA LOGICA ESERCIZI. Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità. LA LOGICA 1. Le proposizioni logiche ESERCIZI Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità. 1 A «1 1 è uguale a 5»; «Non si

Dettagli

Teorema 1.1. (Teorema di Compattezza) Sia Γ un insieme di formule di un linguaggio proposizionale.

Teorema 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.

Dettagli

10 Logica classica predicativa

10 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

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 ) 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

Dettagli

Logica di Base. Docente: Francesca Benanti. 27 Gennaio 2007

Logica 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 è

Dettagli

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2017/2018

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2017/2018 Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2017/2018 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini

Dettagli

RISOLUZIONE IN LOGICA PROPOSIZIONALE. Giovanna D Agostino Dipartimento di Matemaica e Informatica, Università di Udine

RISOLUZIONE IN LOGICA PROPOSIZIONALE. Giovanna D Agostino Dipartimento di Matemaica e Informatica, Università di Udine RISOLUZIONE IN LOGICA PROPOSIZIONALE Giovanna D Agostino Dipartimento di Matemaica e Informatica, Università di Udine 1. Risoluzione Definitione 1.1. Un letterale l è una variabile proposizionale (letterale

Dettagli

LOGICA MATEMATICA PER INFORMATICA

LOGICA 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

Dettagli

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017 Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini

Dettagli

CALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini

CALCOLO 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

Dettagli

04 - Logica delle dimostrazioni

04 - 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,

Dettagli

Fondamenti 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 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,

Dettagli

Linguaggi. Claudio Sacerdoti Coen 11/04/2011. 18: Semantica della logica del prim ordine. <sacerdot@cs.unibo.it> Universitá di Bologna

Linguaggi. Claudio Sacerdoti Coen 11/04/2011. 18: Semantica della logica del prim ordine. <sacerdot@cs.unibo.it> Universitá di Bologna Linguaggi 18: Semantica della logica del prim ordine Universitá di Bologna 11/04/2011 Outline Semantica della logica del prim ordine 1 Semantica della logica del prim ordine Semantica

Dettagli

Prova scritta di Logica Matematica giugno Formalizzare e dimostrare la correttezza del seguente ragionamento:

Prova scritta di Logica Matematica giugno Formalizzare e dimostrare la correttezza del seguente ragionamento: Prova scritta di Logica Matematica giugno 2003 1.1 Ricerca di dimostrazione: xq(f(x)), x y z(q(x) R(y, z)) x yr(x, y) 1.2 Ricerca di contromodello: x(r(x, x) Q(x)) x y(r(x, y) Q(x)) 1.3 Formalizzare e

Dettagli

SIMULAZION I appello 12 gennaio 2017

SIMULAZION 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

Dettagli

Formalizzazione: (funz. parziale)

Formalizzazione: (funz. parziale) ESERCIZI DI FORMALIZZAZIONE: funzioni Funzioni Parziali Definizione: Siano A e B due insiemi, una funzione parziale F : A B è un insieme di coppie a,b (con a A e b B) in cui ogni elemento di A è in coppia

Dettagli

Introduzione alla logica

Introduzione 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

Dettagli

CALCOLO DEL PRIMO ORDINE

CALCOLO DEL PRIMO ORDINE CALCOLO DEL PRIMO ORDINE ANCORA SUL CONCETTO DI CALCOLO (PROOF SYSTEM) Un sistema di dimostrazione è un insieme di regole di inferenza Ciascuna regola di inferenza consente di derivare una formula ϕ (conseguenza)

Dettagli

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/2016

Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/2016 Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/2016 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini

Dettagli

Una Breve Introduzione alla Logica

Una Breve Introduzione alla Logica Una Breve Introduzione alla Logica LOGICA La LOGICA è la disciplina che studia le condizioni di correttezza del ragionamento Occorre dire, anzitutto, quale oggetto riguardi ed a quale disciplina spetti

Dettagli

Logica per la Programmazione

Logica 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

Dettagli

LOGICA DEL PRIMO ORDINE: MOTIVAZIONI, SINTASSI E INTERPRETAZIONI

LOGICA DEL PRIMO ORDINE: MOTIVAZIONI, SINTASSI E INTERPRETAZIONI LOGICA DEL PRIMO ORDINE: MOTIVAZIONI, SINTASSI E INTERPRETAZIONI LIMITI DEL CALCOLO PROPOSIZIONALE Nella formalizzazione di enunciati dichiarativi, gli enunciati atomici non hanno struttura (sono rappresentati

Dettagli

LA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA

LA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA LA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA L impostazione logico-deduttiva propria della matematica affida un importanza basilare alle definizioni. La ricerca, poi,

Dettagli

Cenni di logica e calcolo proposizionale

Cenni 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

Dettagli

Percorso 2010: Introduzione alla Logica Proposizionale

Percorso 2010: Introduzione alla Logica Proposizionale Percorso 2010: Introduzione alla Logica Proposizionale Francesca Poggiolesi Facoltà di Medicina e Chirurgia 26 Agosto 2010, Firenze Dal test alla logica Alcuni esempi di test 1 Dal test alla logica Alcuni

Dettagli

Richiami teorici ed esercizi di Logica

Richiami teorici ed esercizi di Logica Facoltà di ingegneria Università della Calabria Corsi di Potenziamento Matematica e Logica A. A. 2008-2009 Richiami teorici ed esercizi di Logica Proposizioni logiche: Ogni espressione matematica alla

Dettagli

Esercitazioni per il corso di Logica Matematica

Esercitazioni per il corso di Logica Matematica Esercitazioni per il corso di Logica Matematica Luca Motto Ros 14 marzo 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano risultare

Dettagli

Ragionamento Automatico Richiami di calcolo dei predicati

Ragionamento 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

Dettagli

11. Lezione Corso di Logica (prima parte) 13 maggio Maria Emilia Maietti. ricevimento: martedi ore

11. 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

Dettagli

02 - Logica delle dimostrazioni

02 - Logica delle dimostrazioni Università degli Studi di Palermo Facoltà di Economia Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 0 - Logica delle dimostrazioni Anno Accademico 015/016

Dettagli

ISTITUTO TECNICO STATALE COMMERCIALE E PER GEOMETRI A. MARTINI Castelfranco Veneto (TV) Elementi di Logica

ISTITUTO TECNICO STATALE COMMERCIALE E PER GEOMETRI A. MARTINI Castelfranco Veneto (TV) Elementi di Logica settembre 008 Elementi di Logica 1. Nozioni preliminari La logica studia come funziona il pensiero e il ragionamento espresso attraverso degli enunciati Il ragionamento è un sistema di enunciati che permette

Dettagli

Esercitazioni per il corso di Logica Matematica

Esercitazioni per il corso di Logica Matematica Esercitazioni per il corso di Logica Matematica Luca Motto Ros 22 febbraio 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano

Dettagli

Liceo Scientifico G. Galilei Trebisacce Anno Scolastico

Liceo Scientifico G. Galilei Trebisacce Anno Scolastico Liceo Scientifico G. Galilei Trebisacce Anno Scolastico 2012-2013 Prova di Matematica : Insiemi e logica Alunno: Classe: 1B 23.11.2012 prof. Mimmo Corrado 1. Dati gli insiemi: = è = è " = è " = è " = è

Dettagli

Intelligenza Artificiale. Logica proposizionale: calcolo automatico

Intelligenza Artificiale. Logica proposizionale: calcolo automatico Intelligenza Artificiale Logica proposizionale: calcolo automatico Marco Piastra Logica formale (Parte 3) - Parte 3 Calcolo automatico Forme normali ed a clausole Risoluzione e refutazione Forward chaining

Dettagli

Logica 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; Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,

Dettagli

13. Come interpretare unicità? con l uguaglianza

13. Come interpretare unicità? con l uguaglianza 13. Come interpretare unicità? l uguaglianza Problema: vogliamo formalizzare in logica classica 1. Tutti sono uguali. 2. Ce ne sono due diversi. 3. Per ognuno c è qualcuno di diverso da lui. 4. Marcello

Dettagli

Linguaggi. Claudio Sacerdoti Coen 29,?/10/ : La struttura dei numeri naturali. Universitá di Bologna

Linguaggi. 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

Dettagli

I.S.I.S. F. De Sanctis Sez. ass. Liceo Classico

I.S.I.S. F. De Sanctis Sez. ass. Liceo Classico Anno Scolastico 2012/13 Disciplina: Matematica Classe: I Liceo classico (nuovo ordinamento) Docente: prof. Roberto Capone ALGEBRA I.S.I.S. F. De Sanctis Sez. ass. Liceo Classico Specifica dettagliata degli

Dettagli

Logica per la Programmazione

Logica 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.

Dettagli

sempre vere sempre false

sempre vere sempre false Logica: elementi I principi della logica sono innanzitutto i seguenti: Identità: a=a (ogni cosa è cioè identica a se stessa) Non contraddizione: non (a e non a). E impossibile che la stessa cosa sia e

Dettagli

LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)

LOGICA 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à

Dettagli

Ricordando che: = si ha:

Ricordando che: = si ha: Logica matematica Esempi 1. Stailisci il grado di verità delle seguenti proposizioni logiche: :" è h 2 è " :"5 è 2 3 è 6" :" è h : è è " :" h h " :" h è " :" è, è " F 2. Data la proposizione p:" " la sua

Dettagli

Logic. Esame: Scritto. Questo corso fa parte del percorso Filosofia e Linguaggi dell Informatica.

Logic. Esame: Scritto. Questo corso fa parte del percorso Filosofia e Linguaggi dell Informatica. a Argomento: Un corso sulla applicazione della logica alla teoria del linguaggio. Docente: Roberto (Facoltà di lettere, Discof/CIMEC) Ricevimento: Via Sighele 7 (lato sinistro del palazzo arrivando da

Dettagli

Lez. 8 La Programmazione. Prof. Pasquale De Michele (Gruppo 2) e Raffaele Farina (Gruppo 1) 1

Lez. 8 La Programmazione. Prof. Pasquale De Michele (Gruppo 2) e Raffaele Farina (Gruppo 1) 1 Lez. 8 La Programmazione Prof. Pasquale De Michele (Gruppo 2) e Raffaele Farina (Gruppo 1) 1 Dott. Pasquale De Michele Dott. Raffaele Farina Dipartimento di Matematica e Applicazioni Università di Napoli

Dettagli

Logica per la Programmazione

Logica 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,

Dettagli

1 Richiami di logica matematica

1 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

Dettagli

Introduzione alla Programmazione Logica ed al linguaggio PROLOG

Introduzione alla Programmazione Logica ed al linguaggio PROLOG Introduzione alla Programmazione Logica ed al linguaggio PROLOG Esercitazioni per il corso di Logica ed Intelligenza Artificiale a.a. 2014/15 Paolo Tomeo http://sisinflab.poliba.it/tomeo Programmazione

Dettagli

Alcune Tracce dei Precedenti Esami del Dottorato di Siena in Logica Matematica ed Informatica Teorica

Alcune Tracce dei Precedenti Esami del Dottorato di Siena in Logica Matematica ed Informatica Teorica Alcune Tracce dei Precedenti Esami del Dottorato di Siena in Logica Matematica ed Informatica Teorica Raccolti e curati da Luca Spada Indice 1 Temi 1 1.1 Logica Matematica.......................... 1 1.2

Dettagli

Logica. 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. 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:

Dettagli

I appello e II compitino 27 giugno 2014

I 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

Dettagli

PROGRAMMAZIONE DISCIPLINARE

PROGRAMMAZIONE DISCIPLINARE Modello A2 Istituto d Istruzione Superiore POLO-LICEO ARTISTICO - VEIS02400C VENEZIA Liceo Artistico, Liceo Classico e Musicale Dorsoduro, 1073 30123 Venezia tel. 0415225252, fax 041 2414154 PROGRAMMAZIONE

Dettagli

Logica per la Programmazione

Logica per la Programmazione Logica per la Programmazione Lezione 7 Semantica della Logica del Primo Ordine Interpretazioni Formalizzazione Un esempio informale di semantica Semantica dei termini Semantica delle formule Esempi A.

Dettagli

NOZIONI DI LOGICA. Premessa

NOZIONI 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

Dettagli

Esercitazione. Proposizioni. April 16, 2015. Esercizi presi dal libro di Rosen (useremo 0 per False e 1 per True). Problema 15, sezione 1.1.

Esercitazione. Proposizioni. April 16, 2015. Esercizi presi dal libro di Rosen (useremo 0 per False e 1 per True). Problema 15, sezione 1.1. Esercitazione Proposizioni April 16, 2015 Esercizi presi dal libro di Rosen (useremo 0 per False e 1 per True). Problema 15, sezione 1.1. 1. Consideriamo le proposizioni: - p : Gli orsi grizzly sono stati

Dettagli

Un po di logica. Christian Ferrari. Laboratorio di matematica

Un 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

Dettagli

Logiche 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 è 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

Dettagli

Calcolo proposizionale

Calcolo 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

Dettagli

Logica proposizionale

Logica 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

Dettagli

LOGICA MATEMATICA. Sonia L Innocente. Corso di Laurea. Informatica e Tecnologie/Informatica Industriale

LOGICA MATEMATICA. Sonia L Innocente. Corso di Laurea. Informatica e Tecnologie/Informatica Industriale LOGICA MATEMATICA Corso di Laurea Informatica e Tecnologie/Informatica Industriale Argomento 1. Logica dei Predicati del Primo Ordine a.a. 2013-2014 (Camerino) 1 / 57 Outline Introduzione 1 Introduzione

Dettagli

Elementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.

Elementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Elementi di logica SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Quantificatori: elementi fondamentali del linguaggio matematico. quantificatore

Dettagli

SIMULAZIONE I appello 8 gennaio 2016

SIMULAZIONE 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

Dettagli

Exame Logica Matematica Giugno 2015

Exame Logica Matematica Giugno 2015 1 Exame Logica Matematica 2014 2015 10 Giugno 2015 Istruzioni indicate con una croce quale parte volete che venga valutata. Rispondete in Italiano utilizzando una penna ad inchiostro (no matite) a meno

Dettagli

Elementi di Logica Le forme del ragionamento

Elementi di Logica Le forme del ragionamento Elementi di Logica Le forme del ragionamento Corso di Logica e Filosofia della scienza, a.a. 2015-2016 Il principale oggetto di studio della logica è il ragionamento, con particolare attenzione per il

Dettagli

Fondamenti di Informatica 2

Fondamenti 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

Dettagli

Lezione2: Circuiti Logici

Lezione2: Circuiti Logici Lezione2: Circuiti Logici traduce per noi in linguaggio macchina utente macchina software macchina hardware Agli albori dell'informatica, l utente programmava in binario (Ling.Mac.) scrivendo i programmi

Dettagli

Introduzione ad alcuni sistemi di logica modale

Introduzione ad alcuni sistemi di logica modale Introduzione ad alcuni sistemi di logica modale Laura Porro 16 maggio 2008 1 Il calcolo proposizionale Prendiamo come primitivi i simboli del Calcolo Proposizionale (PC) tradizionale a due valori 1 : un

Dettagli

Cenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A

Cenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A Cenni di logica Hynek Kovarik Università di Brescia Analisi Matematica A Hynek Kovarik (Università di Brescia) Cenni di logica Analisi Matematica A 1 / 21 Scopo: introdurre nozioni di logica & terminologia

Dettagli

Programmazione Dichiarativa. Programmazione Logica. SICStus PROLOG PROLOG. http://www.sics.se/sicstus/ Bob Kowalski: "Algoritmo = Logica + Controllo"

Programmazione Dichiarativa. Programmazione Logica. SICStus PROLOG PROLOG. http://www.sics.se/sicstus/ Bob Kowalski: Algoritmo = Logica + Controllo Programmazione Logica Bob Kowalski: "Algoritmo = Logica + Controllo" nella programmazione tradizionale: il programmatore deve occuparsi di entrambi gli aspetti nella programmazione dichiarativa: il programmatore

Dettagli

Sintassi. Logica. Sintassi di Matita. Claudio Sacerdoti Coen. Universitá di Bologna 16,18/10/2017. Claudio Sacerdoti Coen

Sintassi. Logica. Sintassi di Matita. Claudio Sacerdoti Coen. Universitá di Bologna 16,18/10/2017. Claudio Sacerdoti Coen Logica di Matita Universitá di Bologna 16,18/10/2017 Outline 1 dei termini di Matita Termini: t ::= x c t t λx : T.t... x sono variabili (potete usare qualunque identificatore) c

Dettagli

I VERIFICA DI GEOMETRIA 1 CORSO DI LAUREA IN MATEMATICA - 4 DICEMBRE 2007

I VERIFICA DI GEOMETRIA 1 CORSO DI LAUREA IN MATEMATICA - 4 DICEMBRE 2007 A I VERIFICA DI GEOMETRIA 1 CORSO DI LAUREA IN MATEMATICA - 4 DICEMBRE 2007 ESERCIZIO 1. Si consideri il seguente sistema di equazioni lineari x + y + 2z = 1 2x + ky + 4z = h 2x 2y + kz = 0 (a) Determinare,

Dettagli

PIANO DI LAVORO DEL DOCENTE prof. DIMONOPOLI A.S. 2013/2014 CLASSE 1ALS MATERIA: MATEMATICA

PIANO DI LAVORO DEL DOCENTE prof. DIMONOPOLI A.S. 2013/2014 CLASSE 1ALS MATERIA: MATEMATICA PIANO DI LAVORO DEL DOCENTE prof. DIMONOPOLI A.S. 2013/2014 CLASSE 1ALS MATERIA: MATEMATICA Modulo n. 1: metodo di studio Collocazione temporale: settembre Strategie didattiche: Per abituare gli allievi

Dettagli

UNIVERSITÀ 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 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

Dettagli

Prof. Roberto Capone. Nozioni di logica matematica

Prof. Roberto Capone. Nozioni di logica matematica Prof. Roberto Capone Nozioni di logica matematica Premesse In matematica non è ammesso un linguaggio ambiguo. Le parole chiave di questo linguaggio sono soltanto sette: Connettivi Non E O Se. allora Se

Dettagli

Lez. 5 La Programmazione. Prof. Salvatore CUOMO

Lez. 5 La Programmazione. Prof. Salvatore CUOMO Lez. 5 La Programmazione Prof. Salvatore CUOMO 1 2 Programma di utilità: Bootstrap All accensione dell elaboratore (Bootsrap), parte l esecuzione del BIOS (Basic Input Output System), un programma residente

Dettagli

Un introduzione al corso di LOGICA PER LA PROGRAMMAZIONE

Un 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

Dettagli