Elementi di Logica Teoria degli insiemi
|
|
- Guglielmo Pizzi
- 7 anni fa
- Visualizzazioni
Transcript
1 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à del Salento
2 Elementi di Logica Una proposizione è una affermazione che esprime un unico valore di verità, cioè è una affermazione che può essere Vera oppure Falsa. Esempi: 25 è un numero divisibile per 2 F Roma è la capitale di Italia V
3 Mi piacerebbe fare bene in matematica senza studiare Questa non è una proposizione! Le proposizioni si possono poi combinare tra loro per formare proposizioni più complesse con l ausilio dei connettivi logici e, o, se, allora, ecc.
4 Si dicono atomiche le proposizioni che non si possono ottenere da proposizioni più semplici con l uso dei connettivi logici. Bari è il capoluogo della regione Puglia (proposizione atomica) Se prenderò la Laurea a pieni voti, allora mio padre sarà molto orgoglioso di me (proposizione non atomica)
5 I connettivi logici si possono ridurre ai tre che seguono Negazione,, che si indica con segno (non) Congiunzione,, che si indica con (e) Disgiunzione,, che si indica con (o) Vediamo il significato dei tre connettivi.
6 Negazione Se P è una proposizione, P indica una proposizione il cui contenuto è esattamente l'opposto di quello espresso dalla proposizione P. Esempio: P=Tizio è più alto di Caio P= Tizio non è più alto di Caio N.B.: P non vuol dire che Tizio è più basso di Caio perchè Potrebbero avere la stessa altezza. Se P è vera, allora P è falsa. Se P è falsa, allora P è vera
7 Congiunzione Se P e Q sono due proposizioni, con P Q Q afferma il verificarsi sia di quanto affermato in P sia di quanto affermato in Q. Es. P:Tizio è più alto di Caio Q: Tizio è più ricco di Caio P Q: Tizio è più alto e più ricco di Caio P Q Q sarà vera solo se P e Q lo sono, mentre P Q P Q sarà falsa se una delle due è falsa. Es. : 1<x<3 1<x e x<3
8 Disgiunzione Se P e Q sono proposizioni, P Q afferma il verificarsi di una delle affermazioni espresse dalle proposizioni P e Q. Es. P:Tizio è più alto di Caio Q: Tizio è più ricco di Caio P Q: Tizio è, rispetto a Caio, più alto o più ricco o le due cose insieme. P Q Q sarà vera solo se una fra P e Q lo è, mentre P Q P Q sarà falsa se entrambe sono false. Es. x2-4>0 se e solo se x<-2-4>0 se e solo se x<-2 x>2
9 Esempi: 1) P= piove, Q= è lunedì P= non piove P Q= piove ed è lunedì P Q= piove o è lunedì 2) P= 12 è un numero pari, Q= 12 è divisibile per 3 P Q= 12 è un numero pari o è divisibile per 3 E interessante stabilire per questi connettivi delle tavole di verità che permettano di dire se la proposizione costruita è vera o falsa a seconda della verità o falsità delle componenti.
10 Valore di Verità. Tavole di Verità Si indicano i valori di verità VERO con 1 e FALSO con 0. Ovvero, data una proposizione P, si pone v(p)=1 se P è vera, altrimenti si pone v(p)=0. Esempi: v( 4 è un numero pari )=1 v( 25 è divisibile per 2 )=0
11 Analizziamo ora il comportamento dei vari connettivi logici. Tavola della Verità della Negazione 25 è divisibile per 2 = 25 non è divisibile per 2 Tavola della Verità della Congiunzione P P P Q P Q
12 Tavola della Verità della Disgiunzione P Q P Q
13 Usando sempre le tavole di verità si possono provare le proprietà commutativa e associativa dei connettivi logici e : (6) P Q= Q P, P Q= Q P (proprietà commutativa) (7) P (Q R)=(P Q) R (proprietà associativa) (8) P (Q R)=(P Q) R (proprietà associativa)
14 Usando queste tavole di verità è facile dimostrare le seguenti relazioni: (1) P=P V(P)=1 V( P)=0 V( P)=1 e viceversa (2) (P Q)= P Q (3) (P Q)= P Q (leggi di De Morgan) (4) P (Q R)= (P Q) (P R) (5) P (Q R)= (P Q) (P R) (leggi di distribuzione)
15 In matematica sono molto usati due altri connettivi logici: Implicazione,, che si indica con segno (P implica Q: P Q) P Doppia implicazione o equivalenza,, che si indica con segno (P se e solo se Q: P Q) P
16 L'implicazione è il connettivo più delicato: Linguaggio comune: Tizio dice a Caio: Se domani il tempo è bello, verrò a trovarti Se l'indomani piove Caio non si aspetterà la visita di Tizio. Nel linguaggio comune, nell'affermazione di Tizio si può leggere fra le righe l'affermazione: Se domani piove non vengo In Matematica non è così: L'affermazione di Tizio prevede che se il tempo è bello vada sicuramente a trovare Caio, ma se il tempo è brutto potrebbe andare o non andare.
17 TEST: Se hai talento, sei un artista. Sei un artista, allora Hai talento Non hai talento Non è possibile concludere nulla Non sei artista ed hai talento.
18 I connettivi logici e si definiscono come segue. P Q:= P Q P Q:=(P Q) (Q P) L implicazione P Q è vera non solo quando P e Q sono ambedue vere, ma anche quando P è falsa indipendentemente dal valore di verità di Q. Questo si deduce dalla tavola di verità corrispondente al connettivo logico.
19 Tavola della verità dell implicazione P Q P Q
20 Ricordiamo una particolare forma alternativa dell implicazione che spesso è usata nelle dimostrazioni: P Q= P Q= P Q= ( Q) P= Q P (legge di contrapposizione) Questa uguaglianza è utile nelle dimostrazioni per assurdo. (P Q)= ( P Q)=P Q
21 Tavola della verità della doppia implicazione P Q P Q
22 In matematica hanno un ruolo importante i cosiddetti predicati. Un predicato è una affermazione che contiene una o più variabili e il suo valore di verità dipende dai valori della o delle variabili che in essa compaiono. Esempio: P(n)= Il numero naturale n è dispari P(2)= Il numero naturale 2 è dispari F P(5)= Il numero naturale 5 è dispari V
23 Altri esempi: P(n)= n N (n dispari n 2 dispari) P(n)= n N: n è divisibile per 2 Il valore di verità di queste affermazioni dipende dalla variabile n! Un predicato non è una proposizione (tranne nel caso in cui non compaia alcuna variabile) e quindi un predicato non è né vero né falso. Per rendere un predicato una proposizione occorre quantificare la variabile.
24 , : quantificatori universali n N (n dispari n 2 dispari) n N: n è divisibile per 2 Come si negano le proposizioni in cui compare un quantificatore?? ( x P(x))= x ( P(x)) ( x P(x))= x ( P(x))
25 Elementi di Teoria degli insiemi Un insieme è una collezione ( classe, famiglia, aggregato ) di oggetti determinati e distinti della nostra intuizione o del nostro pensiero (Georg Cantor). Gli oggetti che compongono un insieme si chiamano elementi dell insieme.
26 Di solito si rappresentano gli insiemi con lettere maiuscole (A,B,C,, X,Y,Z) e i rispettivi elementi con lettere minuscole (a,b,c,,x,y,z). Se a è un elemento dell insieme A si scrive a A (e si legge a appartiene ad A). Se a non è un elemento dell insieme A si scrive a A (e si legge a non appartiene ad A). Un insieme può essere definito elencando tutti i suoi elementi in parentesi graffe (per tabulazione). Ad esempio A={0,1,2,3,4,5,7,8,9}. In particolare, 0 A e 10 A.
27 Definire un insieme per tabulazione presuppone che l insieme abbia un numero finito di elementi. Ma, molto spesso in matematica si ha a che fare come insiemi con un numero infinito di elementi, come gli insieme dei numeri naturali N, dei numeri interi Z, dei numeri razionali Q, dei numeri reali R, ecc. Un altro modo di definire gli insiemi (tipico quando si vuole definire un insieme con un numero infinito di elementi) è dato assegnando una proprietà caratteristica, come nell esempio: A={n N: n è divisibile per 4}. In particolare, 8 A, ma 13 A.
28 Ogni insieme può essere rappresentato graficamente identificandolo con una regione del piano delimitata da una linea chiusa (Diagrammi di Venn). L insieme privo di elementi si chiama insieme vuoto e si indica con il simbolo. Dati due insiemi A e B, si dice che A è un sottoinsieme di B se ogni elemento di A è anche un elemento di B. In tal caso, si scrive A B o B A.
29 Esempi: 1) A={a,b,e}, B= {a,b,c,d,e,f}, C= {a,b,c,h} A B ma C B 2) A={0,1,2}, B= {0,1,2,3,4,5,6,7,8,9}, A B 3) N Z Q R Osserviamo che: A A insieme A A A insieme
30 Dati due insiemi A e B, si dice che A e B sono uguali se A e B hanno gli stessi elementi. In tal caso, si scrive A=B. Nel caso in cui A B ma A e B non sono uguali si scrive A B e si dice che A è un sottoinsieme proprio di B. Quindi, possiamo scrivere che 1) N Z Q 2) {1,2,3} {1,2,3,4,5}
31 La relazione di inclusione tra insiemi ha le seguenti proprietà: 1) A A (proprietà riflessiva) 2) A B e B A A=B (proprietà simmetrica) 3) A B e B C A C (proprietà transitiva) Da questo momento in poi supponiamo che tutti gli insiemi che consideriamo siano sottoinsiemi di un dato insieme U (insieme universo).
32 Dati due insiemi A e B ( U), si dice unione dei due insiemi A e B e si indica con A B l insieme degli elementi che appartengono ad A o a B. Ovvero Esempio: A B:={x U: x A o x B}. A ={1,2,3,4,5}, B ={0,1,2,3,8}, A B= {0,1,2,3,4,5,8}. Chiaramente: A A B, B A B, A =A, A A=A.
33 Dati due insiemi A e B ( U), si dice intersezione dei due insiemi A e B e si indica con A B l insieme degli elementi che appartengono sia ad A sia a B. Ovvero Esempio: A B:={x U: x A e x B}. A ={1,2,3,4,5}, B ={0,1,2,3,8}, A B= {1,2,3}. Chiaramente: A B A, A B B, A =, A A=A.
34 In modo analogo si definiscono l unione e l intersezione di più insiemi. Le operazioni di unione e tra insiemi soddisfano le seguenti proprietà: 1) A B=B A, A B=B A (prop. commutativa) 2) A (B C)=(A B) C, A (B C)=(A B) C (prop. associativa) 3) A (B C)=(A B) (A C), A (B C)=(A B) (A C) (prop. distributiva)
35 Dati due insiemi A e B ( U), si dice differenza di B da A e si indica con B\A l insieme degli elementi che appartengono a B ma non ad A. Ovvero Esempio: B\A:={x U: x B ma x A}. A ={1,2,3,4,5}, B ={0,1,2,3,8}, B\A= {0,8}. Chiaramente: 1) B\A B, B\ =B, 2) B A B\A=, 3) (B\A) (A B)=B.
36 Dato un insieme A ( U) si dice complementare di A (rispetto ad U) e si indica con C U A (o semplicemente con CA) l insieme differenza U\A. Esempio: 1) A ={1,2,3,4,5}, U ={0,1,2,3,4,5,6,7,8,9}, C U A= {0, 6,7,8,9} 2) A={n N: n pari}, U=N C N A= {n N: n dispari}. Chiaramente: 1) A C U A =U, 2) A C U A =, 3) A B C U B C U A.
37 Leggi di De Morgan A,B U C(A B)=CA CB, C(A B)=CA CB Diagrammi di Venn
38 Dato un insieme A ( U) si dice insieme delle parti di A (rispetto ad U) e si indica con P(A) l insieme i cui elementi sono tutti i sottoinsiemi di A. Ovvero Esempio: P(A):={B insieme: B A }. A ={1,2,3}, P(A)= {, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}} Osservazione: Se A è formato da n elementi, allora P(A) è formato da 2 n elementi.
39 Si dice coppia ordinata di prima coordinata a e di seconda coordinata b e si indica con (a,b) l insieme {{a}, {a,b} }. In generale le coppie ordinate (a,b) e (b,a) sono diverse. In particolare (a,b)=(c,d) a=c e b=d. Dati due insiemi A e B, si dice prodotto cartesiano di A per B e si indica con AxB l insieme delle coppie ordinate (a,b) con a A e b B, cioè AxB:={(a,b): a A, b B}.
40 Il prodotto cartesiano non è commutativo! Esempio: A={1,2}, B={2,3} AxB= {(1,2), (1,3), (2,2), (2,3)} BxA= {(2,1), (2,2), (3,1), (3,2)} Quindi AxB e BxA sono insiemi diversi. In maniera analoga si definisce la nozione di n- upla ordinata e di prodotto cartesiano di più insiemi. In particolare, si usa la seguente notazione: A 2 :=AxA, A 3 :=AxAxA, ecc.
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
DettagliCenni di logica matematica e di teoria degli insiemi Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2017/2018 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve
DettagliCenni di logica matematica e di teoria degli insiemi Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2018/2019 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve
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
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
DettagliTeoria degli Insiemi
Teoria degli Insiemi Docente: Francesca Benanti Ottobre 2017 1 Teoria degli Insiemi La Teoria degli Insiemi è una branca della matematica creata alla fine del diciannovesimo secolo principalmente dal matematico
DettagliTeoria degli Insiemi
Teoria degli Insiemi Docente: Francesca Benanti Ottobre 2015 1 Teoria degli Insiemi La Teoria degli Insiemi è una branca della matematica creata alla fine del diciannovesimo secolo principalmente dal matematico
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
Dettagli1 Il linguaggio matematico
1 Il linguaggio matematico 1.1 La logica delle proposizioni La matematica è un linguaggio; a differenza del linguaggio letterario che utilizza una logica soggettiva, la matematica si serve di una logica
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
DettagliTeoria degli insiemi
Teoria degli insiemi Insiemi ed elementi Definizione (Georg Cantor): Un insieme è una collezione di oggetti determinati e distinti della nostra percezione o del nostro pensiero, concepiti come un tutto
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
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:
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
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
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
DettagliMatematica I. Modulo: Analisi Matematica. Corso 3 (matricole dal n al n 40167) Docente: R. Argiolas
Matematica I Modulo: Analisi Matematica orso 3 (matricole dal n 39905 al n 40167) Docente: R. Argiolas Facoltà di Ingegneria - Università degli Studi di agliari Anno Accademico: 2008/2009 Brevi richiami
Dettagli1 Cenni di logica matematica
1 Cenni di logica matematica 1 1 Cenni di logica matematica Una delle discipline chiave della matematica (e non solo, visto che è fondamentale anche per comprendere la lingua parlata) è la logica matematica,
Dettagli1 Richiami di logica matematica
Geometria e Topologia I 2006-mar-05 1 1 Richiami di logica matematica Definire cos è un enunciato, una proposizione (elemento primitivo della logica delle proposizioni). La definizione è data in termini
DettagliDEFINIZIONE DI INSIEME
ELEMENTI DI TEORIA DEGLI INSIEMI PROF.SSA ROSSELLA PISCOPO Indice 1 DEFINIZIONE DI INSIEME ------------------------------------------------------------------------------------------------ 3 2 METODI DI
DettagliInsiemi. Concetto di insieme
Insiemi Paolo Montanari Appunti di Matematica Insiemi 1 Concetto di insieme I concetti di insieme e di elemento di un insieme sono concetti primitivi, cioè non definibili tramite concetti più semplici.
DettagliLOGICA e INSIEMISTICA
LOGICA e INSIEMISTICA Prof. Enrico Terrone A. S: 2008/09 Definizioni La logica è una parte speciale della matematica che si occupa, anziché dei numeri, delle proposizioni. Una proposizione è una frase
Dettagli01 - Elementi di Teoria degli Insiemi
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 01 - Elementi di Teoria degli Insiemi Anno Accademico 2013/2014
DettagliDISPENSE SU TEORIA DEGLI INSIEMI E NUMERI
FACOLTA' DI ECONOMIA UNIVERSITA DELLA CALABRIA Corso di Modelli Matematici per l Azienda a.a. 2011-2012 DISPENSE SU TEORIA DEGLI INSIEMI E NUMERI Prof. Fabio Lamantia INSIEMI INSIEME= gruppo di oggetti
DettagliLIBRO ADOTTATO. G.M. PIACENTINI CATTANEO: MATEMATICA DISCRETA, ed. ZANICHELLI LIBRI CONSIGLIATI
LIBRO ADOTTATO G.M. PIACENTINI CATTANEO: MATEMATICA DISCRETA, ed. ZANICHELLI LIBRI CONSIGLIATI A. FACCHINI: ALGEBRA E MATEMATICA DISCRETA, ed. ZANICHELLI M.G. BIANCHI, A. GILLIO: INTRODUZIONE ALLA MA-
DettagliPrima lezione. Gilberto Bini. 16 Dicembre 2006
16 Dicembre 2006 Vediamo alcune nozioni di teoria ingenua degli insiemi. Vediamo alcune nozioni di teoria ingenua degli insiemi. Un insieme è una collezione di oggetti di cui possiamo specificare una proprietà
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
DettagliLa logica matematica. Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S
La logica matematica Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S. 2010-2011 La logica studia le proposizioni logiche e le relazioni tra esse. Una proposizione logica è
DettagliEsercizio 2. Spiegare perché è falsa la seguente affermazione: Se n è un numero negativo, allora anche n + 3 è negativo.
Sapienza Università di Roma - Facoltà I3S Corso di Laurea in Statistica Economia Finanza e Assicurazioni Corso di Laurea in Statistica Economia e Società Corso di Laurea in Statistica gestionale Matematica
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,
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
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,...)
DettagliRagionamenti e metodi di dimostrazione. Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica
Ragionamenti e metodi di dimostrazione Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica Proposizioni Si definisce proposizione una frase alla quale è possibile attribuire uno e un solo valore
DettagliElementi di teoria degli insiemi
ppendice Elementi di teoria degli insiemi.1 Introduzione Comincia qui l esposizione di alcuni concetti primitivi, molto semplici da un punto di vista intuitivo, ma a volte difficili da definire con grande
DettagliTeoria degli Insiemi
Teoria degli Insiemi Angelica Malaspina Dipartimento di Matematica, Informatica ed Economia Università degli Studi della Basilicata, Italy angelica.malaspina@unibas.it Generalità Il concetto di insieme
DettagliLinguaggio della Matematica
Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi
Dettagli01 - Elementi di Teoria degli Insiemi
Università degli Studi di Palermo Facoltà di Economia CdS Statistica per l Analisi dei Dati Appunti del corso di Matematica 01 - Elementi di Teoria degli Insiemi Anno Accademico 2013/2014 M Tumminello,
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,
DettagliLinguaggio della Matematica
Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi
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
DettagliMatematica. 1. Modelli matematici e relazioni funzionali. Giuseppe Vittucci Marzetti 1
Matematica 1. Modelli matematici e relazioni funzionali Giuseppe Vittucci Marzetti 1 Corso di laurea in Scienze dell Organizzazione Dipartimento di Sociologia e Ricerca Sociale Università degli Studi di
DettagliIntroduzione alla Matematica per le Scienze Sociali - parte II
Introduzione alla Matematica per le Scienze Sociali - parte II Lucrezia Fanti Istituto Nazionale per l Analisi delle Politiche Pubbliche (INAPP) lucrezia.fanti@uniroma1.it Lucrezia Fanti Intro Matematica
Dettagli1 Richiami di logica matematica
Geometria I 2009-mar-10 1 1 Richiami di logica matematica Cfr: M. Conti, D.L. Ferrario, S. Terracini, G. Verzini: Analisi matematica, Vol I, dal calcolo all analisi, Apogeo, 2006. Cap. ℵ. Definire cos
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
DettagliSperimentazioni di Fisica I mod. A Lezione 4
Sperimentazioni di Fisica I mod. A Lezione 4 Alberto Garfagnini Marco Mazzocco Dipartimento di Fisica G. Galilei, Università di Padova 14-15 ottobre 2013 Algebra Booleana Lezione IV: Algebra Booleana 1.
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
DettagliInsiemi, Numeri, Terminologia. Prof. Simone Sbaraglia
Insiemi, Numeri, Terminologia Prof. Simone Sbaraglia Corso Rapido di Logica Matematica La logica formale definisce le regole cui deve obbedire qualsiasi teoria deduttiva. Una proposizione e` una affermazione
DettagliElementi di teoria degli insiemi e funzioni tra insiemi
Elementi di teoria degli insiemi e funzioni tra insiemi 1 / 50 Il concetto di insieme 2 / 50 Si considera il concetto di insieme come primitivo, cioè non riconducibile a nozioni più elementari. Più precisamente:
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
DettagliAppunti OFA Paola Rubbioni
Appunti OFA Paola Rubbioni Corso di Laurea Triennale in Chimica a.a. 2018/2019 1 OFA CdL in Chimica - a.a. 2018/2019 2 1 Logica matematica Serve ad inquadrare in schemi rigorosi gli strumenti ed i metodi
DettagliESERCITAZIONE 4 : INSIEMI E LOGICA
ESERCITAZIONE 4 : INSIEMI E LOGICA e-mail: tommei@dm.unipi.it web: www.dm.unipi.it/ tommei Ricevimento: Martedi 16-18 Dipartimento di Matematica, piano terra, studio 126 30 Ottobre 2012 Esercizio 1 I due
DettagliGeneralità - Insiemi numerici
Generalità - Insiemi numerici Docente:Alessandra Cutrì Informazioni corso Sito docente: http://www.mat.uniroma2.it/~cutri/ Programma: vedi sito docente Testi consigliati: vedi sito docente Orario Lezioni:
DettagliLA TEORIA DEGLI INSIEMI
1 LA TEORIA DEGLI INSIEMI Cos è un insieme? Si definisce insieme, in Matematica, un raggruppamento di elementi di qualsiasi tipo (numerico, logico, concettuale) che può essere individuato mediante una
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
DettagliIndice. 1. Cenni di logica 2. Elementi di teoria degli insiemi 3. Relazioni e funzioni. 1 Cenni di logica. 2 Elementi di teoria degli insiemi
Indice 1 Cenni di logica 2 Elementi di teoria degli insiemi 3 Relazioni e funzioni 4 Strutture algebriche Cenni di logica Dispongo queste quattro carte da gioco davanti a voi, due coperte e due scoperte
DettagliGLI INSIEMI PROF. STEFANO SPEZIA
GLI INSIEMI INTRODUZIONE Dimentica ogni cosa che hai imparato riguardo i numeri! In realtà, dimentica anche cosa è un numero! È proprio qui che inizia la Matematica! Invece di iniziare a trattare la Matematica
DettagliLinguaggio della logica Calcolo della verità/falsità di «affermazioni»
Linguaggio della logica Calcolo della verità/falsità di «affermazioni» Linguaggio della logica Proposizioni semplici e composte Le frasi che formano i discorsi del nostro linguaggio naturale possono essere
DettagliCorso di Laurea in Scienze dell Architettura Modulo di Analisi Matematica
Corso di Laurea in Scienze dell Architettura Modulo di Analisi Matematica 62,5 ore di lezione frontale mariannasaba@unica.it Orario lezioni: Lunedì ore 11:15-13:00 Giovedì ore 15:00-16:45 Venerdì ore 8:15-10:00
DettagliCorso di Analisi Matematica 1. Insiemi e Logica
1 / 27 Corso di Analisi Matematica 1 Logica Giulio Starita Università della Campania Luigi Vanvitelli Laurea in Ingegneria Elettronica e Informatica Anno Accademico 2017 2018 2 / 27 Corso di Analisi Matematica
DettagliElementi di Informatica A. A. 2016/2017
Elementi di Informatica A. A. 2016/2017 Ing. Nicola Amatucci Università degli studi di Napoli Federico II Scuola Politecnica e Delle Scienze di Base nicola.amatucci@unina.it Algebra di Boole Elementi di
DettagliUn insieme si dice finito quando l operazione consistente nel contare i suoi elementi ha termine.
INSIEMI Insieme Le nozioni di insieme e di elemento di un insieme sono considerati come concetti primitivi, cioè non definibili mediante concetti più semplici, né riconducibili ad altri concetti definiti
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
DettagliCORSO DI AZZERAMENTO DI MATEMATICA
CORSO DI AZZERAMENTO DI MATEMATICA 1 LE BASI FONDAMENTALI INSIEMI INSIEMI NUMERICI (naturali, interi, razionali e reali) CALCOLO LETTERALE RICHIAMI DI TRIGONOMETRIA I NUMERI COMPLESSI ELEMENTI DI GEOMETRIA
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
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
DettagliCenni di teoria degli insiemi
Università degli Studi di Napoli «Federico II» Facoltà di rchitettura Upta Corso di laurea in Urbanistica e Scienze della Pianificazione Territoriale e mbientale Corso integrato di Matematica e statistica
DettagliR = {(0, 0), (1, 1), (2, 2), (3, 3),... }. Esempio 2. L insieme
Definizione 1. Siano A e B insiemi. Si definisce prodotto cartesiano l insieme: A B = {(a, b) : a A b B}. Osservazione 1. Si osservi che nella Definizione 1. le coppie sono ordinate, vale a dire (x, y)
DettagliPropedeutico di matematica Centro Multimediale Montiferru. Lezione 1. Gli insiemi
Lezione 1 Gli insiemi Definizione: Un insieme è una collezione di oggetti aventi certe caratteristiche in comune. Gli oggetti si definiscono elementi dell insieme. Esempi: Insieme delle lettere dell alfabeto,
DettagliELEMENTI DI TEORIA DEGLI INSIEMI A.A.2017/2018
1 / 21 ELEMENTI DI TEORIA DEGLI INSIEMI A.A.2017/2018 Il concetto di insieme 2 / 21 Si considera il concetto di insieme come primitivo, cioè non riconducibile a nozioni più elementari. Più precisamente:
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
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
Dettaglimarina/did/mdis03/ marina/did/mdis03/ marina/did/mdis03/
Relazioni su un insieme Matematica Discreta (elementi) E-O CdL Informatica 19 novembre 2003 Marina Cazzola (marina@matapp.unimib.it) Dipartimento di Matematica e Applicazioni Università di Milano Bicocca
Dettagli1. Teoria degli insiemi
1. Teoria degli insiemi Introduzione Il concetto di insieme è un concetto primitivo: possiamo dire che un insieme è una collezione di elementi. Indicheremo gli insiemi con lettere maiuscole A,B,... e gli
DettagliProposizioni logiche e algebra di Boole
Proposizioni logiche e algebra di Boole Docente: Ing. Edoardo Fusella Dipartimento di Ingegneria Elettrica e Tecnologie dell Informazione Via Claudio 21, 4 piano laboratorio SECLAB Università degli Studi
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
DettagliMATEMATICA DI BASE 1
MATEMATICA DI BASE 1 Francesco Oliveri Dipartimento di Matematica, Università di Messina 30 Agosto 2010 MATEMATICA DI BASE MODULO 1 Insiemi Logica Numeri Insiemi Intuitivamente, con il termine insieme
DettagliTEORIA degli INSIEMI 1
TORIA degli INSIMI 1 INDIC Premessa... 3 1 - Generalità.... 4 2 - Parte di un insieme. Insieme delle parti di un insieme.... 5 3 - Unione, intersezione, complementare..... 6 4 - Prodotto di insiemi. Relazioni...
DettagliLAUREA IN SCIENZE NATURALI MATEMATICA CON ELEMENTI DI STATISTICA
LAUREA IN SCIENZE NATURALI MATEMATICA CON ELEMENTI DI STATISTICA I parte: 5 crediti, 40 ore di lezione frontale II parte: 4 crediti, 32 ore di lezione frontale Docente: Marianna Saba Dipartimento di Matematica
DettagliFigura 7: Ruota della Fortuna. Quanti sono i casi possibili? G. Sanfilippo - CdP - STAD - Lezione 2 del 12 Aprile pag. 15
Figura 7: Ruota della Fortuna. Quanti sono i casi possibili? G. Sanfilippo - CdP - STAD - Lezione 2 del 12 Aprile 2012- pag. 15 Casi Possibili B= La lancetta indica il Blu V= La lancetta indica il Verde
DettagliGli insiemi. Che cosa è un insieme? Come si indica un insieme?
Gli insiemi Che cosa è un insieme? In matematica si definisce insieme un raggruppamento per cui è possibile stabilire senza ambiguità se un elemento vi appartiene o no. Sono insiemi: i giorni della settimana
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
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
DettagliIl concetto di insieme. La rappresentazione di un insieme
Il concetto di insieme I concetti di insieme e di elemento di un insieme sono concetti primitivi, cioè non definibili mediante altri concetti più semplici. Il termine insieme è sinonimo di collezione,
DettagliP : gli iscritti all università di Bari sono più di 1000
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia il ragionamento deduttivo, ovvero le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento
DettagliChe cos è un insieme? Come si individua un insieme? 1. Scrivendone esplicitamente gli elementi: C = {2, 4, 6, 8, 10,...}.
Teoria degli insiemi Che cos è un insieme? Come si individua un insieme? 1. Scrivendone esplicitamente gli elementi: A = {a, b, c} B = {1, 2} C = {2, 4, 6, 8, 10,...}. 2. Enunciando una proprietà che è
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
DettagliLaurea in Informatica Corso di Analisi Matematica I numeri reali
Laurea in Informatica Corso di Analisi Matematica I numeri reali Docente: Anna Valeria Germinario Università di Bari A.V.Germinario (Università di Bari) Analisi Matematica INF 1 / 59 Outline 1 Insiemi
Dettagliinsieme c n ce c r e t r ez e z z a a par a t r ien e e e o no distinguere l uno dall altro insieme degli animali a quattro zampe
Parlando di oggetti, persone, elementi in genere, usiamo spesso il termine di insieme con il significato di un raggruppamento di oggetti, persone ecc. In matematica il termine insieme non è così generico;
DettagliRegistro Lezione del 21 settembre 2016.
Il libro di testo del corso e il seguente, ad esso rimandano i riferimenti nel registro della lezione. M. Bramanti, C.D. Pagani, S. Salsa; Analisi matematica 1 con elementi di geoemetria e algebra lineare;
DettagliAlcuni prerequisiti per il corso di Analisi 1 (breve vademecum, da perfezionare)
Alcuni prerequisiti per il corso di Analisi 1 (breve vademecum, da perfezionare) Prof. Alessandro Fonda Università di Trieste, CdL Fisica e Matematica, a.a. 2016/2017 1 Un accenno ai simboli della logica
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,
DettagliIndice. 1. Cenni di logica 2. Elementi di teoria degli insiemi 3. Relazioni e funzioni 4. Strutture algebriche. 1 Cenni di logica
Indice 1 Cenni di logica 2 Elementi di teoria degli insiemi 3 Relazioni e funzioni 4 Strutture algebriche Cenni di logica Dispongo queste quattro carte da gioco davanti a voi, due coperte e due scoperte
DettagliInsiemi e sottoinsiemi
Insiemi e sottoinsiemi DEFINIZIONE. Per insieme matematico si intende un raggruppamento di elementi che possono essere definiti con assoluta certezza. Gli insiemi matematici vengono indicati con una lettera
DettagliCenni di Logica. Hynek Kovarik. Università di Brescia. Analisi Matematica 1
Cenni di Logica Hynek Kovarik Università di Brescia Analisi Matematica 1 Hynek Kovarik (Università di Brescia) Cenni di Logica Analisi Matematica 1 1 / 15 Scopo: introdurre nozioni di logica & terminologia
DettagliALCUNI CENNI SUGLI INSIEMI
ALCUNI CENNI SUGLI INSIEMI In Matematica il concetto di insieme è assunto come primitivo, cioè non si definisce. Considereremo quindi la nozione di insieme dal punto di vista intuitivo. Un insieme è quindi
Dettagli