Soluzioni degli Esercizi da Svolgere Capitolo 8

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Soluzioni degli Esercizi da Svolgere Capitolo 8"

Transcript

1 Soluzioni degli Esercizi da Svolgere Capitolo 8 Esercizio Sia p = = 7 e q = = 8 ; la formalizzazione dell enunciato in esame è quindi p q che risulta VERO, essendo la premessa dell implicazione falsa (e la conseguenza vera). 2. Sia p = 2+2 = 5 e q = 4+4 = 10 ; la formalizzazione dell enunciato in esame è quindi (p q) che risulta FALSO, essendo vera la doppia implicazione di due enunciati falsi. 3. Sia p = Parigi è in Inghilterra e q = Londra è in Francia; la formalizzazione dell enunciato in esame è quindi p q che risulta FALSO, essendo falsa la disgiunzione di due enunciati falsi. 4. Sia p = = 3 e q = = 3 ; la formalizzazione dell enunciato in esame è quindi (p q) che risulta FALSO, essendo vera la disgiunzione di due enunciati uno falso e uno vero. 5. Siano p e q definiti come nel punto 3; la formalizzazione dell enunciato in esame è quindi (p q) che risulta FALSO, essendo vera un implicazione con premessa falsa. Esercizio p q p q (p q) q p (q p) (p q) (q p) F F F V V F V F V F V F V V V F F V F V V V V V F V F F 1

2 2. p q p q q p q (p q) (p q) (p q) F F V V F V V F V V F V F V V F F V V F F V V V F F V V 3. A B C p q r q q r p A r p r q B C A C F F F V V V V F F V V F F V V V V F V V F F F V F F F V V F V F F F V V F V V F V V F F V F F V V V V V V F F V F V V V V F F F V V V V F F F F V V V F F V V V F V V F F V F F Esercizio p q p q (p q) p q p q F F F V V V V F V F V V F V V F F V F V V V V V F F F F p q p q (p q) q p q p p q F F V F V F V F F V F V F V V V V F F V V V F V V V V F F F F F Esercizio Usando le equivalenze 8.4(1) e 8.4(3), abbiamo che (p q) p q. 2. Usando le equivalenze 8.21(2) e 8.4(3), abbiamo ( p q) p q. 3. Usando le equivalenze 8.4(2) e 8.4(3), abbiamo che ( p q) p q. 2

3 Esercizio Le rose sono rosse e le violette non sono blu. 2. Non fa freddo oppure non piove. 3. Luigi non è basso e non è bello. 4. Fa freddo e non piove. 5. Piove e non fa freddo. 6. Le rose sono rosse se e solo se le violette non sono blu. Esercizio 8.24 Mostreremo le equivalenze dell esercizio 8.4 con i tableau e quelle dell esercizio 8.21 con Gentzen; assumiamo che il lettore sappia ormai tradurre una dimostrazione nell altra senza problemi. 8.4(1): 8.4(2): ( (p q) ( p q)) ( (p q) ( p q)) (( p q) (p q)) (p q), ( p q) ( p q), (p q) p, q, ( p q) p, q, p q p, q, p p, q, q p, q, p p, q, q ( (p q) (p q)) ( (p q) (p q)) ((p q) (p q)) (p q), (p q) p q, (p q) p, q, (p q) p, q, p q p, q, p p, q, q p, q, p p, q, q 3

4 8.4(3): ( p p) ( p p) (p p) p, p p, p p, p 8.21(1): p, p, q q, p, q 8.21(2): dove p, q, p, q p q, p, q p q, p q (p q) ( p q) p q, p q e (p q) (p q) p q, p q (p q) ( p q) (p q) (p q) p, q, q, p p q, q p p, q, (p q), q p, q, (p q), p p, p, q q, p, q p q, p q ( p q), p, q ( p q), (p q) ( p q) (p q) (p q) (p q) q, p, p, q q p, p q (p q) (p q) q p, p q q, p, q, p q p, q p p, q, (p q), (q p) p, p, (p q), (q p) p, ( q p), (p q), (q p)... q, ( q p), (p q), (q p) (p q), ( q p), (p q), (q p) (p q), (p q) (p q) (p q) La prova per (p q) ( p q) è simile. 4

