Estratto del documento

Simboli e definizioni matematiche

∈ = Appartenenza

∉ = Non appartenenza

| = Tale che

⇒ = Implica

∀ = Per ogni

∃ = Esiste almeno uno

∄ = Non esiste

Ø = Insieme vuoto

X = Spazio-ambiente

≅ = Contenuto o uguale

− = Meno

n̅ = Complementare di n

⋃ = Unione

⋂ = Intersezione

V = "o", "oppure"

^ = "e"

Domande ed esercizi

  • ❶ Un insieme limitato, ammette sempre max e min?
  • ❷ Domanda sulle proprietà estreme per lode o chi va male
  • ❸ Esercizio sulla sommatoria

∈ = Appartenenza

∉ = Non appartenenza

| = Tale che

⇒ = Implica

∀ = Per ogni

∃ = Esiste almeno uno

∄ = Non esiste

∅ = Insieme vuoto

X = Spazio-ambiente (più grande dell'insieme A e B)

≅ = Contenuto o uguale

- = Meno

n̅ = Complementare di n

∪ = Unione

∩ = Intersezione

∨ = "o", "oppure"

∧ = "e"

  • ❶ Un insieme limitato, ammette sempre max e min?
  • ❷ Domanda sulle proprietà estreme per lode o chi va male
  • ❸ Esercizio sulla schiavatoria

Logica matematica

Proposizioni

Affermazioni che devono avere per tutti lo stesso contenuto di verità (V o F)

Esempio:

  • P: 5 < 3 proposizione falsa
  • P: 5 > 3 proposizione vera

Proposizioni semplici

Una singola proposizione

Esempio: P: 5 > 3

Proposizioni decidibili

Esempio: P: m è un numero intero divisibile per 3

Proposizioni composte

Più proposizioni collegate da connettivi logici

Esempio: P: n è un numero divisibile per 3 o per 5

Tabella di verità

P Q P V Q
V V V
V F V
F V V
F F F

Somma logica

Data P e Q decidibili, si dice somma logica di P e Q il predicato R che ha lo stesso elenco di verità per almeno una delle due proposizioni della P o Q è vera.

Esempio: P: n è un numero intero divisibile per 3 o per 5

Prodotto logico

Data P e Q decidibili, si dice prodotto logico di P e Q il predicato R che ha lo stesso elenco di verità contemporaneamente da P e da Q. R è vera solo se P e Q sono vere.

Esempio: P: n è un numero intero divisibile per 3 e per 5

Negazione

Data P decidibile, si dice negazione di P il predicato TP che ha lo stesso elenco di verità di P ma con una colonna vera quando la colonna è falsa.

Esempio: P: m <= 10

TP: m è un numero reale che m ≥ 10

Implicazioni

Dato P e Q, deducibile, si dice che l’implica Q: P ⇒ Q. Se in corrispondenza ai diversi valori che prendono vero il valore vero anche Q:

  1. P: m è un numero intero divisibile per 12. Q: m è un numero intero divisibile per 4. P ⇒ Q (Q ed una frase falsa).
  2. P: x è un numero tale che x | x con x ≠ 0. Q: x è un numero tale che x | x con x ≠ 0. P ⇒ Q (Q è una frase vera). P ⇒ Q.
  3. P: a = b, Q = b = a, si dice "frasi contenuto di verità". ⇒ diremo equivalenti P Q.

P: ABC è equilatero, Q: “ABC ha tutti gli angoli uguali”.

Teorema

Implica imu e ion, fra il bisogno di relazione di una e di un evento, fra una lezione inventariata e un discorso ed una dimostrazione c/ π/172h. Non esistono contemporaneamente la verità d’eguaglianza o rappresentati della tesi Θ, lo spazio tra t → e VERA.

Insieme

Più elementi che hanno in comune qualcosa A ∈ B INSIEMEa o b ELEMENTI DELL’INSIEME.

Ø Insieme vuoto (non contiene elementi).

  1. Rappresentazione elencativa

A= {a1, a2, a3, ..., an} " an è l’ultimo valore incluso. ∞ Cardinalità dell’insieme, quando è infinito.

A= {J qJ abj, ..., j o G. NON ha cardinalità perché è infinito.

  1. Rappresentazione mediante proprietà di appartenenza

A = {x | x verifica P(x)}

  1. Rappresentazione mediante diagrammi di Eulero-Venn

X: Spazio-ambiente

A= {x l x ∈ X verifica P}*X (spazio centrale)

Sottoinsiemi

Def. Un insieme A si dice sottoinsieme di B se ∀x∈A → x∈B

A = { x ∈ X | x verifica P } → A ⊆ B ⇔ ogni x ∈ A verifica Q B = { x ∈ X | x verifica Q }

Se A ⊆ B e B ⊆ A allora A = B (doppia inclusione)

Sottoinsieme proprio

Def. Un insieme A è detto sottoinsieme proprio di B se ∀x∈A x∈B e ∃b∈B\b∉A

Il sottoinsieme di un insieme finito avrà sempre un numero di elementi

Il sottoinsieme di un insieme infinito ha la stessa cardinalità, quindi è infinito

L'insieme vuoto è sottoinsieme sottoinsieme di A ∀A ⇒ si scrive ∅ ⊆ A

Insieme delle parti

Def. Si dice insieme delle parti di X e si indica con ℘(X) l'insieme i cui elementi sono tutti e soli

Anteprima
Vedrai una selezione di 18 pagine su 82
Matematica/analisi  Pag. 1 Matematica/analisi  Pag. 2
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 6
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 11
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 16
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 21
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 26
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 31
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 36
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 41
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 46
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 51
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 56
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 61
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 66
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 71
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 76
Anteprima di 18 pagg. su 82.
Scarica il documento per vederlo tutto.
Matematica/analisi  Pag. 81
1 su 82
D/illustrazione/soddisfatti o rimborsati
Acquista con carta o PayPal
Scarica i documenti tutte le volte che vuoi
Dettagli
SSD
Scienze matematiche e informatiche MAT/05 Analisi matematica

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher serenaaaaaaaa0041010 di informazioni apprese con la frequenza delle lezioni di Matematica generale e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Università degli Studi Roma Tre o del prof Cenci Marisa.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community