I NUMERI REALI
Si parla di proposizioni (a cui si possa attribuire il termine vero o falso). Si uniscono tra loro con i connettivi e predicati:
CONNETTIVI:
- · e
- · o
- · non
A e B
- a ^ b
- verso A e verso B
Verso se è Vero A e è vero B.
A V B
Vero se è vero almeno uno tra A e B
· Non a è vero se e solo se a è falso
· Proprietà:
- ~(A ^ B) ⇔ (~A) V (~B) {leggi di De Morgan}
- ~(A V B) ⇔ (~A) ^ (~B)
· A ⇒ B (solo A e vero B) ➔ Tab di verità implica
- (~A) V B
Tabelle di verità
- A
- V, V, F, F
- B
- V, F, V, F
- A ^ B
- V, F, F, F
- A V B
- V, V, V, F
- A, V, F, F, F
- A⇒B A, V, F, V, V
- (~A) V B
· A ⟺ B ➔ Doppia implicazione (Equivalenza)
- O tutte e due V o tutte e due F
- A⇔B, V, F, F, V
- Sia A quindi B e
- Sia B quindi A.
A ⟹ B
Se A allora B
A condizione necessaria affinché B
B⟹A B condiz. sufficiente
➔ sufficienti Δ
I NUMERI REALI
Si parla di proposizioni (a cui si possa attribuire il termine vero o falso). Si uniscono tra loro coi connettivi & predicati:
Connettivi:
- ∙ ∧ A∧B Vero A e Vero B
- ∙ ∨ Vero se è vera A o è vera B
- ∙ NON
A∨B Vero se A è vera almeno una tra A e B
NON ∙ A è vera se e solo se A è falsa
Proprietà:
- ∼(A∧B) ⇔ (∼A)∨(∼B) {leggi di De Morgan}
- ∼(A∨B) ⇔ (∼A)∧(∼B)
- A⇒B (solo A è vero B) ⇒ implico
- Tabella di verità
Tabelle di Verità:
- A V F F
- B F V F
- A∧B F F F
- A∨B V V F
- A V V F F
- B V F F
- A∧B F F F
- A∨B V V V
- A⇔B ⇔ Doppia implicazione (equivale)O tutte e due vere o tutte e due false: V F F V
- Se A allora B
- A condizione necessaria affinché B
- B⇒A B condiz. sufficiente ⇔ sufficiente Δ
A ⊆ B A ⊇ B condizione necessaria e sufficiente affinché A ⊆ B
Predicate e proposizioni che contengano una variabile (che varia in un insieme universale)
es. ℝ ℕ Z Q P(x) = x è un numero
1) Trasformazione di un predicato in una proposizione • sostituzione al posto di x un elemento di un dato insieme universale considerato
2) Applicazione di un quantificatore • quantificatore universale ∀ (per ogni) • esistenziale ∃ (esiste)
(a ⊃ b) ≡ (~va vb) ≡ (wn va)
~(∀x px) ≡ ∃x ~px ~(∃x px) ≡ ∀x ~px
Collezione di oggetti - composti mediante vari lettere minuscole
A = {0, b, c}
Dati due insiemi A e B, A è sottoinsieme di B: A ⊆ B (tutti gli elementi di A sono elementi di B)
Appartenenza (simbolo di appartenenza)
∀x x ∈ B ⊃ x ∈ B (se ogni elemento x appartenente ad un nuovo A implica che x appartiene nell'insieme B)
Si fissa un insieme numerico: numeri interi - E' gruppo di quei elementi che rispettano le regole risultate CABATOSSA (?)
A: X = X, P(x) X = {0,1,2,3,4,}
Valore positivo e numero pari: P: x ∈ ℕ, 2
X: ∃ x ∈ ℕ, x = 24
(∃ x ∈ ℕ, x > 24) ∞
Gli elementi comuni
A ∩ B (intersezione) ∀ x ∈ X, x ∈ A e x ∈ B
A ∪ B (unione) ∃ x : x ∈ A ∨ x ∈ B (v)
Ai = {Ai: x ∈ ogni Ai :}
∅ ∈ I
U Ai: x ∈ almeno un insieme Ai
x = ∃ ij ∈ I x ∈ Eai
Le operazioni tra insiemi
A meno B: Opera l’insieme tale di sottrazione
A \ B = {x ∈ A :
x ∉ A}
∅ = non appartiene; ∃ non esiste
Complemento Eac = Ai : A\Ai = {x ∈ A.x ∉ Ea}
x ∈ X (insieme universo)
x ∈ N={0,1,2,3}
A: Pari ∪ Dispari=N
∅ (unione)
• Insieme vuoto → ∅
Partizione di insiemi
Partizione di x, 2 insieme a 3 insieme di x
A ∉ x; B ∉ x
[A ∪ B=x]
A ∩ ∅ = B ∩ ∅
A.e.B due primi 2 insiemi disgiunti questo senso elevati in comune.
Esempi:
- (A ∪ B) ∩ A = A ∩ A = A
- A ∩ B ∪ B ∩ A = A ∩ B = A
- A ∪ (B ∪ C) = (A ∪ B) ∪ C
(Proprietà associativa)
x={7 x ∈ y ∉ xse e solo = 0
∅ = e anche
Proprietà distributive:
- (A ∩ B) ∩ (A ∩ B) ∩ (A ∩ B ∩ C)per sollevare +
- A ∩ (B
-
Lezioni, Analisi Matematica 1
-
Analisi matematica 1 - Lezioni
-
Lezioni, Analisi Matematica 1
-
Lezioni, Analisi Matematica 1