5 Esercizio 8.25 Proveremo la prima e la terza equivalenza con i tableau, mentre la seconda con Gentzen; al lettore è lasciato il semplice compito di sviluppare le restanti prove. 1. (((p q) r) (p (q r))) (((p q) r) (p (q r))) ((p (q r)) ((p q) r)) (p q) r, (p (q r)) p (q r), ((p q) r) p, q, r, (p (q r)) p, q, r, ((p q) r) p, q, r, p p, q, r, (q r) p, q, r, (p q) p, q, r, r p, q, r, q p, q, r, r p, q, r, p p, q, r, q 2. q, r, p, q q, r, p, r q, p, p, r q, r, p, r p, p, q (q r), p, q p, p, r (q r), p, r q, (p r), p, q q, (p r), p, r (p (q r)), p, q (p (q r)), p, r p, (p r), p, q r q, (p r), p, q r (p (q r)), p q (p (q r)), p r (p q), (p r), p, q r (p (q r)), (p q) (p r) (p (q r)) ((p q) (p r)) ((p q) (p r)), p (q r) ((p q) (p r)) (p (q r)) 3. (p (q r)) ((p q) (p r)) ((p (q r)) ((p q) (p r))) ((p (q r)) ((p q) (p r))) (((p q) (p r)) (p (q r))) p (q r), ((p q) (p r)) ((p q) (p r)), (p (q r)) p, ((p q) (p r)) q r, ((p q) (p r)) p q, p r, p, (q r) p, (p q) p, (p r) q, r, ((p q) (p r)) p, p r, p, (q r) q, p r, p, (q r) p, p, q p, p, r q, r, (p q) q, r, (p r) q, p, p, (q r) q, r, p, (q r) q, r, p, q q, r, p, r q, p, p, q q, p, p, r q, r, p, q q, r, p, r 5

6 Esercizio 8.26 Risolveremo alcuni esercizi con i tableau, altri con Gentzen; lasciamo al lettore il semplice compito di riscrivere le prove date nell altro modo. 1. L enunciato dato è una tautologia: (((A B) C) ((A C) (B C))) (A B) C, ((A C) (B C)) (A B) C, (A C), (B C) (A B) C, A, C, B, C (A B), A, C, B, C C, A, C, B, C A, B, A, C, B, C 2. L enunciato dato è una tautologia: A, (B C), A, B, C C, (B C), A, B, C 3. L enunciato dato è una tautologia: 4. L enunciato dato è una tautologia: (A C), (B C), A, B, C (A C), (B C), (A B), C (A C), (B C), (A B) C ((A C) (B C)), (A B) C ((A C) (B C)) ((A B) C) ( (A B) ((A C) B)) (A B), ((A C) B) A, B, (A C), B A, B, B, C, C, A A B, B C, C A (A B) (B C) (C A) 6

7 5. L enunciato dato è una tautologia: ((A B) ((A C) (A (B C)))) A B, ((A C) (A (B C))) A B, A C, (A (B C)) A B, A C, A, (B C) A, A C, A, (B C) B, A C, A, (B C) B, A, A, (B C) B, C, A, (B C) B, C, A, B B, C, A, C 6. L enunciato dato è una tautologia: (((A C) (B C)) ((A B) C)) (A C) (B C), ((A B) C) (A C) (B C), A B, C A C, B C, A B, C A C, B C, A, C A C, B C, B, C A, B C, A, C C, B C, A, C A, B C, B, C C, B C, B, C A, B, B, C A, C, B, C Esercizio 8.27 Svolgiamo la prima parte con i tableau e la seconda con Gentzen. 1. Tutti gli F n sono tautologie, per n 1. La prova è per induzione: 7

8 Base: (A (B (A B))) A, (B (A B)) A, B, (A B) A, B, A, B Induzione: per ipotesi, il tableau di F n è chiuso; dimostriamo che anche il tableau di F n+1 è chiuso: (A (B F n )) A, (B F n ) A, B, F n Ciò segue dal fatto che, se aggiungiamo gli enunciati A e B a tutti i nodi di un tableau chiuso (quello di F n nel nostro caso) abbiamo ancora un tableau chiuso. Si noti, invece, che il tableau di F 0 resta aperto: (A B) A, B Pertanto, F 0 non è una tautologia: infatti, la formula è falsificabile prendendo A vero e B falso. 2. Tutti i G n sono tautologie. Base: A, B, A A, B A A (B A) Induzione: per ipotesi, esiste in Gentzen una dimostrazione per G n ; dimostriamo che esiste una dimostrazione in Gentzen anche 8

