Soluzioni degli Esercizi da Svolgere Capitolo 8
|
|
- Patrizia Basile
- 6 anni fa
- Visualizzazioni
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 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
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
DettagliElementi 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
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 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
DettagliCenni 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
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
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
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
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
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
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
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
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:
DettagliDIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI. Corso di Logica per la Programmazione
DIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI Corso di Logica per la Programmazione SULLE LEGGI DEL CALCOLO PROPOSIZIONALE Abbiamo visto le leggi per l'equivalenza ( ),
DettagliLogica: materiale didattico
Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica
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
DettagliPrincipio 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
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
DettagliDIMOSTRAZIONI 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
DettagliMateriale 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
DettagliPercorso 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
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.
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,
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
DettagliISTITUTO 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
Dettagli3. 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
DettagliRichiami 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
DettagliProposizioni. 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
DettagliLOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)
LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) DISPENSA N. 3 Sommario. Introduciamo il Calcolo dei Predicati del I ordine e ne dimostriamo le proprietà fondamentali. Discutiamo il trattamento dell identità
Dettagli04 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,
DettagliALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI
ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI 1. GLI ASSIOMI DI PEANO Come puro esercizio di stile voglio offrire una derivazione delle proprietà elementari dei numeri naturali e delle operazioni
DettagliIl 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
DettagliLogica 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
DettagliCorso di Logica I. Modulo sul Calcolo dei Sequenti. Dispensa Lezione III.
Corso di Logica I. Modulo sul Calcolo dei Sequenti. Dispensa Lezione III. Giovanni Casini Teorema di corrispondenza fra il calcolo sui sequenti SND c e il calcolo dei sequenti SC c. In queste pagine andiamo
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,
DettagliRicordando 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
DettagliDAI 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
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
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
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
DettagliR. 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
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
Dettagli02 - 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
DettagliSISTEMI 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
DettagliCORSO 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
DettagliAlgoritmi 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
DettagliIL 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 è
DettagliSISTEMI 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
DettagliINSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti.
INSIEMI DEF. Un INSIEME è una qualsiasi collezione di oggetti. Esso è ben definito quando è chiaro se un oggetto appartiene o non appartiene all insieme stesso. Esempio. E possibile definire l insieme
DettagliFondamenti 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
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
DettagliLOGICA 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
DettagliIII. 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.
DettagliIntelligenza 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
DettagliRISOLUZIONE 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
DettagliInformatica 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)
DettagliLOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)
LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) DISPENSA N. 4 Sommario. Dimostriamo il Teorema di Completezza per il Calcolo dei Predicati del I ordine. 1. Teorema di Completezza Dimostriamo il Teorema
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
DettagliLa 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
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
DettagliLogica 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
DettagliLa 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
DettagliRiassumiamo 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
Dettaglim = 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,
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e
DettagliComplemento 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
DettagliTeoria 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,
DettagliMatematica. 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
DettagliCapitolo 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.
DettagliCenni 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
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 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:
DettagliUniversità 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.
DettagliElezione 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
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
Dettaglisempre 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
DettagliLogica 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
Dettagli04 - 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,
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
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
DettagliEsercizi 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 **
DettagliUniversità 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ò
DettagliCORSO 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
DettagliCorso 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,
DettagliCORSO 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 +
DettagliAniello 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
DettagliEsercizi 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
DettagliLinguaggi. Claudio Sacerdoti Coen 29,?/10/ : La struttura dei numeri naturali. Universitá di Bologna
Linguaggi 5: La struttura dei numeri naturali Universitá di Bologna 29,?/10/2014 Outline La struttura dei numeri naturali 1 La struttura dei numeri naturali I numeri naturali La
DettagliAlgoritmi 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
DettagliA 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
DettagliIntelligenza 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
DettagliEsercizi 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,
DettagliIntroduzione 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
DettagliRegistro 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
DettagliESERCIZI 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
DettagliUn 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
DettagliELEMENTI 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
DettagliOperatori di relazione
Condizioni Negli algoritmi compaiono passi decisionali che contengono una proposizione (o predicato) dal cui valore di verità dipende la sequenza dinamica Chiamiamo condizioni tali proposizioni Nei casi
DettagliLOGICA 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