NOZIONI DI LOGICA PROPOSIZIONI.
|
|
- Lorenza Vitale
- 7 anni fa
- Visualizzazioni
Transcript
1 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 della Francia Un triangolo ha 5 lati Non sono proposizioni : Che tempo fa? Apri quella porta Che bella festa! Poiché ogni proposizione può essere solo vera o falsa, è possibile associare ad ogni proposizione un valore di verità : vero o falso e si denota rispettivamente con V o F o anche rispettivamente con 1 o 0. Se una proposizione è vera diremo che ha valore di verità V oppure 1,se è falsa diremo che ha valore di verità F oppure 0. Ogni proposizione ha quindi un valore di verità. Le proposizioni si denoteranno con le lettere minuscole dell alfabeto latino, quali a,b,c,. La logica delle proposizioni descrive come si possono combinare tra loro proposizioni in modo da ottenere altre proposizioni. 1
2 TAVOLE DI VERITA Data la proposizione a si può ottenere La proposizione non a, detta la negazione di a. In simboli : a a è vera quando a è falsa a è falsa quando a è vera. I valori di verità di a sono quindi descritti dalla seguente tavola di verità a V F a F V ESEMPIO a : Bari è una città a : Bari non è una città a : Oggi non abbiamo seguito le lezioni a : Oggi abbiamo seguito le lezioni 2
3 Date due proposizioni a e b si possono ottenere : La proposizione a e b detta la congiunzione di a e b. In simboli : a b a b è vera se e solo se a è vera e b è vera. I valori di verità di a b sono quindi descritti dalla seguente tavola di verità a b a b V V V V F F F V F F F F ESEMPI a : 12 è divisibile per 3 ( V ) b : 12 è divisibile per 2 ( V ) a b : 12 è divisibile per 3 e per 2 ( V ) a : 24 è multiplo di 6 ( V ) b : 24 è multiplo di 7 ( F ) a b : 24 è multiplo di 6 e 7 ( F) 3
4 ESERCIZIO a : 3 è multiplo di 5 ( ) b : 8 è multiplo di 2 ( ) a b :? ( ) a : 3 è multiplo di 7 ( ) b : 25 è divisibile per 2 ( ) a b :? ( ) 4
5 La proposizione a o b,detta la disgiunzione di a e b In simboli : a b. a b è vera se e solo se almeno una delle due proposizioni è vera. I valori di verità di a b sono allora descritti dalla seguente tavola di verità a b a b V V V V F V F V V F F F ESEMPI a : 7-4 = 3 ( V ) b : Bari è il capoluogo della Puglia ( V ) a b : 7-4 = 3 o Bari è il capoluogo della Puglia ( V ) a : Firenze è una città ( V ) b : l Arno è un lago ( F ) a b : Firenze è una città o l Arno è un lago ( V ) OSSERVAZIONE La o di a o b è intesa in senso inclusivo ( a è vero oppure b è vero oppure a e b sono entrambe vere ) e non in senso esclusivo (a è vera oppure b è vera, ma non sono entrambe vere). 5
6 ESERCIZIO a : 5-4 = 8 ( ) b : Bari è una città ( ) a b :? ( ) a : Bari è un lago ( ) b : 4 x 2 = 9 ( ) a b :? ( ) 6
7 La proposizione se a allora b o anche a implica b,detta implicazione. In simboli : a b a b è falsa se e solo se a è vera e b è falsa, in tutti gli altri casi a b è vera I valori di verità di a b sono quindi descritti dalla seguente tavola di verità. a b a b V V V V F F F V V F F V ESEMPI a : 12 è un numero divisibile per 6 ( V ) b : 12 è un numero divisibile per 3 ( V ) a b : se 12 è un numero divisibile per 6 allora è un numero divisibile per 3 ( V ) a : l uomo è un elefante ( F ) b : 11 è un numero primo ( V ) a b : se l uomo è un elefante allora 11 è un numero primo ( V) OSSERVAZIONE La nozione di implicazione a b si discosta dal significato usuale che si dà all implicazione che esprime normalmente una correlazione di tipo causa-effetto tra a e b. 7
8 ESERCIZIO a : = 12 ( ) b : ogni cane ha le ali ( ) a b :? ( ) a : 11-4 = 8 ( ) b : = 9 ( ) a b :? ( ) 8
9 La proposizione : a se e solo se b o anche condizione necessaria e sufficiente affinché a è anche b, detta doppia implicazione. In simboli a b a b è vera se e solo se a e b hanno lo stesso valore di verità. I valori di verità di a b sono allora descritti dalla seguente tavola di verità. a b a b V V V V F F F V F F F V. ESEMPI a : Verdi è un compositore italiano ( V ) b : 2 2 = 4 ( V ) a b : Verdi è un compositore italiano se e solo se 2 2 = 4 ( V ) a : il merluzzo è un mammifero ( F ) b : 4 è un numero dispari ( F ) a b : il merluzzo è un mammifero se e solo se 4 è un numero dispari ( V ) 9
10 OSSERVAZIONE Anche la doppia implicazione si discosta dal significato usuale di se e solo se. ESERCIZIO a : 3 2 = 1 ( ) b : Il Mediterraneo è un deserto ( ) a b :? ( ) a : ( 2 2 ) 3 = 2 5 ( ) b : ( ) 2 = 9 ( ) a b :? ( ) 10
11 CONNETTIVI LOGICI I simboli,,,, sono detti connettivi logici A partire da proposizioni molto semplici è possibile, utilizzando i connettivi logici, ottenere proposizioni composte sempre più complesse Il valore di verità di tali proposizioni è univocamente determinato dalle tavole di verità una volta che si sia stabilito il valore di verità delle singole proposizioni di cui sono composte., viene posto prima di una proposizione.,,,, sono posti tra due proposizioni. 11
12 FORMULE Si considerino n simboli a 1,, a n, detti variabili proposizionali Si dicono formule o forme proposizionali ( nelle variabili a 1,, a n ) le espressioni definite da 1. a 1,, a n sono formule 2. se a e b sono formule allora: a b a b a a b a b sono formule 3. sono formule (nelle variabili a 1,, a n ) solo le espressioni ottenute tramite le 1 e 2 ESEMPIO a, b variabili a b è una formula (a b) è una formula a b ( (a b )) è una formula Per semplificare la scrittura: Si eliminano le parentesi più esterne L ordine in cui si considerano i connettivi logici è il seguente: prima la negazione, poi e, infine e. 12
13 ESEMPIO (( a b ) ( ( a ) b)) si scrive ( a b ) ( a b ) Per ogni forma proposizionale nelle variabili a 1,, a n si può costruire una tavola di verità ESEMPIO a b c Le variabili sono a, b, c. Le righe della sua tavola di verità sono 2 3 = 8 a b c a b a b c V V V V V V V F V F V F V V V V F F V F F V V V V F V F V F F F V F V F F F F V OSSERVAZIONE La tavola di verità di una formula in n variabili ha 2 n righe. 13
14 TAUTOLOGIE E CONTRADDIZIONI Una formula nelle variabili a 1,,a n che sia sempre vera qualunque siano i valori di verità assegnati ad a 1,,a n si dice tautologia. ESEMPIO La formula a ( a b ) b è una tautologia a b a b a (a b) a (a b) b V V V V V V F F F V F V V F V F F V F V Una formula nelle variabili a 1,,a n che sia sempre falsa qualunque siano i valori di verità assegnati ad a 1,,a n si dice contraddizione. ESEMPIO La formula a a è una contraddizione a a a a V F F F V F OSSERVAZIONE a è una contraddizione se e solo se a è una tautologia. 14
15 ESERCIZI Siano a e b variabili proposizionali. Si verifichi che sono tautologie le seguenti: a b a b ; a ( b a b ) ; a a b ; 15
16 CONSEGUENZA LOGICA Siano a e b due formule della logica proposizionale. Si dice che b è conseguenza logica di a, se b è vera ogni volta che a è vera e si scrive: a b. Più in generale: Siano a 1,,a n e b formule. Si dice che b è conseguenza logica di a 1,,a n, se b è vera ogni volta che a 1,,a n sono vere e si scrive a 1,,a n b. ESEMPIO a, b, a b sono formule. La formula b è conseguenza logica di a, a b ossia a, a b b Infatti : dalla tavola di verità di a b si vede che nell unico caso in cui a ed a b sono entrambe vere, il che corrisponde solo alla prima riga, anche b è vero. a b a b V V V V F F F V V F F V 16
17 ESEMPIO a, b, a b sono formule. La formula a non è conseguenza logica di b, a b ossia non è vero che b, a b a Infatti : dalla tavola di verità di a b si vede che b ed a b sono entrambe vere sia in corrispondenza della prima riga. sia in corrispondenza della terza riga. Ma mentre in corrispondenza della prima riga anche a è vera, in corrispondenza della terza riga a è falsa. a b a b V V V V F F F V V F F V Siano a e b due formule Si dice che a e b sono semanticamente equivalenti se hanno gli stessi valori di verità, cioè se hanno le stesse tavole di verità e si scrive a b. Quindi se a e b sono semanticamente equivalenti si ha: a è vera se e solo se b è vera ; a è falsa se e solo se b è falsa. 17
18 ESEMPIO Date le formule a e b, sono semanticamente equivalenti le formule : a b e a b Infatti : la tavola di verità di a b è a b a b V V V V F F F V V F F V La tavola di verità di a b è a b a a b V V F V V F F F F V V V F F V V ESERCIZIO Verificare che se a e b sono formule, allora sono semanticamente equivalenti le formule a b ; b a ; ( a b ). 18
19 L equivalenza semantica delle formule a b ; b a ; ( a b ) si collega a tre diversi modi in cui è possibile dimostrare una implicazione. Per dimostrare che si può procedere con una : da a segue b dimostrazione diretta si assume vero a e si deduce la verità di b; dimostrazione indiretta o per contrapposizione da b segue a; dimostrazione per assurdo si suppone a b e si giunge ad una contrapposizione e ciò equivale a provare ( a b ). 19
20 FUNZIONI PROPOSIZIONALI o PREDICATI In matematica sono necessarie oltre alle proposizioni anche le funzioni proposizionali o predicati. Sia D un insieme detto dominio. Una funzione proposizionale su D è un espressione P(x) tale che P(x) sia una proposizione quando al posto della variabile individuale x si sostituisce un arbitrario elemento a D, ossia, per ogni a D, si ha che P(a) è vera o P(a) è falsa Se si considera : a : Antonio è alto 1.60, a è una proposizione. Chi conosce Antonio sa se a è vera o se a è falsa. Se si considera: P ( x ) : x è alto 1.60 ( dove x varia nell insieme di tutti gli uomini ) P(x) è una funzione proposizionale. P ( x ) è vera se x varia nell insieme di tutti gli uomini alti P ( x ) è falsa se x non varia nell insieme di tutti gli uomini alti In generale: Se D 1, D 2,,D n sono n insiemi una funzione proposizionale ( in n variabili) su D 1 x D 2 x x D n è un espressione P(x 1, x 2,,x n ) tale che P(a 1, a 2,,a n ) è una proposizione, per ogni (a 1, a 2,,a n ) elemento di D 1 x D 2 x x D n. 20
21 ESEMPI 1. x è minore di 3 e maggiore di -3 ( dove x varia in R ); è una funzione proposizionale nella variabile x ed il dominio è R: 2. y = 2x ( dove x e y variano in Z ); è una funzione proposizionale nelle variabili x ed y su Z x Z. 21
22 QUANTIFICATORI Un predicato P(x 1, x 2,,x n ) non è né vero né falso, ma diventa vero o falso, cioè diventa una proposizione, se si vincolano le variabili. Le variabili si vincolano se: Si sostituiscono le variabili x 1, x 2,,x n con dei valori particolari. ESEMPIO P( x ) : x è un numero pari ( x varia in N ) P( 4 ) è vera P( 11 ) è falsa Quantificando le variabili Sia P ( x ) un predicato con x variabile nel domino D. Si possono avere enunciati del tipo : 1. per ogni x in D, la proposizione P ( x ) è vera. In simboli x P ( x ) si legge per ogni è detto quantificatore universale ESEMPIO Per ogni numero intero x, x è maggiore di x-1. 22
23 2. esiste almeno un x in D per cui la proposizione P( x ) è vera. In simboli x P ( x ) si legge esiste è detto quantificatore esistenziale. ESEMPIO Esiste almeno un numero intero pari minore di 20 divisibile per 4. La negazione di : x P ( x ) ossia: ( x P ( x ) ) è : x P ( x ) ESEMPIO P(x) : un cane è nero. ogni cane è nero : in simboli x P ( x ) Ha come negazione : in simboli x P ( x ) che si legge : esiste almeno un cane che non è nero. Quindi per ogni funzione proposizionale P(x) su D le proposizioni : ( x P ( x ) ) e x P ( x ), sono equivalenti. Analogamente sono equivalenti le proposizioni: ( x P ( x ) ) e x P ( x ). 23
24 ESEMPIO P(x, y) : x + y è un numero pari. Allora: per ogni x esiste y tale che x + y non è pari ossia in simboli x y P ( x, y ) è equivalente a non esiste x tale che per ogni y, x + y è pari ossia in simboli ( x y P ( x, y ) ) 24
25 LINGUAGGIO Un linguaggio del primo ordine L con identità è formato da Le variabili individuali x 1,, x n, I connettivi logici,,,, Il simbolo di uguaglianza = I quantificatori, I simboli ausiliari (, ) e ; I simboli predicativi I simboli funzionali Le costanti individuali. * simboli predicativi sono quelli che denotano le relazioni * simboli funzionali sono quelli che denotano le applicazioni e le operazioni * le costanti individuali sono quelle che denotano particolari elementi Si dicono simboli logici le variabili individuali, i connettivi logici, il simbolo di uguaglianza e i quantificatori. In ogni linguaggio si trovano sia i simboli logici sia i simboli ausiliari. I simboli funzionali, i simboli predicativi e le costanti individuali dipendono dal linguaggio che si sta considerando. 25
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
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,
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
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
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
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
DettagliRichiami 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
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
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
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
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
DettagliL'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
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
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
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,
DettagliLA 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,
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
DettagliSemantica proposizionale. Unit 2, Lez 3 e 4 Corso di Logica
Semantica proposizionale Unit 2, Lez 3 e 4 Corso di Logica Sommario Semantica dei connettivi Costruzione delle tavole di verità Tautologie, contraddizioni e contingenze Semantica delle forme argomentative
DettagliElementi di Logica Teoria degli insiemi
Precorso di Analisi Matematica Facoltà d'ingegneria Università del Salento Elementi di Logica Teoria degli insiemi Proff. A. Albanese E. Mangino Dipartimento di Matematica e Fisica E. De Giorgi - Università
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
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
DettagliLogica proposizionale
Logica proposizionale Linguaggio comune Nel linguaggio comune si utilizzano spesso frasi imprecise o ambigue Esempio Un americano muore di melanoma ogni ora! Assurdo: significa che c è un americano (sfortunato)
DettagliIntroduzione alla logica matematica
Introduzione alla logica matematica 1 PROPOSIZIONE LOGICA Ogni discorso è fatto mediante espressioni di vario tipo che sono dette: proposizioni. Nel linguaggio ordinario, si chiama proposizione qualunque
DettagliCenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve
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
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
DettagliIntroduzione alla logica
Corso di Intelligenza Artificiale 2011/12 Introduzione alla logica iola Schiaffonati Dipartimento di Elettronica e Informazione Sommario 2 Logica proposizionale (logica di Boole) Logica del primo ordine
DettagliNozioni di logica matematica
MINISTERO DELL ISTRUZIONE, DELL UNIVERSITA E DELLA RICERCA LICEO STATALE P. E. IMBRIANI Linguistico - Scientifico - Scientifico delle Scienze Applicate Via S. Pescatori, 155 83100 Avellino Tel. (2 linee)
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
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
DettagliUniversità degli Studi di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica ALGEBRA BOOLEANA
Università degli Studi di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica ALGEBRA BOOLEANA Introduzione George Boole (1815-1864) nel 1854 elaborò una algebra basata su predicati logici. Valori
DettagliBOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1
BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1 SOMMARIO DEL TOMO 1 CAPITOLO 1: IL LINGUAGGIO DEGLI INSIEMI 1.1 Gli insiemi e la loro rappresentazione pag. 1 1. I sottoinsiemi pag. 6 1.3 Insieme
DettagliAPPUNTI DI ANALISI MATEMATICA Parte Prima
APPUNTI DI ANALISI MATEMATICA Parte Prima Versione preliminare del 24 settembre 2008 Pierpaolo Omari Dipartimento di Matematica e Informatica Università degli Studi di Trieste Maurizio Trombetta Dipartimento
DettagliLogica. Claudio Sacerdoti Coen 07/10/ : Connotazione, denotazione, invarianza per sostituzione. Universitá di Bologna
Logica 3: Connotazione, denotazione, invarianza per sostituzione Universitá di Bologna 07/10/2015 Outline 1 Connotazione, denotazione, invarianza per sostituzione Connotazione vs
DettagliIndice. 1 Cenni di logica. 2 Elementi di teoria degli insiemi. 3 Relazioni e funzioni. 4 Strutture algebriche
Indice 1 Cenni di logica 2 Elementi di teoria degli insiemi 3 Relazioni e funzioni 4 Strutture algebriche Silvia Pianta - Laura Montagnoli Geometria I - Prerequisiti - UCSC A.A. 2015/2016 1 / 36 1. Cenni
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
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
Dettagli1. equivalenze e implicazioni logiche. Esercizio 1.2. Trovare le implicazioni che legano i seguenti enunciati (x, y R):
. equivalenze e implicazioni logiche Esercizio.. Trovare le implicazioni che legano i seguenti enunciati (x, y R): () x < y, () x = y, () x y, () x y, () (x y) > 0. Osserviamo subito che (x y) > 0 equivale
DettagliI circuiti elementari
I circuiti elementari Nel lavoro diprogrammazione con il computer si fa largo uso della logica delle proposizioni e delle regole dell algebra delle proposizioni o algebra di Boole. L algebra di Boole ha
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 Analisi Matematica I numeri reali
Corso di Analisi Matematica I numeri reali Laurea in Informatica e Comunicazione Digitale A.A. 2013/2014 Università di Bari ICD (Bari) Analisi Matematica 1 / 57 1 Insiemi e logica 2 Campi ordinati 3 Estremo
DettagliI.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica
I.2 Logica Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti Logica 1 Logica 2 3 Logica Si occupa dello studio delle strutture e delle regole
DettagliLA 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
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
DettagliProposizione logica Argomento/i Predicato Roma è la capitale d Italia Roma è la capitale d Italia 2>3 2 e 3 è maggiore di
1. Un pò di storia Logica Il primo studioso che si occupò di logica fu il filosofo greco Aristotele (384-322 a.c.). Fino al Cinquecento la logica restò sostanzialmente entro i confini tracciati da Aristotele;
DettagliIn una palazzina abitata da 20 famiglie, 10 di esse hanno il cane, 2 non hanno n è cane n è gatto mentre 12 famiglie hanno il gatto.
Attività In una palazzina abitata da 20 famiglie, 10 di esse hanno il cane, 2 non hanno n è cane n è gatto mentre 12 famiglie hanno il gatto. È possibile che si realizzi la situazione descritta? Motiviamo...
DettagliM.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI
M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI Assumiamo come primitivo il concetto di insieme e quello di appartenenza di un elemento a un insieme. La notazione x A indica
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 ( ),
DettagliPROGRAMMA CONSUNTIVO
PAGINA: 1 PROGRAMMA CONSUNTIVO A.S.2014-2015 SCUOLA Liceo Linguistico Manzoni DOCENTE: Marina Barbàra MATERIA: Matematica e Informatica Classe 1 Sezione A OBIETTIVI: le parti sottolineate sono da considerarsi
DettagliLogica 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.
Dettagli3. OPERAZIONI TRA CLASSI 2
INSIEMI 1. Elementi e Classi Lo scopo di questo primo capitolo è di introdurre in maniera rigorosa le nozioni di classe e insieme, e di studiarne le principali proprietà. Nel seguito useremo il termine
DettagliTutte queste frasi hanno due caratteristiche fondamentali: Sono frasi semplici perché non contengono altra frase come componente;
Il linguaggio della logica Proposizioni semplici e composte Le frasi che formano i discorsi del nostro linguaggio naturale possono essere dichiarative, descrittive, esclamative, interrogative, possono
Dettagli4. Logica. Insegnamento di Informatica. Elisabetta Ronchieri. I semestre, anno Corso di Laurea di Economia, Universitá di Ferrara
4. Logica Insegnamento di Informatica Elisabetta Ronchieri Corso di Laurea di Economia, Universitá di Ferrara I semestre, anno 2014-2015 Elisabetta Ronchieri (Universitá) Insegnamento di Informatica I
DettagliLOGICA. Definizione: una proposizione semplice è una frase della quale si possa dire se è
LOGICA La logica nasce nell antica Grecia ed in particolare possiamo far risalire il suo inizio al grande filosofo Aristotele (384 a.c. 322 a.c.) che la tratta principalmente negli Analitici I e Analitici
DettagliRagionamento Automatico Richiami di calcolo dei predicati
Richiami di logica del primo ordine Ragionamento Automatico Richiami di calcolo dei predicati (SLL: Capitolo 7) Sintassi Semantica Lezione 2 Ragionamento Automatico Carlucci Aiello, 2004/05Lezione 2 0
DettagliVerifica per la classe prima COGNOME... NOME... Classe... Data...
Capitolo Gli insiemi Insiemi Insiemi Sottoinsiemi Operazioni.a Rappresentare per tabulazione e tramite l uso dei diagrammi di Eulero-Venn i seguenti insiemi dati per caratteristica: A {n n H 0 ; n 7} B
Dettagli01 - Elementi di Teoria degli Insiemi
Università degli Studi di Palermo Scuola Politecnica Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 01 - Elementi di Teoria degli Insiemi Anno Accademico 2015/2016
DettagliLiceo Scientifico G. Galilei Trebisacce Anno Scolastico A= x x=2n n 5 n N B= x N 2 x<8 C= x x=4n n<5
Liceo Scientifico G. Galilei Trebisacce Anno Scolastico 2012-2013 Prova di Matematica : Insiemi e logica Alunno: Classe: 1C 22.11.2012 prof. Mimmo Corrado 1. Dato l insieme universo U= x N x
DettagliLe variabili logiche possono essere combinate per mezzo di operatori detti connettivi logici. I principali sono:
Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: Connettivi logici True (vero identificato con 1) False (falso identificato con 0) Le variabili
DettagliPrecorso di Matematica. Parte I : Fondamenti di Matematica
Facoltà di Ingegneria Precorso di Matematica Parte I : Fondamenti di Matematica 1. Teoria degli insiemi e cenni di logica Il concetto di insieme costituisce l elemento fondante di gran parte delle esposizioni
DettagliAlgebra di Boole X Y Z V. Algebra di Boole
L algebra dei calcolatori L algebra booleana è un particolare tipo di algebra in cui le variabili e le funzioni possono solo avere valori 0 e 1. Deriva il suo nome dal matematico inglese George Boole che
Dettagli2. Quesiti dell area scientifica e scientifico-tecnologica
2. Quesiti dell area scientifica e scientifico-tecnologica Logica 01 Scegliere fra le alternative proposte quella che completa la serie: a b c d e 02 Un auto percorre 20.000 km nel corso di un lungo viaggio.
DettagliAlgebra di Boole. Andrea Passerini Informatica. Algebra di Boole
Andrea Passerini passerini@disi.unitn.it Informatica Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: True (vero identificato con 1) False (falso
DettagliESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A
TEORI DEGLI INSIEMI GENERLIT Un insieme è un ente costituito da oggetti. Il concetto di insieme e di oggetto si assumono come primitivi. Se un oggetto a fa parte di un insieme si dice che esso è un suo
DettagliISTITUTO D ISTRUZIONE SUPERIORE POLO - LICEO ARTISTICO - VENEZIA PROGRAMMA SVOLTO
ISTITUTO D ISTRUZIONE SUPERIORE POLO - LICEO ARTISTICO - VENEZIA A.S.: 0/05 Classe Sezione Indirizzo: IV B Classico Disciplina: MATEMATICA E INFORMATICA ( h) Docente: Fabiola Frezza PROGRAMMA SVOLTO MODULO/UNITÀ
DettagliLogica proposizionale
Università di Bergamo Facoltà di Ingegneria Intelligenza Artificiale Paolo Salvaneschi A7_2 V1.1 Logica proposizionale Il contenuto del documento è liberamente utilizzabile dagli studenti, per studio personale
DettagliElementi di logica. 1. Introduzione. 2. Operatori logici (connettivi)
Elementi di logica. Introduzione La logica elementare si interessa della verità di affermazioni complesse a partire dalla verità di quelle più semplici che le compongono. Si può parlare di verità/falsità
DettagliNozioni introduttive e notazioni
Nozioni introduttive e notazioni 1.1 Insiemi La teoria degli insiemi è alla base di tutta la matematica, in quanto ne fornisce il linguaggio base e le notazioni. Definiamo un insieme come una collezione
DettagliRiconoscere e formalizzare le dipendenze funzionali
Riconoscere e formalizzare le dipendenze funzionali Giorgio Ghelli 25 ottobre 2007 1 Riconoscere e formalizzare le dipendenze funzionali Non sempre è facile indiduare le dipendenze funzionali espresse
DettagliProf. Pietro Zecca. Dipartimento di Matematica e Informatica U. Dini. Ufficio: Via Santa Marta 3, Telefono
Prof. Dipartimento di e Informatica U. Dini Ufficio: Via Santa Marta 3, Telefono 0554796256 e-mail: pietro.zecca@unifi.it web-page: http://www2.de.unifi.it/anum/zecca/ Il programma del corso comprende
DettagliLogica. 7: Conseguenza ed equivalenza logica in logica classica proposizionale. Claudio Sacerdoti Coen. Universitá di Bologna
Logica 7: Conseguenza ed equivalenza logica in logica classica proposizionale Universitá di Bologna 30/11/2016 Outline Conseguenza logica per la logica proposizionale Wikipedia:
DettagliDEFINIZIONE DI INSIEME
ELEMENTI DI TEORIA DEGLI INSIEMI PROF.SSA ROSSELLA PISCOPO Indice 1 DEFINIZIONE DI INSIEME ------------------------------------------------------------------------------------------------ 3 2 METODI DI
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
DettagliPrecorsi di matematica
Precorsi di matematica Francesco Dinuzzo 12 settembre 2005 1 Insiemi Il concetto di base nella matematica moderna è l insieme. Un insieme è una collezione di elementi. Gli elementi di un insieme vengono
DettagliFUNZIONI BOOLEANE. Vero Falso
FUNZIONI BOOLEANE Le funzioni booleane prendono il nome da Boole, un matematico che introdusse un formalismo che opera su variabili (dette variabili booleane o variabili logiche o asserzioni) che possono
DettagliProf. 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
DettagliLa matematica non è un opinione, lo è oppure...?
La matematica non è un opinione, lo è oppure...? Giulio Giusteri Dipartimento di Matematica e Fisica Università Cattolica del Sacro Cuore Brescia 26 Febbraio 2010 Vecchie conoscenze Dedurre... dedurre...
DettagliLIBRO ADOTTATO. A. FACCHINI: ALGEBRA E MATEMATICA DISCRETA, ed. ZANICHELLI LIBRI CONSIGLIATI
LIBRO ADOTTATO A. FACCHINI: ALGEBRA E MATEMATICA DISCRETA, ed. ZANICHELLI LIBRI CONSIGLIATI G.M. PIACENTINI CATTANEO: MATEMATICA DISCRETA, ed. ZANICHELLI C. COSTANTINO, P. LONGOBARDI, M. MAJ, C. NICOTERA:
DettagliMatematica e-learning - Corso Zero di Matematica. Gli Insiemi. Prof. Erasmo Modica A.A.
Matematica e-learning - Gli Insiemi Prof. Erasmo Modica http://www.galois.it erasmo@galois.it A.A. 2009/2010 1 Simboli Matematici Poiché in queste pagine verranno utilizzati differenti simboli matematici,
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
DettagliUna 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
DettagliIntelligenza Artificiale I
Intelligenza Artificiale I - AA 27/28 Intelligenza Artificiale I Logica formale Introduzione Marco Piastra Logica formale - Introduzione - Intelligenza Artificiale I - AA 27/28 Sistematicità del linguaggio
DettagliIntroduzione 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
Dettagli2 non è un numero razionale
2 non è un numero razionale 1. Richiami: numeri pari e dispari. Un numero naturale m è pari (rispettivamente dispari) se e solo se esiste un numero naturale r tale che m = 2r (rispettivamente m = 2r +
DettagliDefinizione - Sottoinsieme Simbolo di Sottoinsieme Relazione di inclusione forte o stretta Simbolicamente: Sottoinsieme: Uguaglianza:
Insiemi Concetto Primitivo Simboli di appartenenza e non appartenenza Insieme vuoto ø Rappresentazione: Elencazione Diagrammi di Eulero-Venn Mediante Proprietà Caratteristica a, b Definizione - Sottoinsieme
DettagliAlcune nozioni di base di Logica Matematica
Alcune nozioni di base di Logica Matematica Ad uso del corsi di Programmazione I e II Nicola Galesi Dipartimento di Informatica Sapienza Universitá Roma November 1, 2007 Questa é una breve raccolta di
DettagliCALCOLO 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)
DettagliGli insiemi N, Z e Q. I numeri naturali
Università Roma Tre L. Chierchia 1 Gli insiemi N, Z e Q Il sistema dei numeri reali (R, +,, ) può essere definito tramite sedici assiomi: quindici assiomi algebrici (si veda ad esempio 2.3 in [Giusti,
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
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
DettagliAlgebra di Boole ed elementi di logica
Algebra di Boole ed elementi di logica Marco D. Santambrogio marco.santambrogio@polimi.it Ver. aggiornata al 10 O0obre 2013 Obiettivi Algebra di Boole Algebra di boole a due valori: algebra di commutazione
DettagliELEMENTI di TEORIA degli INSIEMI
ELEMENTI di TEORI degli INSIEMI & 1. Nozioni fondamentali. ssumeremo come primitivi il concetto di insieme e di elementi di un insieme. Nel seguito gli insiemi saranno indicati con lettere maiuscole (,,C,...)
DettagliPORTE LOGICHE. Si effettua su due o più variabili, l uscita assume lo stato logico 1 se almeno una variabile di ingresso è allo stato logico 1.
PORTE LOGICHE Premessa Le principali parti elettroniche dei computer sono costituite da circuiti digitali che, come è noto, elaborano segnali logici basati sullo 0 e sull 1. I mattoni fondamentali dei
DettagliLOGICA DEL PRIMO ORDINE: MOTIVAZIONI, SINTASSI E INTERPRETAZIONI. Corso di Logica per la Programmazione A.A Andrea Corradini
LOGICA DEL PRIMO ORDINE: MOTIVAZIONI, SINTASSI E INTERPRETAZIONI Corso di Logica per la Programmazione A.A. 2013 Andrea Corradini LIMITI DEL CALCOLO PROPOSIZIONALE Nella formalizzazione di enunciati dichiarativi,
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)
DettagliGLI INSIEMI PROF. WALTER PUGLIESE
GLI INSIEMI PROF. WALTER PUGLIESE INSIEME DEFINIZIONE UN RAGGRUPPAMENTO DI OGGETTI RAPPRESENTA UN INSIEME IN SENSO MATEMATICO SE ESISTE UN CRITERIO OGGETTIVO CHE PERMETTE DI DECIDERE UNIVOCAMENTE SE UN
DettagliTeoria degli Insiemi
Angelica Malaspina Dipartimento di Matematica, Informatica ed Economia Università degli Studi della Basilicata, Italy angelica.malaspina@unibas.it distributive distributive distributive Il concetto di
DettagliPiccolo teorema di Fermat
Piccolo teorema di Fermat Proposizione Siano x, y Z, p N, p primo. Allora (x + y) p x p + y p (mod p). Piccolo teorema di Fermat Proposizione Siano x, y Z, p N, p primo. Allora (x + y) p x p + y p (mod
DettagliCenni di logica e teoria degli insiemi
Capitolo 1 Cenni di logica e teoria degli insiemi 1.1 Alcuni elementi di logica In matematica si parte da alcuni principi, la cui validità è assunta senza dimostrazione, per poi dedurre nuove a ermazioni.
DettagliI.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