9 per G n+1 : A, B, G n Esercizio 8.28 A, B G n A (B G n ) Ciò segue dal fatto che, se aggiungiamo gli enunciati A e B a tutti gli insiemi di formule di una dimostrazione di Gentzen (quella di G n nel nostro caso) abbiamo ancora una dimostrazione in Gentzen. 1. Per ipotesi, U A (B C); per il teorema deduttivo, questo equivale a U {A} B C che, per contrapposizione, implica U {A} C B; di nuovo per il teorema deduttivo, U A ( C B). 2. Per ipotesi, U A B; per il teorema deduttivo, questo equivale a U {A} B che, per doppia negazione, implica U {A} B; di nuovo per il teorema deduttivo, U A B. 3. Per ipotesi, U A (B C) e U A (C D); per il teorema deduttivo, ciò equivale a U {A} B C e U {A} C D; per transitività, ciò implica U {A} B D; di nuovo per il teorema deduttivo, U A (B D). Esercizio {A} (A B) (B (A B)) Assioma 1 2. A ((A B) (B (A B))) Teor.Ded. 3. (A B) (A (B (A B))) Scambio Prem. Esercizio {A (B C)} A (B C) Ipotesi 2. {A (B C} B (A C) Scambio Prem. 3. (A (B C)) (B (A C)) Teor.Ded. Esercizio {A, B C} A Ipotesi 2. {A} (B C) A Teor.Ded. 3. {A} A (B C) Contrapposizione 4. A ( A (B C)) Teor.Ded. 5. A (A (B C)) Def. di e 9

10 Esercizio A ((B C) D) (A ((B C) D)) ((A (B C)) (A D)) Ax.2 2. A ((B C) D) A ((B C) D) Ipotesi 3. A ((B C) D) (A (B C)) (A D) M.P. 4. A ((B C) D) (A D) (A (B C)) Contrapp. 5. (A ((B C) D)) ( (A D) (A (B C))) Teor.Ded. 6. (A ((B C) D)) ( (A D) (A (B C))) Def. di e Esercizio {A, A} A ( B A) Ax.1 2. {A, A} A Ipotesi 3. {A, A} B A M.P. 4. {A, A} A B Contrapp. 5. {A, A} A Ipotesi 6. {A, A} B M.P. 7. A ( A B) Teor.Ded. (2 volte) L esercizio può essere anche risolto in maniera più veloce usando la generalizzazione delle regole di contrapposizione e di doppia negazione date nell esercizio 8.28: 1. A ( B A) Ax.1 2. A ( A B) Contrapp. e Doppia neg. general. Esercizio 8.34 Ottenibile banalmente dalla proposizione 8.7 sostituendo A con A e applicando la doppia negazione. Esercizio 8.35 Basta notare che A (A B), riscritto solo in termini di e, diventa A ( A B); basta quindi vedere l esercizio Esercizio A B, C A, C C A Ipotesi 2. A B, C A, C C Ipotesi 3. A B, C A, C A M.P. 4. A B, C A, C A B Ipotesi 5. A B, C A, C B M.P. 6. (A B) (( C A) ( C B)) Teo.Ded. (3 volte) 7. (A B) ((C A) (C B)) Def. di 10

11 Esercizio ( A B) C, A, B ( A B) C Ipotesi 2. ( A B) C, A, B C ( A B) Contrapp. 3. ( A B) C, A, B A ( C B) Sc.Prem. 4. ( A B) C, A, B A Ipotesi 5. ( A B) C, A, B C B M.P. 6. ( A B) C, A, B B C Contrapp. 7. ( A B) C, A, B B Ipotesi 8. ( A B) C, A, B C M.P. 9. ( ( A B) C) ( A ( B C)) Teo.Ded. (3 volte) 10. ((A B) C) (A (B C)) Def.di Esercizio 8.38 Basta scambiare i ruoli di A e A nell esercizio 8.33 per ottenere una prova di 8 passaggi (si noti che nell esercizio 8.33 abbiamo accorpato due applicazioni del teorema deduttivo). Esercizio Il caso base per F n (con n = 0) è banalmente un istanza del primo assioma. Per induzione, sappiamo che F n ; allora, {A} F n. Usando il teorema deduttivo, otteniamo che A F n, cioè F n Il caso base per G n (con n = 0) è banalmente un istanza del primo assioma. Per induzione, sappiamo che G n ; allora, {A, B} G n. Usando due volte il teorema deduttivo, otteniamo che A (B G n ), cioè G n+1. 11

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Dettagli

DIMOSTRAZIONI 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 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 ( ),

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

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

Principio di induzione: esempi ed esercizi

Principio di induzione: esempi ed esercizi Principio di induzione: esempi ed esercizi Principio di induzione: Se una proprietà P n dipendente da una variabile intera n vale per n e se, per ogni n N vale P n P n + allora P vale su tutto N Variante

Dettagli

DI CHE COSA SI OCCUPA LA LOGICA

DI 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

Dettagli

DIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini

DIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini DIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini INFERENZE CORRETTE E TAUTOLOGIE Il Calcolo Proposizionale permette di formalizzare

Dettagli

Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA. 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita.

Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA. 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita. Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita. Intenderemo per PROPOSIZIONE (o ENUNCIATO) una qualunque

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

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

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

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

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

3. Logica. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune...

3. Logica. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune... Capitolo 3. Logica 3. Logica Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune... sei una persona priva di logica è logico comportarsi cosí fai l

Dettagli

Richiami di logica matematica

Richiami di logica matematica Richiami di logica matematica Gli oggetti elementari dei discorsi matematici sono le proposizioni logiche = enunciati di cui si possa stabilire inequivocabilmente se sono veri o falsi. Sono proposizioni

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

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

ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI

ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI 1. GLI ASSIOMI DI PEANO Come puro esercizio di stile voglio offrire una derivazione delle proprietà elementari dei numeri naturali e delle operazioni

Dettagli

Il Teorema di Kakutani

Il Teorema di Kakutani Il Teorema di Kakutani Abbiamo visto, precedentemente, il seguente risultato: 1 Sia X uno spazio di Banach. Se X è separabile, la palla è debolmente compatta. B X = {x X x 1} Il Teorema di Kakutani è un

Dettagli

Logica e fondamenti di matematica

Logica e fondamenti di matematica Logica e fondamenti di matematica Docente: Prof. Roberto Giuntini (giuntini@unica.it) Logica proposizionale Logica e teoria dell argomantazione. Cap. 1: Enunciati. Enunciato: Non ogni discorso è dichiarativo

Dettagli

Corso di Logica I. Modulo sul Calcolo dei Sequenti. Dispensa Lezione III.

Corso di Logica I. Modulo sul Calcolo dei Sequenti. Dispensa Lezione III. Corso di Logica I. Modulo sul Calcolo dei Sequenti. Dispensa Lezione III. Giovanni Casini Teorema di corrispondenza fra il calcolo sui sequenti SND c e il calcolo dei sequenti SC c. In queste pagine andiamo

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

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

DAI NUMERI NATURALI AI NUMERI RAZIONALI

DAI NUMERI NATURALI AI NUMERI RAZIONALI DAI NUMERI NATURALI AI NUMERI RAZIONALI 1. L insieme dei numeri naturali Nel sistema assiomatico ZF, l Assioma dell infinito stabilisce che: Esiste un insieme A, i cui elementi sono insiemi e tale che

Dettagli

Università degli Studi di Milano

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

Dettagli

Logica per la Programmazione

Logica 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

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

R. De Leo 9 Febbraio Liceo Scientifico L.B. Alberti. Invito alla Logica Matematica. attraverso gli Indovinelli

R. De Leo 9 Febbraio Liceo Scientifico L.B. Alberti. Invito alla Logica Matematica. attraverso gli Indovinelli Liceo Scientifico L.B. Alberti 9 Febbraio 2010 1 / 40 Outline 2 / 40 La come gioco da tavolo Quali sono gli elementi fondamentali di un gioco da tavolo? I Pezzi 3 / 40 La come gioco da tavolo Quali sono

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

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

SISTEMI LINEARI. x y + 2t = 0 2x + y + z t = 0 x z t = 0 ; S 3 : ; S 5x 2y z = 1 4x 7y = 3

SISTEMI LINEARI. x y + 2t = 0 2x + y + z t = 0 x z t = 0 ; S 3 : ; S 5x 2y z = 1 4x 7y = 3 SISTEMI LINEARI. Esercizi Esercizio. Verificare se (,, ) è soluzione del sistema x y + z = x + y z = 3. Trovare poi tutte le soluzioni del sistema. Esercizio. Scrivere un sistema lineare di 3 equazioni

Dettagli

CORSO DI ANALISI MATEMATICA 2 SOLUZIONI ESERCIZI PROPOSTI 18/03/2013

CORSO DI ANALISI MATEMATICA 2 SOLUZIONI ESERCIZI PROPOSTI 18/03/2013 CORSO DI ANALISI MATEMATICA SOLUZIONI ESERCIZI PROPOSTI 8/03/03 D.BARTOLUCCI, D.GUIDO. La continuità uniforme I ESERCIZIO: Dimostrare che la funzione f(x) = x 3, x A = (, ] non è uniformemente continua

Dettagli

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati Analisi asintotica e Ricorrenze Esercizi Maria Rita Di Berardini, Emanuela Merelli 1 1 Dipartimento di Matematica e Informatica Università di Camerino A.A. 2006/07 Notazioni O, Ω e Θ Parte I Notazioni

Dettagli

IL TEOREMA FONDAMENTALE DELL ARITMETICA: DIMOSTRAZIONE VELOCE.

IL TEOREMA FONDAMENTALE DELL ARITMETICA: DIMOSTRAZIONE VELOCE. IL TEOREMA FONDAMENTALE DELL ARITMETICA: DIMOSTRAZIONE VELOCE. PH. ELLIA Indice Introduzione 1 1. Divisori di un numero. 1 2. Il Teorema Fondamentale dell Aritmetica. 2 3. L insieme dei numeri primi è

Dettagli

SISTEMI LINEARI. x 2y 2z = 0. Svolgimento. Procediamo con operazioni elementari di riga sulla matrice del primo sistema: 1 1 1 3 1 2 R 2 R 2 3R 0 4 5.

SISTEMI LINEARI. x 2y 2z = 0. Svolgimento. Procediamo con operazioni elementari di riga sulla matrice del primo sistema: 1 1 1 3 1 2 R 2 R 2 3R 0 4 5. SISTEMI LINEARI Esercizi Esercizio. Risolvere, se possibile, i seguenti sistemi: x y z = 0 x + y + z = 3x + y + z = 0 x y = 4x + z = 0, x y z = 0. Svolgimento. Procediamo con operazioni elementari di riga

Dettagli

INSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti.

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

Dettagli

Fondamenti della Matematica aa Prof. Tovena Proposizioni e tavole di verità

Fondamenti della Matematica aa Prof. Tovena Proposizioni e tavole di verità Proposizioni e tavole di verità Una proposizione è un enunciato (dichiarazione, frase) che può essere vero o può essere falso, ma non può essere contemporaneamente sia vero che falso. Essere vera o falsa

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

LOGICA DEL PRIMO ORDINE CON INSIEMI E INTERVALLI. Corso di Logica per la Programmazione

LOGICA DEL PRIMO ORDINE CON INSIEMI E INTERVALLI. Corso di Logica per la Programmazione LOGICA DEL PRIMO ORDINE CON INSIEMI E INTERVALLI Corso di Logica per la Programmazione RAPPRESENTAZIONI INTENSIONALI ED ESTENSIONALI DI INSIEMI Assumiamo come universo i naturali e i sottoinsiemi di naturali

Dettagli

III. Logica degli enunciati: Calcolo dei connettivi

III. Logica degli enunciati: Calcolo dei connettivi III Logica degli enunciati: Calcolo dei connettivi 10. ENUNCIATI, CONNETTIVI, VALORI DI VERITÀ 10.1. Verità I matematici sono stati sempre persuasi di dimostrare delle verità o delle proposizioni vere.

Dettagli

Intelligenza Artificiale I

Intelligenza Artificiale I Intelligenza Artificiale I Logica formale Calcolo simbolico Marco Piastra Logica formale - Calcolo simbolico - 1 Calcolo simbolico? Una fbf è conseguenza logica di un insieme di fbf sse qualsiasi modello

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

Informatica e Bioinformatica: AND, OR, NOT

Informatica e Bioinformatica: AND, OR, NOT 31 marzo 2014 Algebra di Boole L algebra di Boole opera su due valori di verità, VERO e FALSO, mutuamente esclusivi. Nell algebra di Boole è possibile definire funzioni (che chiameremo operazioni logiche)

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. 4 Sommario. Dimostriamo il Teorema di Completezza per il Calcolo dei Predicati del I ordine. 1. Teorema di Completezza Dimostriamo il Teorema

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

La definizione di Ultrafiltro e la regolarità per partizioni

La definizione di Ultrafiltro e la regolarità per partizioni La definizione di Ultrafiltro e la regolarità per partizioni Lorenzo Lami Definizione 1 (Filtro). Dato un insieme X, si dice filtro su X una collezione F di sottoinsiemi di X tali che: X F; / F; A F, B

Dettagli

LOGICA PER LA PROGRAMMAZIONE

LOGICA 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

Dettagli

Logica e teoria degli insiemi

Logica e teoria degli insiemi Introduzione Le ricerche booleane L insieme delle parti La logica è la disciplina che studia le regole del ragionamento, per poter costruire oggetti e relazioni di senso compiuto... Date delle frasi di

Dettagli

La logica modale e la dimostrazione dell esistenza di Dio di Gödel. LOGICA MODALE

La logica modale e la dimostrazione dell esistenza di Dio di Gödel. LOGICA MODALE La logica modale e la dimostrazione dell esistenza di Dio di Gödel. In alcuni giornali ho letto che di recente ci sono stati diversi studi che hanno riportato alla ribalta la dimostrazione dell esistenza

Dettagli

Riassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria.

Riassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria. Capitolo 2 Campi 2.1 Introduzione Studiamo ora i campi. Essi sono una generalizzazione dell insieme R dei numeri reali con le operazioni di addizione e di moltiplicazione. Nel secondo paragrafo ricordiamo

Dettagli

m = a k n k + + a 1 n + a 0 Tale scrittura si chiama rappresentazione del numero m in base n e si indica

m = a k n k + + a 1 n + a 0 Tale scrittura si chiama rappresentazione del numero m in base n e si indica G. Pareschi COMPLEMENTI ED ESEMPI SUI NUMERI INTERI. 1. Divisione con resto di numeri interi 1.1. Divisione con resto. Per evitare fraintendimenti nel caso in cui il numero a del Teorema 0.4 sia negativo,

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

Complemento 5 Coseno, seno, e pi greco

Complemento 5 Coseno, seno, e pi greco AM110 Mat, Univ. Roma Tre (AA 010/11 L. Chierchia 6/1/10 1 Complemento 5 Coseno, seno, e pi greco Definizione 1 Per ogni x R poniamo cos x := ( 1 k xk (k! = 1 x + x4 4 x6 70 + x8 4030 sen x := k=0 ( 1

Dettagli

Teoria dei modelli. Alessandro Berarducci. 3 Marzo Dipartimento di Matematica Pisa

Teoria dei modelli. Alessandro Berarducci. 3 Marzo Dipartimento di Matematica Pisa Teoria dei modelli Alessandro Berarducci Dipartimento di Matematica Pisa 3 Marzo 2014 Teoria dei campi algebricamente chiusi Denizione 1 La teoria del primo ordine dei campi algebricamente chiusi, ACF,

Dettagli

Matematica. Corso integrato di. per le scienze naturali ed applicate. Materiale integrativo. Paolo Baiti 1 Lorenzo Freddi 1

Matematica. Corso integrato di. per le scienze naturali ed applicate. Materiale integrativo. Paolo Baiti 1 Lorenzo Freddi 1 Corso integrato di Matematica per le scienze naturali ed applicate Materiale integrativo Paolo Baiti 1 Lorenzo Freddi 1 1 Dipartimento di Matematica e Informatica, Università di Udine, via delle Scienze

Dettagli

Capitolo IV SPAZI VETTORIALI EUCLIDEI

Capitolo IV SPAZI VETTORIALI EUCLIDEI Capitolo IV SPAZI VETTORIALI EUCLIDEI È ben noto che in VO 3 si possono considerare strutture più ricche di quella di spazio vettoriale; si pensi in particolare all operazioni di prodotto scalare di vettori.

Dettagli

Cenni di logica matematica Dott.ssa Sandra Lucente 1

Cenni di logica matematica Dott.ssa Sandra Lucente 1 Cenni di logica matematica Dott.ssa Sandra Lucente 1 Il linguaggio della logica matematica integra e traduce il linguaggio comune sostituendolo quando questo presenta ambiguità. Procediamo come quando

Dettagli

Logica per la Programmazione

Logica 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

Dettagli

LOGICA FORMALE. Logiche

LOGICA FORMALE. Logiche LOGICA FORMALE Linguaggio formale (sintassi + semantica) + Sistema di inferenza Sintassi: insieme delle espressioni ben formate (linguaggio) Semantica: interpretazione M del linguaggio Logica classica:

Dettagli

Università degli Studi di Roma Tor Vergata. Principio di induzione matematica

Università degli Studi di Roma Tor Vergata. Principio di induzione matematica Università degli Studi di Roma Tor Vergata. Principio di induzione matematica Il Principio di induzione matematica è una tecnica di dimostrazione che permette la dimostrazione simultanea di infinite affermazioni.

Dettagli

Elezione di un leader in una rete ad anello

Elezione di un leader in una rete ad anello Elezione di un leader in una rete ad anello Corso di Algoritmi Distribuiti Prof. Roberto De Prisco Lezione n a cura di Rosanna Cassino e Sergio Di Martino Introduzione In questa lezione viene presentato

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

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 per la Programmazione

Logica per la Programmazione Logica per la Programmazione Lezione 9 Logica del Primo Ordine con Insiemi ed Intervalli Formalizzazione di Enunciati: Array e Sequenze pag. 1 Rappresentazioni Intensionali ed Estensionali di Insiemi Assumiamo

Dettagli

04 - Numeri Complessi

04 - Numeri Complessi Università degli Studi di Palermo Scuola Politecnica Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 04 - Numeri Complessi Anno Accademico 2015/2016 M. Tumminello,

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

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

L 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

Dettagli

Esercizi di Riepilogo e Autovalutazione

Esercizi di Riepilogo e Autovalutazione Esercizi di Riepilogo e Autovalutazione Marcello D Agostino Corso di Logica Filosofica 2014/2015 27 maggio 2015 Copyright c 2015 Marcello D Agostino Classificazione delle domande * = difficoltà bassa **

Dettagli

Università degli Studi di Siena Correzione Prova intermedia di Matematica Generale (A.A ) 11 novembre 2015 Compito

Università degli Studi di Siena Correzione Prova intermedia di Matematica Generale (A.A ) 11 novembre 2015 Compito Università degli Studi di Siena Correzione Prova intermedia di Matematica Generale (A.A. 15-16) 11 novembre 2015 Compito ) L'insieme evidenziato in rosso nella figura che segue è. ). Posto si ha che può

Dettagli

CORSO DI LAUREA IN FISICA

CORSO DI LAUREA IN FISICA CORSO DI LAUREA IN FISICA ANALISI MATEMATICA I BREVI RICHIAMI DELLA TEORIA DEI LIMITI. Confronto di infinitesimi. Sia A sottoinsieme di R, sia 0 punto di accumulazione di A nella topologia di R quindi

Dettagli

Corso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 1 a.a Soluzioni

Corso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 1 a.a Soluzioni Corso di Laurea in Matematica Geometria 2 Foglio di esercizi n. 1 a.a. 2015-16 Soluzioni Gli esercizi sono presi dal libro di Manetti. Per svolgere questi esercizi, studiare con cura i paragrafi 3.1, 3.2,

Dettagli

CORSO DI LAUREA IN MATEMATICA ESERCIZI SUI LIMITI 2

CORSO DI LAUREA IN MATEMATICA ESERCIZI SUI LIMITI 2 CORSO DI LAUREA IN MATEMATICA ESERCITAZIONI DI ANALISI MATEMATICA I ESERCIZI SUI LIMITI CALCOLARE IL VALORE DEI SEGUENTI LIMITI sine 4 log e e sin e 5 tan sin 5 7 tan 9 sin + e e + 4 6 8 + 0 n + log +

Dettagli

Aniello Murano Problemi non decidibili e riducibilità

Aniello Murano Problemi non decidibili e riducibilità Aniello Murano Problemi non decidibili e riducibilità 8 Lezione n. Parole chiave: Riduzione Corso di Laurea: Informatica Codice: Email Docente: murano@ na.infn.it A.A. 2008-2009 Overview Nelle lezioni

Dettagli

Esercizi e soluzioni relativi al Capitolo 10

Esercizi e soluzioni relativi al Capitolo 10 Esercizi e soluzioni relativi al Capitolo 1 Esercizio 1.1 Sia (Mat 2 2 (R), +, ) l anello delle matrici quadrate di ordine 2 a coefficienti reali. [ Gli ] elementi unitari sono tutte e sole le matrici

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

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati Algoritmi Ricorsivi e Maria Rita Di Berardini, Emanuela Merelli 1 1 Dipartimento di Matematica e Informatica Università di Camerino A.A. 2006/07 I conigli di Fibonacci Ricerca Binaria L isola dei conigli

Dettagli

A Simone piacciono tutti i giochi di squadra. Il basket è un gioco di squadra. A Simone non piace giocare a basket.

A Simone piacciono tutti i giochi di squadra. Il basket è un gioco di squadra. A Simone non piace giocare a basket. Logica La logica si occupa della correttezza del ragionamento, un ragionamento è formato da un insieme di proposizioni (enunciati di cui è possibile stabilire se sono veri o falsi) Carlo è un alunno di

Dettagli

Intelligenza Artificiale II. Logiche modali e temporali

Intelligenza Artificiale II. Logiche modali e temporali Intelligenza Artificiale II Logiche modali e temporali Marco Piastra Logiche non classiche - 1 1 Logiche modali Logiche non classiche - 2 Un paradosso? Una fbf di L P ( ) ( ) Si tratta di una tautologia

Dettagli

Esercizi riguardanti limiti di successioni e di funzioni

Esercizi riguardanti limiti di successioni e di funzioni Esercizi riguardanti iti di successioni e di funzioni Davide Boscaini Queste sono le note da cui ho tratto le esercitazioni del giorno 0 Novembre 20. Come tali sono ben lungi dall essere esenti da errori,

Dettagli

Introduzione alla TEORIA DEI NUMERI

Introduzione alla TEORIA DEI NUMERI Renato Migliorato Introduzione alla teoria dei numeri Introduzione alla TEORIA DEI NUMERI Avvertenza: questo è l inizio di un testo pensato come supporto al corso di Matematiche Complementari I ed ancora

Dettagli

Registro Lezioni di Algebra lineare del 15 e 16 novembre 2016.

Registro Lezioni di Algebra lineare del 15 e 16 novembre 2016. Registro Lezioni di Algebra lineare del 15 e 16 novembre 2016 Di seguito si riporta il riassunto degli argomenti svolti; i riferimenti sono a parti del Cap8 Elementi di geometria e algebra lineare Par5

Dettagli

ESERCIZI SULLE DISEQUAZIONI I

ESERCIZI SULLE DISEQUAZIONI I ESERCIZI SULLE DISEQUAZIONI I Risolvere le seguenti disequazioni: 1 1) { x < x + 1 4x + 4 x ) { x + 1 > x 4x x 10 ) x 4 x 5 4x + > ; 4) ; 5) x 1 x + 1 x + 1 0 ) x > x 0 7) x > 4x + 1; 8) 4 5 x 1 < 1 x

