Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LOGICA
PROPOSIZIONI
o Proposizione (affermazione o enunciato) frase per cui ha senso
chiederci se è vera o falsa
o Proprietà (predicato) una frase un cui è presente una o più variabili
da cui dipende la veridicità dell’affermazione
o Variabili: possono essere libere(mute) e non libere (quantificate)
o Quantificatori: ∃ ,∄ , ∀ vincolano gli enunciati
o Enunciati: quando tutte le variabili sono indicate
≠ se tutte≤variabili sono libere non ha senso la veridicit à
SISTEMA ASSIOMATICO
o Enti primitivi = a concetti noti senza necessità di dimostrazione
o Assioma = a concetti noti senza necessità di dimostrazione
o Teoremi= proposizioni vere dedotta dagli assiomi (Caratterizzato da
ipotesi e tesi)
o Dimostrazione= ragionamento per il passaggio da ipotesi a tesi
INSIEMI
INSIEMI
o Insieme: collezione di elementi con un criterio chiaro per stabilire se
un oggetto (qualunque sia la sua natura) faccia parte o
meno(=appartenenza)
o l'insieme vuoto ∅ è l’insieme che non ha elementi
o Cardinalità= numero di elementi di un insieme card(A)/#A
o Appartenenza=∈ x ∈ A
o Sotto Insieme= ∀ x ∈ A , si ha che a ∈ B , A ⊆ B
o Intersezione= A ∩ B elementi comuni ad entrambi gli insiemi
o Unione= A ∪ B tutti gli elementi degli insiemi
NUMERI
o numeri naturali, N: 1; 2; 3; :::
o numeri interi, Z: :::: -3;-2;-1; 0; 1; 2; 3; ::::
q
o numeri razionali, Q: p con p ∈ Z e q ∈ N
o numeri reali R: qualunque allineamento decimale (non
necessariamente periodico), finito, infinito con qualunque segno
MASSIMO, MINIMO, MAGGIORANTE E MINORANTE
o Massimo: M ∈ A , ∀ x ∈ A , x< M
o Minimo:m∈ A , ∀ x ∈ A , x> m
o Maggiorante: ∀ a ∈ A , a ≤ x
Se un insieme ammette massimo -> il massimo è il più piccolo
delle maggioranti
o Minorante: ∀ a ∈ A , a ≥ x
Se un insieme ammette minimo -> il massimo è il più piccolo
delle maggioranti
SUCCESSIONI
SUCCESSIONI
o Successione: Una successione di numeri reali è una legge che ad ogni
intero n ∈ N associa un numero reale che indicheremo con an. Data
una successione di numeri reali
o Limite di una successione: An si dice che an ha per limite il numero
reale l se per ogni ε > 0 esiste An ∈ N tale che per ogni n > n0 si abbia
¿ An −l∨¿ ε
lim an =l
n→∞