Dettagli

Un po di logica. Logica delle proposizioni. Connettivi logici, tavole di verità e tautologie

Un po di logica. Logica delle proposizioni. Connettivi logici, tavole di verità e tautologie Un po di logica Logica delle proposizioni. Connettivi logici, tavole di verità e tautologie Proposizioni. Le proposizioni, anche dette affermazioni o enunciati, che si considerano in matematica sono quelle

Dettagli

ELEMENTI DI LOGICA MATEMATICA LEZIONE I

ELEMENTI DI LOGICA MATEMATICA LEZIONE I ELEMENTI DI LOGICA MATEMATICA LEZIONE I MAURO DI NASSO Introduzione Scopo di questo corso è introdurre la logica matematica attraverso la teoria degli insiemi. La teoria degli insiemi riveste un ruolo

Dettagli

Operatori di relazione

Operatori 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

Dettagli

LOGICA PER LA PROGRAMMAZIONE - a.a Secondo Appello - 11/02/2016 Soluzioni Proposte

LOGICA PER LA PROGRAMMAZIONE - a.a Secondo Appello - 11/02/2016 Soluzioni Proposte LOGICA PER LA PROGRAMMAZIONE - a.a. 2015-2016 Secondo Appello - 11/02/2016 Soluzioni Proposte Attenzione: Le soluzioni che seguono sono considerate corrette dai docenti. Per ogni esercizio possono esistere

Dettagli